【C++】テンプレート関数が複数回定義されていても多重定義にならない？

Question

前提

C++を勉強中なのですが、腑に落ちない挙動があり質問させていただきました。

質問内容

例えばheader.hに以下のようなテンプレート関数を定義したとします。

• header.h

#include <iostream>

template <typename T>
void foo(T a) {
    std::cout << a << "\n";
}

これをsource1.cppでインクルードしたとします。

• source1.cpp

#include "header.h"

void foo1() {
	foo<int>(1);
}

ここでさらに別のソースファイル、source2.cppでもインクルードします。

• source2.cpp

#include "header.h"

void foo2() {
	foo<int>(2);
}

この3つのファイルでビルドすることを考えます。私の予想ではheader.hが複数回読み込まれることで、関数fooが多重定義されリンクエラーになるのではないかと思っていたのですが、実際はビルドが通ってしまいます。動作も正常なようです。

なぜこのようなことになるのか、原因がわかる方がいらっしゃいましたらお教えいただけないでしょうか。

Answer 1

function/class template が実体化したときのシンボルが重複した場合、ひとつにまとめられるよう作られています

Comments

[shukrin]

ご回答ありがとうございます。

「作られている」というのは、関数をinline化した時と同じようにテンプレート関数・クラスを使用した時もコンパイラが適当に調整してくれるということでしょうか？

[episteme]

じゃないと困りますからね。

[shukrin]

しつこくて申し訳ないのですが、もう1点だけ確認したいことがあります。テンプレートクラスのstaticメンバをヘッダで定義しても多重定義にはならずビルドが通ります。これも同じ理屈ということでよろしいでしょうか？

[episteme]

ですね。