関数呼び出し=式 - 文... void型の関数でさえも？

Question

C++では、代入文や関数呼び出し文などはありません。

割り当ては式です。 function-callは式です。これはBjarne Stroustrupの書籍「」「C++プログラミング言語」でまっすぐに来ています。

私は式が値を計算することを知っています。これは、値が返されないので、これがvoid関数に適用されるかどうか疑問に思います。

戻り値の型がの関数voidがまだ式としてカウントされているかどうかを知りたいのですが、その場合、なぜですか？

Answer 1

はい値が返されない関数（戻り値はvoidと宣言されています）は、呼び出したときでも式としてカウントされます。これは、他の式での使用を制限します。たとえば、そのような呼び出しは代入のどちらの側にもできません。

「理由」は？関数呼び出しは関数呼び出しです。値を返さない関数の特別なルールを追加すると、言語の設計がずっと複雑になります。 C++にはすでに十分な特別な規則と例外があります。

Answer 2

C++14 standard:

§5式：

1発現 計算を指定する演算子およびオペランドの配列です。表現は結果が値とでき原因側 効果

になるように、発現の「メイン」の目的/範囲は、値を計算するのではなく、計算を指定することであることができます。計算の中には値があり、あるものは副作用があるものもあります。

これに加えて（実際にはまず第一に）、「式」と「文」がCとC++の文法を定義するのに使われます。 "式"ではなく値を返さない関数を作ることは構文上不可能です。意味のレベルでその区別を加えることは、不必要に過度に複雑になる。

Answer 3

はい、void関数呼び出しも式です。 C++標準で定義は言う：

表現が 計算を指定する演算子とオペランドのシーケンスです。式は、結果としての値になり、は、の側に の効果を引き起こす可能性があります。

関数呼び出しは、関数の引数を構成する 式の空の場合、カンマで区切られたリストを含む括弧 続いポストフィックス式あります。MSDN C++言語リファレンスまた

：

関数呼び出しオペレータ続い後置表現、（）、 は関数呼び出しを指定します。

Answer 4

Function Call = expression-statement ... void型の関数もありますか？

なし。

do_stuff() 

、それはexpression_optだ：関数呼び出しがこれですので、しかし、それはです。これは表現であり、声明ではありません。複合式でこの式を使用できますが、言語ロジックによる文ではありません。

あなたはすぐにそれをセミコロン与えることexpression-statementにexpression_optことを変換することができます：

do_stuff(); 

は今いっぱい文です。あなたは

if(good_thing() || do_stuff()) 
{ 
    .... 
} 

do_stuff()とgood_thing()のようなものを考える場合

違いが明確になる/評価されることになる可能表現されています。 ()の後のセミコロンは、そのif節を壊します。