jyuyjiyuijyu:
ЕП>>>Приоритет у тернарной операции выше, чем у присваивания.
M>>У тернарного оператора приоритет и ассоциативность такие же, как и у оператора присваивания, причём применяются они только в отношении левого и правого операндов. В качестве среднего операнда может выступать выражение любой синтаксической формы (тут действуют только семантические ограничения). J>не такие же а у = ниже а у ?: выше
В C — возможно (ХЗ, я им почти не интересуюсь), в C++ — нет.
J>иначе бы это работало не правильно J>var += cond ? expr : expr; J>если бы были такие же то условие было бы (var += cond) ?
С чего бы это, если речь идёт о правоассоциативных операторах? У правоассоциативного оператора правый операнд может быть результатом применения (без обрамляющих скобок) оператора с таким же приоритетом, а левый операнд — не может.
Здравствуйте, Masterkent, Вы писали:
M>jyuyjiyuijyu:
ЕП>>>>Приоритет у тернарной операции выше, чем у присваивания.
M>>>У тернарного оператора приоритет и ассоциативность такие же, как и у оператора присваивания, причём применяются они только в отношении левого и правого операндов. В качестве среднего операнда может выступать выражение любой синтаксической формы (тут действуют только семантические ограничения). J>>не такие же а у = ниже а у ?: выше
M>В C — возможно (ХЗ, я им почти не интересуюсь), в C++ — нет.
J>>иначе бы это работало не правильно J>>var += cond ? expr : expr; J>>если бы были такие же то условие было бы (var += cond) ?
M>С чего бы это, если речь идёт о правоассоциативных операторах? У правоассоциативного оператора правый операнд может быть результатом применения (без обрамляющих скобок) оператора с таким же приоритетом, а левый операнд — не может.
"Язык программирования C++ специальное издание"
во первых приоритет у них разный
Несколько грамматических правил нельзя выразить
в терминах приоритетов (называемых также силой связывания)
и ассоциативности. Например, a=b<c ? d=e : f=g
означает a=((b<c) ? (d=e) : (f=g)), но для того чтобы об этом
догадатся, нужно обратиться к правилам грамматики
так о какой ассоциативности вы говорите в данном случае ?
вот имекнно тут надо смотреть грамматику смотрим
Здравствуйте, jyuyjiyuijyu, Вы писали:
J>Здравствуйте, Masterkent, Вы писали:
M>>jyuyjiyuijyu:
ЕП>>>>>Приоритет у тернарной операции выше, чем у присваивания.
M>>>>У тернарного оператора приоритет и ассоциативность такие же, как и у оператора присваивания, причём применяются они только в отношении левого и правого операндов. В качестве среднего операнда может выступать выражение любой синтаксической формы (тут действуют только семантические ограничения). J>>>не такие же а у = ниже а у ?: выше
M>>В C — возможно (ХЗ, я им почти не интересуюсь), в C++ — нет.
J>>>иначе бы это работало не правильно J>>>var += cond ? expr : expr; J>>>если бы были такие же то условие было бы (var += cond) ?
M>>С чего бы это, если речь идёт о правоассоциативных операторах? У правоассоциативного оператора правый операнд может быть результатом применения (без обрамляющих скобок) оператора с таким же приоритетом, а левый операнд — не может. J>"Язык программирования C++ специальное издание"
дядька Шилдт ?
Это неавторитетный источник. Во-первых, в англоязычном варианте книги таблица несколько другая:
simple assignment lvalue = expr
multiply and assign lvalue *= expr
divide and assign lvalue /= expr
modulo and assign lvalue %= expr
add and assign lvalue += expr
subtract and assign lvalue = expr
shift left and assign lvalue <<= expr
shift right and assign lvalue >>= expr
AND and assign lvalue &= expr
inclusive OR and assign lvalue |= expr
exclusive OR and assign lvalue ^= expr
----------------------------------------------
conditional expression expr ? expr : expr
----------------------------------------------
throw exception throw expr
Уже смешно. Во-вторых, из стандарта C++ следует другое соотношение приоритетов, а именно: приоритет тернарного оператора, операторов группы присваивания и throw один и тот же.
J>теперь тернарный оператор J>
J>Несколько грамматических правил нельзя выразить
J>в терминах приоритетов (называемых также силой связывания)
J>и ассоциативности.
Грамматические правила C++ в отношении тернарного оператора вполне хорошо описываются в терминах приоритетов и ассоциативности. Если Страуструп не смог додуматься до способа описания, это его личные проблемы.
J>так о какой ассоциативности вы говорите в данном случае ?
О такой же, как у бинарных операторов — при условии, что средний операнд ?: мы не рассматриваем. Нерассмотрение операнда в данном случае не является чем-то совершенно исключительным. Операнды typeid и всех .._cast преобразований, а также операнд операции индексации, заключённый в [], могут представлять собой выражения произвольной корректной синтаксической формы, и применять к ним понятия приоритетов и ассоциативности бессмысленно.
J>вот имекнно тут надо смотреть грамматику
Для подтверждения правильности таблицы приоритетов и ассоциативности — надо. Но я не вижу никаких препятствий для использования правильной таблицы приоритетов и ассоциативности в качестве наглядной памятки при рассмотрении тернарного оператора.
J>все что вы тут говорите про ассоциативность это не более чем бред
Чтобы доказать это, тебе нужно привести хотя бы один пример, когда с помощью правил ассоциативности невозможно достоверно выяснить расположение операндов в выражении, состоящем только из операторов группы присваивания, тернарного оператора и throw.
Отдельное замечание о throw. Если бы приоритет throw был ниже, чем у ?:, то следующую запись
0 ? 0 : throw 0;
надо было бы считать синтаксически некорректной. Выражение throw 0 не может быть использовано в качестве операнда, учитываемого при применении правил приоритетов и ассоциативности, у операции с более высоким приоритетом. В частности, выражение (void)throw 0 синтаксически некорректно (приоритет операции преобразования типа в cast-нотации выше, чем у throw).
jyuyjiyuijyu:
J>--- J>приоритет нигде не нарушается
Я не понял, о чём тут идёт речь.
J>а странности с ?:
Он не более странный, чем, скажем, оператор new, у которого вообще нет операндов, на которые бы распространялись правила приоритетов и ассоциативности.
J>объясняются грамматикой
Расположение операндов любых операторов можно объяснить, пользуясь правилами грамматики. Для меня это не новость.
J>поэтому можно и throw и = хотя они ниже приоритетом
Будь они ниже приоритетом, нам пришлось бы
1) согласиться с тем, что a ? b : c = d эквивалентно (a ? b : c) = d (вместо a ? b : (c = d) — как оно есть на самом деле) и a ? b : throw c синтаксически некорректно (что в действительности не так), либо
2) исключить правый операнд ?: из рассмотрения (но тогда с тем же успехом можно исключить из рассмотрения правый операнд = и считать, что выражения вроде a = b = c невозможно разобрать, основываясь на приоритете и ассоциативности), но остаётся непонятным, зачем вводить подобные искусственные ограничения, если можно сразу выбрать другие приоритеты, при которых рассмотрение как левого, так и правого операндов ?: не сопряжено с какими-либо проблемами.
Здравствуйте, Masterkent, Вы писали:
M>jyuyjiyuijyu:
M>Будь они ниже приоритетом, нам пришлось бы
M>1) согласиться с тем, что a ? b : c = d эквивалентно (a ? b : c) = d
так оно и есть Страуструп не зря
про это пишет
Несколько грамматических правил нельзя выразить
в терминах приоритетов (называемых также силой связывания)
и ассоциативности. Например, a=b<c ? d=e : f=g
означает a=((b<c) ? (d=e) : (f=g)), но для того чтобы об этом
догадатся, нужно обратиться к правилам грамматики
иначе зачем бы он вообще это написал как вы думаете
если все ясно из приоритетов и ассоциативности ?
Здравствуйте, Masterkent, Вы писали:
M>2) исключить правый операнд ?: из рассмотрения (но тогда с тем же успехом можно исключить из рассмотрения правый операнд = и считать, что выражения вроде a = b = c невозможно разобрать, основываясь на приоритете и ассоциативности)
a = b = c
что тут не понятно ?
зачем исключать операнды ?
вы какой то бред пишите
в тернарном мы исключаем оператор а тут вы пишите про исключение операнда
здесь как раз все прекрасно разбирается из приоритета и ассоциативности
---
в си и сипипи не изменился приоритет присваивания и тернарного
оператора изменилась грамматика у сипипи
как он в си был ниже приоритетом так и в сипипи
просто трактоватся в силу изменения грамматики стал иначе
в тернарном операторе
jyuyjiyuijyu:
M>>Будь они ниже приоритетом, нам пришлось бы
M>>1) согласиться с тем, что a ? b : c = d эквивалентно (a ? b : c) = d J>так оно и есть
В C++ — нет. Посмотри хотя бы в свою же цитату из книжонки Страуструпа.
J>Страуструп не зря J>про это пишет J>
J>Несколько грамматических правил нельзя выразить
J>в терминах приоритетов (называемых также силой связывания)
J>и ассоциативности. Например, a=b<c ? d=e : f=g
J>означает a=((b<c) ? (d=e) : (f=g)), но для того чтобы об этом
J>догадатся, нужно обратиться к правилам грамматики
Разбор данного примера мало чем отличается от
a = b < c += f = g
Тут приоритет < выше, чем у += и =, и, стало быть, b < c является отдельным операндом.
a = (b < c) += f = g
Далее для операндов операторов = и += (имеющих равный приоритет) применяется правило ассоциативности. Поскольку данные операторы правоассоциативны, их группировка происходит справа налево, т.е. выражение f = g выступает в качестве правого операнда оператора +=, а выражение b < c += f = g выступает в качестве правого операнда левого оператора =. В итоге получается следующая группировка:
a = ((b < c) += (f = g))
Теперь рассмотрим
a = b < c ? d = e : f = g
Для начала мысленно уберём операнд d = e, к которому правила приоритетов и ассоциативности не применяются:
a = b < c ?: f = g
Далее применяем те же рассуждения, что и для примера с оператором +=. Получаем:
a = ((b < c) ?: (f = g))
Остаётся лишь вернуть d = e на место — в итоге получится:
a = ((b < c) ? d = e : (f = g))
Это соответствует правильной группировке операторов? Да, соответствует. Так в чём тогда проблема?
J>иначе зачем бы он вообще это написал как вы думаете J>если все ясно из приоритетов и ассоциативности ?
Это тебе надо у Страуструпа спрашивать, зачем он такое написал.
jyuyjiyuijyu:
M>>2) исключить правый операнд ?: из рассмотрения (но тогда с тем же успехом можно исключить из рассмотрения правый операнд = и считать, что выражения вроде a = b = c невозможно разобрать, основываясь на приоритете и ассоциативности) J>a = b = c J>что тут не понятно ? J>зачем исключать операнды ?
Я привёл сравнение ?: с оператором =. Как и у оператора присваивания, у тернарного оператора имеются левый и правый операнды. Исключив из рассмотрения средний операнд, мы можем применять к ?: те же правила приоритетов и ассоциативности, что и для = (а также других операторов группы присваивания). Почему Страуструп до этого не додумался — это уже другой вопрос.
