Как работает тернарный оператор - DAX: Программирование

cerbo · 22.10.2009, 10:36

Почему для этого кода, в предпоследней строке, вываливает ошибка "Типы операнда не совместимы с оператором.":

X++:

return        _cmd == Command::CopyAll ? new EditCopyAll ()
            : _cmd == Command::Copy    ? new EditCopy    ()
            : _cmd == Command::MoveAll ? new EditMoveAll () 
            : _cmd == Command::Move    ? new EditMove    ()   // ошибка "Типы операнда не совместимы с оператором."
            : null;

причем если упростить до такого, то все ОК:

X++:

return        _cmd == Command::CopyAll ? new EditCopyAll ()
            //: _cmd == Command::Copy    ? new EditCopy    ()
            //: _cmd == Command::MoveAll ? new EditMoveAll () 
            //: _cmd == Command::Move    ? new EditMove    ()
            : null;

Это очередная баго-фича или есть смысл в таком поведении?

lev · 22.10.2009, 10:45

странный код... это метод construct() какого то класса? это код стандартного функционала?
может просто привык, но обычно в construct() используется оператор switch...

теперь по существу, предположу что класс EditMove не является наследником класса, который инициализируется.

cerbo · 22.10.2009, 11:02

С наследованием все в порядке.

Код свой. Для меня такой код выглядит более "чистым" и декларативным чем switch. Обратите внимание, что условия могут буть сколько угодно сложными. Второе, компилятор требует обязательно вернуть значение, а это более и безопасно и более читаемо, явно видно какой результат хочет получить программист который это писал. А а не просто "делай то не знаю что".
Ну где-то так.

lev · 22.10.2009, 11:15

X++:

static MyClass construct(TypeRun _typeRun)
{
  MyClass  retClass;
  
  switch(_typeRun)
  {
    case 1 :
    retClass = new MyClass_1();
    break;

    case 2 :
    retClass = new MyClass_2();
    break;

    default : retClass = new MyClass();
  }

  return retClass;
}

мне кажется такой вид понятен, и выполняет требования компилятора.

AndyD · 22.10.2009, 11:18

Попробуйте взять в скобки вложенные операторы.

X++:

return        _cmd == Command::CopyAll ? new EditCopyAll ()
            : (_cmd == Command::Copy    ? new EditCopy    ()
            : (_cmd == Command::MoveAll ? new EditMoveAll () 
            : (_cmd == Command::Move    ? new EditMove    (): null)));   // ошибка "Типы операнда не совместимы с оператором."

По-моему, компилятор просто лажает на такой конструкции

lev · 22.10.2009, 11:19

по проблеме.
Думаю должна помочь инкрементная компиляция класса родителя

cerbo · 22.10.2009, 12:17

Цитата:

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

Попробуйте взять в скобки вложенные операторы.

X++:

return        _cmd == Command::CopyAll ? new EditCopyAll ()
            : (_cmd == Command::Copy    ? new EditCopy    ()
            : (_cmd == Command::MoveAll ? new EditMoveAll () 
            : (_cmd == Command::Move    ? new EditMove    (): null)));   // ошибка "Типы операнда не совместимы с оператором."

По-моему, компилятор просто лажает на такой конструкции

не помогло

cerbo · 22.10.2009, 12:41

Вот так заработало:

X++:

return        _cmd == Command::CopyAll ? EditCopyAll::construct ()
            : _cmd == Command::Copy    ? EditCopy::construct    ()
            : _cmd == Command::MoveAll ? EditMoveAll::construct () 
            : _cmd == Command::Move    ? EditMove::construct    ()   
            : null;

Похоже действительно лажает компилятор, конструктор здесь имеет какое-то особое значение.
Все это ребята не весело

ice · 22.10.2009, 12:48

Цитата:

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

Все это ребята не весело

может стоило использовать стандартный в axapta подход, как было предложено выше? т.к. все что не вписывается в понятие "стандартный", другим людям будет сложнее поддерживать

RVS · 22.10.2009, 13:17

Цитата:

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

Все это ребята не весело

Не хотел бы оказаться на месте компилятора...

