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

Это тонкое и важное различие между C и C++. В C++ оператор Любые может быть заявление-декларация. В C нет такой вещи, как заявление-декларация; вместо этого декларация может появиться вместо утверждение в любом составное выражение.

Из грамматики C (спецификация C17):

compound-statement: "{" block-item-list_opt "}"
block-item-list: block-item | block-item-listblock-item
block-item: declaration | statement

Из грамматики С++ (спецификация С++ 14):

compound-statement: "{" statement-seq_opt "}"
statement-seq: statement | statement-seqstatement
statement: ... | declaration-statement | ...

Неясно, Почему существует ли эта разница, просто языки эволюционировали. Синтаксис C++ восходит к (как минимум) C++85. Синтаксис C был введен где-то между C89 и C99 (в C89 объявления должны были находиться в начале блока).

В исходных версиях C++ 85 и 89 область действия переменной, определенной в заявление-декларация, была "до конца объемлющего блокировать"). Таким образом, объявление в подобном if не сразу выйдет за пределы области действия (как это происходит в более поздних версиях), а вместо этого будет в области действия для операторов, следующих за if в той же области действия блока. Это может привести к проблемам с доступом к неинициализированным данным, когда условие ложно. Хуже того, если бы у var был нетривиальный деструктор, который вызывался бы, когда область видимости заканчивалась, даже если бы она никогда не была инициализирована! Я подозреваю, что попытка избежать подобных проблем привела к тому, что C принял другой синтаксис.

Это потому, что C и C++ по-разному определяют утверждение.

В C объявления не классифицируются как операторы. Составной оператор C состоит из открывающей {, списка опций блок-элемент и закрывающей }, где блок-элемент либо декларация, либо утверждение. (Это было изменено в C99, когда C добавил возможность смешивать объявления и операторы внутри блока.)

В C++ объявление классифицируется как оператор (но только если оно находится внутри составного оператора). Это позволяет упростить определение составное выражение: это {, за которым следует необязательный список утверждение, за которым следует }.

Разница не имеет большого практического эффекта; это всегда можно обойти. Одним из последствий является то, что в C++ допустимо, чтобы объявление сразу же следовало за меткой case, но в C это недопустимо.

В C декларация и утверждение являются разными объектами.

В C++ подмножество объявлений, называемое объявление блока, представляет собой тип оператора, в частности, это заявление-декларация. К ним относятся простые объявления, такие как int a=2.

ответ Криса (и другие) показывает, чем отличается грамматика.

Я хочу отметить, что if (1) int a = 2; не имеет смысла в C, но имеет смысл в C++. Поскольку у нас нет блока, а есть только 1 оператор/объявление, невозможно дальнейшее использование объявленной переменной (она сразу же выходит из области видимости). В C это не имеет смысла разрешать, но в C++ конструкторы и деструкторы могут иметь побочные эффекты, поэтому определение и инициализация переменной, которая немедленно выходит за пределы области видимости, может быть полезной и должна быть разрешена.