過去の質問『既存ソースに手を入れずに同一ソース内の関数をスタブにしてユニットテストを実施する方法』の処理の動きについて

Question

過去の解決済みの質問がありまして、こちらと同様のことを行いたいのですが、
解決策の処理の動きが読み取れません。

既存ソースに手を入れずに同一ソース内の関数をスタブにしてユニットテストを実施する方法
https://teratail.com/questions/37783

上記質問の、最終的な解決案「スタブ関数をテスト関数の引数渡しにする方法」のサンプルコードを動作させてみると、
確かにスタブ対象関数が、スタブ関数に置き換えができているのですが、処理の動きが理解できません。
下記に上記質問のコードを引用させて頂きますが、具体的には、

• test_stubcall(func1_stub, func2_stub);を呼んで、なぜtest()が呼ばれるのか。
  (defineの書き方が逆に見えるが、逆にするとコンパイルエラーが発生する。)
• void関数のtest()になぜ、stub関数を渡せて、更に、stub関数に置き換えることまで実現できているのか

という2点がわかりません。宜しければご教授頂けると幸いです。

既存ソース側

// test.c
#include <stdio.h>

void func1(void);
void func2(void);

static void test(void)
{
    func1();
    func2();
}

void func1(void)
{
    printf("func1()\n");
}
void func2(void)
{
    printf("func2()\n");
}

テストコード側

typedef void (*func_t)(void);
#define test(a) test_stubcall(func_t func1, func_t func2)

#include "test.c"

void func1_stub(void)
{
    printf("func1_stub\n");
}

void func2_stub(void)
{
    printf("func2_stub\n");
}

int main()
{
    test_stubcall(func1_stub, func2_stub);
    return 0;
}

実行結果

func1_stub
func2_stub

Answer 1

#include "test.c"

の位置でtest.cの内容がテストコード側に読み込まれますが、それよりも手前に

#define test(a) test_stubcall(func_t func1, func_t func2)

がある。
すなわち、test.cの中にあった

static void test(void)

は

static void test_stubcall(func_t func1, func_t func2)

に置き換えられる。

そして、関数定義の仮引数がfunc1とfunc2になっているので、test.cの中にあった

    func1();
    func2();

は、テストコード側の関数呼び出しで渡されたパラメータに従って、それぞれ

    func1_stub();
    func2_stub();

と同等になる。

ということだと思います。

Comments

[matamatane]

define定義でテスト対象関数を引数なしから引数ありに書き換えていたのですね。
お二方ともありがとうございました。とても分かりやすかったです。

Answer 2

#define test(a) test_stubcall(func_t func1, func_t func2)によりマクロが定義されます。

これは単純な換字マクロです
その効果によって

static void test(void)

が

static void test_stubcall(func_t func1, func_t func2)

と書き換えられます