Почему C и C ++ допускают выражение (int) + 4 * 5?

(int) + 4*5;

Почему это (добавление типа со значением) возможно? (пробовал с g ++ и gcc.)

Я знаю, что это не имеет смысла (и не имеет никакого эффекта), но я хочу знать, почему это возможно.

c++ c casting language-lawyer

— Эрнест Бредар
источник

так же, как(int)-4*5

— P__J поддерживает женщин в Польше

Существует полезный инструмент, cppinsightsкоторый помогает понять, как выглядит код с точки зрения внешнего интерфейса компилятора. У него также есть онлайн-версия, вы можете увидеть, что он рассказывает о вашем примере (те же скобки, что и в ваших ответах)

— Никита Князев

Это утверждение эквивалентно +(int)+ 4*5;и -(int)- 4*5;и -+-+-(int)-+-+- 4*5;и менее поэтично;

— chqrlie

Что вас озадачивает? Насколько я знаю, вы спрашиваете, почему вам разрешено писать 5 без указания знака.

— Carsten S

Разве C ++ не должен предупреждать вас о том, что приведение типов C в C ++ не рекомендуется?

— Мистер Листер

Ответы:

141

+Здесь унарный +оператор , а не бинарный оператор сложения . Здесь ничего не происходит.

Также синтаксис (int)используется для приведения типов.

Вы можете перечитать это заявление как

(int) (+ 4) * 5;

который разбирается как

((int) (+ 4)) * (5);

который говорит,

Примените унарный +оператор к целочисленному постоянному значению 4.
приведение типа к int
умножить на операнд 5

Это похоже на то (int) (- 4) * (5);, где использование унарного оператора более привычно.

В вашем случае унарный +и приведенный к int- оба избыточны.

— Сурав Гош
источник

«Кастинг», а не «приведение типов». Приведение типов - это то, что происходит с актерами.

— Кейт Томпсон

(+ 4)не является операндом+4 , это означает применение унарного +к операнду 4, что действительно не работает в случае OP, но может вызвать целочисленное продвижение или распад массива в других обстоятельствах. Например char c = 0; sizeof +c == sizeof c, вероятно, это ложь, а sizeof +"a"скорее всего не 2.

— chqrlie

«оба лишние» - все это является излишним, так как 42;:-)

— paxdiablo

Я не вижу ничего плохого в использовании термина "приведение типов". Кажется, я не один такой .

— Бен

@Ben Приведение типов - это не приведение типов.

— Kenneth K.

Это интерпретируется как ((int)(+4)) * 5. То есть выражение +4(унарный оператор плюса, применяемое к литералу 4), приведенное к типу intс приведением в стиле C, и результат, умноженный на 5.

— Игорь Тандетник
источник