C言語の関数引数はどのような順序で評価される？

関数引数の評価順序とは？

プログラミングでは、関数にさまざまな引数を渡します。その際、「関数の引数はどのような順序で評価されるのだろう？」という疑問が浮かぶことがあります。左から右へ評価されるのでしょうか、それとも右から左へなのでしょうか。

ここでは、簡単なサンプルプログラムを使って評価順序を確認してみます。複数の引数を関数に渡し、その出力結果から実際の評価順序を読み解いていきましょう。

サンプルコード

#include<stdio.h>
void test_function(int x, int y, int z) {
    printf("The value of x: %d\n", x);
    printf("The value of y: %d\n", y);
    printf("The value of z: %d\n", z);
}
main() {
    int a = 10;
    test_function(a++, a++, a++);
}

実行結果

The value of x: 12
The value of y: 11
The value of z: 10

結果の解説

この出力結果から、評価の順序を容易に読み取ることができます。最初に z が評価されて値は 10、次に y が評価されて値は 11、最後に x が評価されて値は 12 となっています。つまり、この環境では引数が右から左の順序で評価されていることが分かります。

注意点：評価順序は「未規定動作」

C言語の標準規格（ISO C）では、関数引数の評価順序は明確には定められていません。これは「未規定動作」と呼ばれるものです。上記のように右から左へ評価されるのは、GCCなど多くの一般的なコンパイラでよく見られる典型的な挙動ですが、すべてのコンパイラや環境で同じ結果が保証されるわけではありません。

そのため、a++ のような副作用を伴う式を引数として渡す書き方は避けるべきです。移植性の高い安全なプログラムを書くためには、引数同士が互いに依存しないようにし、評価順序に依存しない設計を心がけましょう。