Нет пробелов между оператором трансляции и оператором пространства имен?

Question

Может кто-нибудь, пожалуйста, объясните следующую строку кода, найденного на http://docs.openttd.org/ai__cargo_8cpp_source.html

return (AICargo::TownEffect)::CargoSpec::Get(cargo_type)->town_effect; 

Если эта строка была:

return (AICargo::TownEffect) ::CargoSpec::Get(cargo_type)->town_effect; 

(обратите внимание на пробел между TownEffect) и ::), то я бы понял это нормально , Однако в этом документе нет пробелов *, что означает, что (AICargo::TownEffect) является левым операндом оператора ::.

Как этот код работает/компилируется? Или две вещи эквивалентны из-за какого-то неясного правила C++?

* Это то же самое в файле cpp.

Answer 1

Помимо разделения маркеров, пробел обычно не имеет существенного значения в грамматике C++.

Скобок являются значительными, и они не могут появиться в квалифицированного идентификатора поэтому нет эквивалентности между:

(AICargo::TownEffect)::CargoSpec::Get 

и

AICargo::TownEffect::CargoSpec::Get 

В первом есть два qualified-ids, один в круглых скобках, обозначающий тип, а другой - именование функции. Единственная допустимая интерпретация типа в скобках в этом контексте - это выражение . Есть ли пробел после закрытия круглой скобки не имеет значения.

Answer 2

Это простая проблема синтаксического разбора: здесь нет необходимости в пробеле, потому что мы знаем, что листинг C-стиля заканчивается скобкой.

Это не более нечитаемым, что:

if(cargo_type){return cargo_type->town_effect;} 

Это, вероятно, связано с тем, что ( и ) не может быть частью идентификатора.

Answer 3

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

Я хочу добавить, что на C++ вы не должны использовать старые стили C-стиля как стиль. Они обычно сильнее, чем вы хотите, и отбрасывают const, что очень часто не то, что вы хотите. Кроме того, их практически невозможно найти в вашей базе кода, что затрудняет просмотр выражений, которые, как правило, гораздо чаще вызывают ошибки.

Вместо этого в этом случае, если вам действительно нужна полная мощность литья в стиле C (без учета const ness на данный момент), вы должны использовать reinterpret_cast<AICargo::TownEffect>. Однако, не глядя на код, меня не удивило бы, если бы было достаточно static_cast.