Job - Интересное наблюдение

[kornix]

Добрый день!

Случайно заметил странное поведение. Создаем такой джоб:

static void testFunction(Args _args)
{
    boolean check()
    {
        boolean ret = true;
        ;
 
    }
    ;
        
    if(check())
        info(strfmt("true"));
    else
        info(strfmt("false"));
}

При компилляции получаем сообщение "Функция никогда не возвращает значение", но если этот джоб запустить - он работает!

Если бы это был класс, и check() был бы отдельным булевским методом, не возвращающим значение - система всегда вылетала бы в отладчик с сообщением: "Функция никогда не возвращает значение"

Понятно что это не по BestPractice, но я всегда думал что функции внутри методов обрабатываются также, как отдельные методы. Выходит что нет.

Проверял на DAX 4.0

[S.Kuskov]

в AX2009 тоже самое

[Dark Light]

Занятно. В 5ке также. А если сделать так

static void testFunction(Args _args)
{
    str check()
    {
 
    }
    ;
        
    info(check());
}

то вернет "0". Видимо, в случае отсутствия return'а в локальной функции возвращается 0, который преобразуется в соотв. тип.

[MikeR]

4.0.2501.116
Все компилится и запускается.
а если подредактировать так

static void testFunction(Args _args)
{
    boolean check()
    {
        boolean ret = true;
        return ret;
 
    }
    ;
        
    if(check())
        info(strfmt("true"));
    else
        info(strfmt("false"));
}

причина отсутствие return

[kornix]

Еще интересней:

static void testFunction(Args _args)
{
    boolean check()
    {
        ;
        
        return 3;
    }
    ;
        
    info(strfmt("%1", check()));
}

Результат 3

Каким образом логическая функция может вернуть что-то отличное от 0 или 1?

[S.Kuskov]

в аксапте булевый тип - это enum, а enum в аксапте - это int. Воот

    print typeof(true);
    print typeof(boolean::true);
    pause;

[MikeR]

я бы даже так сказал. При преобразовании int в boolean. Все что не 0 true, 0 это false.
Это во многих языках так.

PS Извиняюсь, что вмешался в процесс взаимоодобрения и воодушевления

[lev]

Цитата:

Сообщение от MikeR

4.0.2501.116
Все компилится и запускается.
...
причина отсутствие return

Так про то и речь, что возврата в функции нет, а джоб все равно запускается и даже что то там работает, хоть и компилится с ошибкой

[MikeR]

Цитата:

Сообщение от lev

Так про то и речь, что возврата в функции нет, а джоб все равно запускается и даже что то там работает, хоть и компилится с ошибкой

Ну так return же нет, поэтому не знает что возвращать, поэтому возвращает false. Повторюсь у меня компилится нормально.

[kornix]

Цитата:

в аксапте булевый тип - это enum, а enum в аксапте - это int

Да, действительно..
Но почему-то код ниже возвращает 182

static void testFunction(Args _args)
{
    boolean check()
    {
        ;
        return 54654654646;
    }
    ;
        
    info(strfmt("%1", check()));
}

[S.Kuskov]

Цитата:

Сообщение от MikeR

Ну так return же нет, поэтому не знает что возвращать, поэтому возвращает false.

А должен вызвать исключение. Как это например происходит если return забыть в методе класса, а не в локальной функции.

[S.Kuskov]

Цитата:

Сообщение от kornix

Но почему-то код ниже возвращает 182

info(int2str(54654654646 mod 256));

или даже так:

info(int2str(54654654646 & 255));

[S.Kuskov]

Цитата:

Сообщение от kornix

Результат 3

Интересно что явное присваивание переменной типизирует значение корректно, в отличии от просто возврата из функции (причём не только из локальной).

    boolean b;
    boolean check()
    {
        return 3;
    }
    ;
        
    b = check();
    info(strfmt("%1", check()));
    info(strfmt("%1", b));

[Logger]

А в 3-ке еще можно было при вызове локального метода обязательные значения параметров не указывать и прокатывало