C におけるオペランドの評価順序

数式では、オペランドの評価順序は固定されていると想定されることがよくあります。ただし、 C などのプログラミング言語では、評価の順序が指定されていないため、予期しない結果が生じる可能性があります。

式 a b について考えてみましょう。この式では、オペランド a と b は任意の順序で評価できます。これは、「未指定の評価順序」として知られています。

C 標準では、関数の引数と個々の演算子のオペランドの評価順序が未指定であると指定されています。これは、コンパイラが選択した順序でオペランドを自由に評価できることを意味します。

たとえば、次のコードを考えてみましょう。

int main() {
  int a = 1;
  int b = 2;
  int c = a   b;
  printf("%d", c);
  return 0;
}

このコードでは、a と b の評価順序は指定されていません。コンパイラは、a を最初に評価することも、b を最初に評価することもできます。式 a b の結果は、評価の順序に応じて 3 または 4 になります。

評価順序が不確実だと、コードにバグが発生する可能性があります。予測可能な動作を保証するには、使用している特定の演算子と式の評価順序を理解することが重要です。