C言語での関数の戻り値が予想通りにならない

Question

以下のコードを実行すると
counter=3 ・・・①
という結果が表示されます。
func関数は2回しか呼び出されていないので、
counter=2
だと思ったのですが、どうして①のような結果になるのでしょうか？

#include <stdio.h>

/* 値をチェックする関数をマクロで定義する */
/* 「X」の値が0、または、1なら1を返す */
#define CHECK_VALUE(X) (((X) == 0 || (X) == 1) ? 1 : 0)

/* 関数のプロトタイプ宣言 */
int func(int value, int *counter);

/* 関数を定義する */
int func(int value, int *counter)
{
    /* カウンタをインクリメントする */
    (*counter)++;
    
    return (value * value);
}

int main(int argc, char *argv[])
{
    int counter = 0;
    
    if (CHECK_VALUE(func(2, &counter)) == 0)
    {
        func(3, &counter);
    }
    
    printf("counter=%d\n", counter);
    
    return 0;
}

Answer 1

CHECK_VALUE(X)マクロの定義に問題があります。マクロ定義中に引数Xが2回出現しますが、それぞれがfunc関数呼び出しに展開されます。

if (CHECK_VALUE(func(2, &counter)) == 0)
// マクロ展開↓
if ((((func(2, &counter)) == 0 || (func(2, &counter)) == 1) ? 1 : 0) == 0)

一般論として、このようなマクロ定義は好ましくありません。JPCERT 安全でないマクロの引数では副作用を避ける もご一読ください。

Comments

[退会済みユーザー]

ご回答ありがとうございます。
良く理解できました！
役立つサイトも教えていただき、ありがとうございます！

Answer 2

こんにちは。

#defineで定義するマクロは単に文字列を展開するだけです。
ですので、`if (CHECK_VALUE(func(2, &counter)) == 0)'は次のように展開されます。

if (((func(2, &counter)) == 0 || (func(2, &counter)) == 1) ? 1 : 0)) == 0)

そして、最初の(X) == 0は成立しませんから、(X) == 1も評価されます。
従って、if文の時点で2回呼ばれます。

次にfunc(2, &counter)の戻り値は4固定ですね。

if ((((4) == 0 || (4) == 1) ? 1 : 0) == 0)
if (((0 || 0) ? 1 : 0) == 0)
if (((0) ? 1 : 0) == 0)
if ((0) == 0)
if (1)

となるため、if文は成立します。従って、func関数は計3回呼ばれます。

Comments

[退会済みユーザー]

ご回答ありがとうございます。
良く理解できました！