関数マクロの扱い方について

Question

#include <stdio.h>

#define gcd(n1, n2)  (n1 > n2 ? gcdf(n1, n2) : gcdf(n2, n1)) 

#define gcdf(x, y)   (y == 0 ? x : gcdf(y, x % y))  // エラーの元

/*int gcdf(int x, int y)
{
	return y == 0 ? x : gcdf(y, x % y);
}*/

int main(void)
{
	int n1, n2;
	
	puts("二つの整数を入力してください：");
	printf("整数1："); scanf("%d", &n1);
	printf("整数2："); scanf("%d", &n2);
	
	printf("最大公約数は%dです。\n", gcd(n1, n2));
	
	return 0;
}

このようなコードで実行すると、
implicit declaration of function 'gcdf' is invalid
のようなエラーが出ます。
コメントアウトした部分を元に戻して、エラーの元をコメントアウトすると正しく結果が得られます。
関数マクロの中では再帰関数のような呼び出しができないということでしょうか。

Answer 1

マクロは、文字列の置き換えなので、再帰的に呼び出せるとすると再帰を終了させることは出来ません。つまり常に無限に呼び続けることになります。

gcd(n1, n2)
↓
(n1 > n2 ? gcdf(n1, n2) : gcdf(n2, n1))
↓
(n1 > n2 ? (n2 == 0 ? n1 : gcdf(n2, n1 % n2)) : (n1 == 0 ? n2 : gcdf(n1, n2 % n1)))
↓
(n1 > n2 ? (n2 == 0 ? n1 : (n1 % n2 == 0 ? n2 : gcdf(n1 % n2, n2 % n1 % n2))) : (n1 == 0 ? n2 : (n2 % n1 == 0 ? n1 : gcdf(n2 % n1, n1 % n2 % n1))))
↓
以下無限に続く

なので、マクロの再帰呼び出しはありません。

再帰呼び出しは無いため、
#define gcdf(x, y) (y == 0 ? x : gcdf(y, x % y))
のマクロ展開結果には、gcdf()が含まれるので、gcdf()の関数定義が必要です。

Comments

[salah0615]

ありがとうございます。大変よくわかりました。