Ax2012. Типы операндов не совместимы с оператором

[belugin]

Цитата:

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

Эммм... Макс, если честно, то я совсем запутался. А раскручиывать цепочку цитат и контр-вопросов совсем нет никакого желания.
Но совершенно очевидно, что у тебя есть особое мнение по этому поводу.
Также несомненно, что я могу дико ошибаться.

Мне интересно, если бы кто-то у кого под руками есть Ax4 или Ax3 сделал следующий эксперимент.

class MyClass { MyClass test(){ return null } }
class MyExtendedClass extends MyClass { SysAnyType test(){ return null } }

Цитата:

1. что можно сделать с подобными тренарными операторами в ax2012? (примеры рассыпаны выше по ветке)

Можно попробовать ввести промежуточные переменные с определением конкретного типа.

Цитата:

2. почему и зачем это возникло в ax2012 на твой взгляд? понятно, что для совместимости в CIL.

Я думаю, это ошибка или недоделка вывода типов для тернарной операции.

Цитата:

А в CIL это зачем и почему раньше этого в X++ не было?

Тут надо разбираться как работает CIL внутри я это не так хорошо знаю. В том числе с точки зрения безопасности.

В X++ до 2012 нет гарантии, что если ты вызвал метод x на переменной типа y ты вызовется именно метод класса y. В переменной может лежать объект любого класса и, если у него есть метод x то вызовется он.

А если нет, то будет исключение. Причем не когда возникает несовместимое присваивание, а когда вызов, что может быть гораздо позже и труднее искать основную причину ошибки.

Цитата:

3. какова ситуация с тренарными операторами в D365FO и почему так случилось?

Пример из заголовка и твой пример компилируются без ошибок (после добавления недостающего метода). Только ворнинги:

Warning 'as' is obsolete: '"Use the AS operator instead."'

Цитата:

4. а также любые твои мысли на тему ветки - будет интересно.

Был компилятор написанный на C++ сто лет назад, притворяющийся языком со сторогой статической типизацией, но при этом позволяющий иногда нарушать безобразия.

Потом решили приделать CIL и привести в соответствие типизацию компилятора и рантайма. Чтобы раньше получать сообщения об ошибках. С тернарным оператором что-то не так - я думаю какая-то ошибка или недоделка в выводе типов.

В Dyn365FO компилятор переписали на C# (Вернее, доделали XLNT, который занимался раньше просто дополнительными проверками) и эту недоделку устранили, насколько я вижу.

[Logger]

Цитата:

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

Чтобы было полезно и познавательно читателям аксфорума
можешь (без оглядки на мои ответы) сформулировать в одном посте:
1. что можно сделать с подобными тернарными операторами в ax2012? (примеры рассыпаны выше по ветке)
2. почему и зачем это возникло в ax2012 на твой взгляд? понятно, что для совместимости в CIL. А в CIL это зачем и почему раньше этого в X++ не было?
3. какова ситуация с тернарными операторами в D365FO и почему так случилось?
4. а также любые твои мысли на тему ветки - будет интересно.

Кстати, да.
Как-то мало кто прореагировал.
Вопросы интересные и нужные на практике.

[mazzy]

Цитата:

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

Мне интересно, если бы кто-то у кого под руками есть Ax4 или Ax3 сделал следующий эксперимент.

class MyClass { MyClass test(){ return null } }
class MyExtendedClass extends MyClass { SysAnyType test(){ return null } }

ax4. см. скриншоты.

Т.е. типы в методах потомках не проверяются на хоть какое-нибудь соответствие типам родителей. Типы проверяются только при присваивании (явном или неявном).
Убедил.

[Logger]

Цитата:

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

гуглить в сторону "ковариантность" и "инвариантность".
https://ru.wikipedia.org/wiki/%D0%9A...D%D0%B8%D0%B5)

в java изначально типы ковариантны. и дополнительно было очень много послаблений в примитивных типах.
в аксапте изначально добавили ковариантность в методы классов. что позволяло до ax2009 указывать производные типы методах классов наследников (уж не знаю по недосмотру или был какой замысел).

в ax2012 с какого-то перепуга разработчики сделали типы инвариантными как в C# 2.0. причем очень жестко.
из-за этого нельзя уточнять тип в параметрах методов и в возвращаемых значениях.

