if(a && b)
{
do something;
}
引数を右から左へ評価する可能性はありますか(b-> a)?
「はい」の場合、評価順序に影響を与えるものは何ですか?
(私はVS2008を使用しています)
評価順序は標準で指定されており、left-to-right
です。左端の式は、常に&&
句で最初に評価されます。
b
を最初に評価する場合:
if(b && a)
{
//do something
}
両方の引数がメソッドであり、結果に関係なく両方を評価したい場合:
bool rb = b();
bool ra = a();
if ( ra && rb )
{
//do something
}
C++では、評価順序を保証する演算子はわずかしかありません
_operator &&
_は最初に左のオペランドを評価し、値が論理的にfalse
の場合、右のオペランドの評価を回避します。典型的な用途は、ゼロ除算の問題を回避するif (x > 0 && k/x < limit) ...
などです。
_operator ||
_は最初に左のオペランドを評価し、値が論理的にtrue
の場合、右のオペランドの評価を回避します。たとえば、if (overwrite_files || confirm("File existing, overwrite?")) ...
は、フラグ_overwrite_files
_が設定されている場合、確認を求めません。
_operator ,
_は、最初に左オペランドを評価し、次に右オペランドを評価し、右オペランドの値を返します。この演算子はあまり使用されません。関数呼び出しのパラメーター間のコンマはnotコンマ演算子であり、評価の順序は保証されないことに注意してください。
三項演算子_x?y:z
_は最初にx
を評価し、次に結果の論理値に応じてy
のみまたはz
のみを評価します。
他のすべての演算子では、評価の順序は指定されていません。
順序が指定されていないということではなく、式の「順序」さえまったくないため、状況は実際に悪化しています。たとえば、
_std::cout << f() << g() << x(k(), h());
_
関数は_h-g-k-x-f
_の順序で呼び出される可能性があります(_<<
_演算子のメンタルモデルは何らかの方法で連続性の概念を伝えますが、実際には順序は結果の順序でのみ順守されるため、これは少し厄介です結果が計算される順序ではなく、ストリームに配置されます)。
式の値の依存性により、順序保証が導入される可能性があることは明らかです。たとえば、上記の式では、x
を呼び出すには両方からの戻り値が必要なので、k()
とh()
の両方がx(...)
の前に呼び出されることが保証されます。
_&&
_、_||
_、および_,
_の保証は、事前定義された演算子に対してのみ有効であることにも注意してください。これらの演算子を型にオーバーロードすると、通常の関数呼び出しと同じようになり、オペランドの評価の順序は指定されません。
この場合、&&
を使用しているため、式を短絡するかどうかを判断するために結果が使用されるため、a
が常に最初に評価されます。
a
がfalseを返す場合、b
はまったく評価できません。
組み込みの論理AND演算子&&および組み込みの論理OR演算子||の最初の(左)引数のすべての値計算および副作用は、すべての値計算および副作用の前にシーケンスされます。 2番目(右)の引数。
ルールセットのより包括的な説明については、こちらをお読みください。 注文評価
左から右に評価し、可能な場合は評価を省略します(たとえば、aがfalseと評価された場合、bは評価されません)。
それらが評価される順序を気にする場合は、ifステートメントで評価の望ましい順序でそれらを指定する必要があります。
組み込みの&&
演算子は、常に左オペランドを最初に評価します。例えば:
if (a && b)
{
//block of code
}
a
がfalse
の場合、b
は評価されません。
b
を最初に評価し、a
が真の場合にのみb
を評価する場合は、逆の方法で式を記述します。
if (b && a)
{
//block of code
}