http://www.delphikingdom.com/asp/vie...?catalogid=528

cerbo · 22.10.2009, 13:42

Господа хорошие. Пост вообще-то был о проблемах компилятора, а не про стиль программирование. Я не хочу с вами спорить, но вы не правы.

RVS · 22.10.2009, 13:57

Цитата:

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

ГЯ не хочу с вами спорить, но вы не правы.

Это - ПЯТЬ!

Но - минус в репутацию. Уж извините.

Можете ответить тем же

ice · 22.10.2009, 14:14

Цитата:

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

Я не хочу с вами спорить, но вы не правы.

человек считает себя гением

lev · 22.10.2009, 14:34

Цитата:

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

человек считает себя гением

Да уж...
тут весь форум полон ничего не сведущими людьми, которые советуют что то непонятное и непривычное

cerbo · 22.10.2009, 15:17

Цитата:

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

Да уж...
тут весь форум полон ничего не сведущими людьми, которые советуют что то непонятное и непривычное

В чем же я по вашему несведующий, потрудитесь объяснить

anykey · 22.10.2009, 15:23

да и так:

X++:

    anytype any;
    ;
    any = i ? 2 : "d";

не хочет, и с наследниками классов путается. Работает, если только в условии а-ля
класс_а : класс_б
один из них наследует другой. В случае же, когда они наследуются от класс_с - будет ошибка типов. Если следующим в условии будет класс_с и он будет унаследован от класс_б, ругаться не будет.

Sada · 22.10.2009, 15:27

Цитата:

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

В чем же я по вашему несведующий, потрудитесь объяснить

\Classes\InventMovement\constructNoThrow
попробуйте через тернарный оператор (если выкинуть даже вложенную логику)....
А вообще (простите меня), но это извращение.

belugin · 22.10.2009, 15:47

Альтернативное извращение

X++:

#localMacro.
    case Command::%1: return new Edit%1();
#endmacro
switch (_cmd)
{
     #(CopyAll)
     #(Copy)
     #(MoveAll)
     #(Move)
}
return null

ничего не повторяется, зато макросы

X++:

new SysDictClass(className2ID('Edit' + new DictEnum(enumNum(Command)).valueToSymbol(_cmd))).makeObject()

ничего не повторяется, нет макросов, зато компилятор не ругнется, если нет класса

НЕ ИСПОЛЬЗОВАТЬ В РАБОЧЕМ КОДЕ

cerbo · 22.10.2009, 15:55

Цитата:

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

\Classes\InventMovement\constructNoThrow
попробуйте через тернарный оператор (если выкинуть даже вложенную логику)....
А вообще (простите меня), но это извращение.

Ха-ха, изварщение как раз это ваш пример. В таких методах должно быть кристально ясно видно что с чем сопоставляется то есть: enum1->class1, enum2->calss2. И ничего более. Вложенную логику не "даже" надо выкидывать, а выкидывать обязательно. И еще в ахапте меня бесят эти функции по пол километра. Это что, по вашему, пример для подражания?

lev · 22.10.2009, 16:29

Цитата:

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

В чем же я по вашему несведующий, потрудитесь объяснить

Это был сорказм на Вашу реплику:

Цитата:

Господа хорошие. Пост вообще-то был о проблемах компилятора, а не про стиль программирование. Я не хочу с вами спорить, но вы не правы.

по Вашему мнению, судя по посту, все кто вам посоветовал следовать Best Practice не правы (и это не один человек, заметьте), и только Ваше мнение правильное.

Похожие темы
Тема	Автор	Раздел	Ответов	Посл. сообщение
почему на работает common.(fieldId)[idx]	maze	DAX: Программирование	3	31.08.2007 06:48
Тернарный оператор в select	novic	DAX: Программирование	7	10.07.2007 19:13
JOIN программно на форме не работает	rohlenko	DAX: Программирование	2	31.03.2005 15:41
Не работает Debugger	Antidot	DAX: Программирование	0	20.12.2004 13:53
CRM ABC, SWOT анализ Как это работает и работает ли вообще.	ShadowFromXZone	DAX: Функционал	16	02.03.2004 18:09