в качестве побочного эффекта получили вот такие затыки в тренарных операторах, а также в map (который AOT).

случайно попалась ссылка с рядом пояснений от от архитекторов Аксапты.
Оставлю тут
https://docs.microsoft.com/en-us/arc...the-x-language
X++: Forthcoming changes to the X++ language

https://docs.microsoft.com/en-us/arc...namics-ax-2012

[Logger]

Цитата:

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

4-й вопрос. - Кто как обходит такое поведение компилятора?
пока вижу такие способы
а. Отказаться от тернарного оператора в случае когда выдает ругань.
б. Использовать any2XXX функции, дописав недостающие самим в global классе. Есть ли в этом какой то риск в случае CIL ?
в. Забить на предупреждения компилятора (а как их тогда подавить корректно ? Грубые хаки в виде кода на insert / write методах таблицы TmpCompilerOutput c запретом вставки записи - я не считаю. Это крайний вариант)
г. ...

вариант г.
сделать в Global метод

public static anytype tern(boolean _useFirst, anytype _parmFirstValue, anytype _parmSecondValue)
{
    ;

    if (_useFirst)
    {
        return _parmFirstValue;
    }
    
    return _parmSecondValue;
}

и использовать его вместо тернарного оператора.


Такой ли уж это г. способ ?

[ТРЕНЕР]

Забить на Микрософт.
Также как Микрософт забил на нас.

[Logger]

Цитата:

Сообщение от ТРЕНЕР

Забить на Микрософт.
Также как Микрософт забил на нас.

Собственно речь о том как лучше это сделать.
Так как способ г. это один из вариантов как забить.

[dit31]

У варианта "г" будет особенность, что оба выражения будут вычисляться (выполняться) в любом случае, в отличие от тернарного оператора.
Помимо оптимизации это не всегда допустимо.

[ivas]

Цитата:

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

У варианта "г" будет особенность, что оба выражения будут вычисляться (выполняться) в любом случае, в отличие от тернарного оператора.
Помимо оптимизации это не всегда допустимо.

Макрос?

static void tern_macro_test(Args _args)
{
    #localmacro.tern
    if (%2)
    {
        %1 = %3;
    }
    else
    {
        %1 = %4;
    }
    #endmacro
    
    anytype value, firstValue, secondValue;
    boolean useFirst;
    ;

    useFirst = true;
    firstValue = 1;
    secondValue = 2;

    #tern(value, useFirst, firstValue, secondValue)

    info(strfmt("%1", value));
}

[Logger]

Цитата:

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

Макрос?

не подойдет.
Тернарный оператор это выражение.

info(callfunc1() ? callfunc1() : callfunc2());

не скомпилируется. Уже лучше что-то типа такого

#localmacro.tern
    %1 ? any2any(%1) : any2any(%2)
#endmacro

где

public static anytype any2any(anytype _value)
{
    return _value;
}

тогда

private void method1()
{
    int     a;
    anytype b = "";
    ;
    
    info(strFmt("%1", (a ? a : b))); // выдает предупреждение
    info(strFmt("%1", (a ? any2any(a) : any2any(b)))); // не выдает
    info(strFmt("%1", (#tern(a, b)))); // не выдает
}

но я сам так не делал.

[ivas]

Цитата:

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

не подойдет.
Тернарный оператор это выражение.

#localmacro.tern
    %1 ? any2any(%1) : any2any(%2)
#endmacro

    info(strFmt("%1", (#tern(a, b)))); // не выдает

но я сам так не делал.

Это можно объединить в один макрос

static void tern_macro_test(Args _args)
{
    #localmacro.tern
    #if.empty(%4)
        %1 ? %2 : %3
    #endif
    #ifnot.empty(%4)
        if (%2)
        {
            %1 = %3;
        }
        else
        {
            %1 = %4;
        }
    #endif
    #endmacro

    anytype value, firstValue, secondValue;
    boolean useFirst;
    ;

    useFirst = true;
    firstValue = 1;
    secondValue = 2;
    info(strfmt("%1", #tern(useFirst, firstValue, secondValue)));

    useFirst = false;
    #tern(value, useFirst, firstValue, secondValue)
    info(strfmt("%1", value));
}