【C言語】sizeof()内の関数は実行されない?動作の仕組みを解説

C言語のsizeof演算子(関数と呼ばれることもあります)は、引数として与えられたデータや型のサイズをバイト単位で計算するために使われます。ここで重要なポイントは、引数に関数が指定された場合でも、その関数自体は実行されないという点です。sizeofはあくまで戻り値の型のサイズだけを評価します。

以下のサンプルコードでは、sizeof()の中にprintf()文を記述してみます。実際に出力される結果を確認しましょう。

サンプルコード

#include<stdio.h>
double my_function() {
   printf("This is a test function");
   return 123456789;
}
main() {
   int x;
   x = sizeof(printf("Hello World"));
   printf("The size: %d\n", x);
   x = sizeof(my_function());
   printf("The size: %d", x);
}

実行結果

The size: 4
The size: 8

結果の解説

この出力結果から、以下のことがわかります。

• sizeof()の中に記述されたprintf("Hello World")は実際には実行されておらず、「Hello World」という文字列は画面に表示されていません。
• x = sizeof(printf("Hello World")) の場合、printf()の戻り値の型はintであるため、そのサイズ「4」が返されています。
• x = sizeof(my_function()) の場合、my_function()も実行されず、戻り値の型doubleのサイズ「8」が返されています。

つまり、sizeofは引数として渡された式をコンパイル時に静的に評価し、戻り値の型のみを考慮してそのサイズを算出します。関数呼び出しによる副作用(画面への出力など)は一切発生しないため、sizeof()内に処理を書いても期待通りに動作しない点に注意が必要です。