中規模または大規模で複雑なプロジェクトでは、テンプレートの宣言と定義を分離すると、コンパイル時間を短縮するのに役立ちます。
ただし、複雑なコードでは、プログラマーの小さなミスが気付かない動作の変化につながる可能性があります。たとえば、特殊化の代わりに汎用バージョンが呼び出されます。
例: 宣言の欠落により、テンプレートの特殊化が非表示になりました。
///////////////////// file A.hpp /////////////////////
#include <iostream>
template <typename T>
class A
{
public:
void foo()
{
std::cerr << " calling generic foo " << std::endl ;
}
};
// forgetting following declaration leads to an unintended program behaviour
template <> void A< int >::foo();
///////////////////// file A-foo-int.cpp /////////////////////
#include "A.hpp"
template <>
void A< int >::foo()
{
std::cerr << "calling <int> version of foo" << std::endl;
}
///////////////////// file main.cpp /////////////////////
#include "A.hpp"
int main(int argc , char** argv)
{
A<int>* a = new A<int>();
a->foo();
return 0;
}
///////////////////// Makefile /////////////////////
CC = g++
CPPFLAGS += -Wall -O3
CXXFLAGS += --std=gnu++0x
all: nonrobust-template-setup
nonrobust-template-setup: main.o A-foo-int.o
$(CC) $(CPPFLAGS) main.o A-foo-int.o -o nonrobust-template-setup
clean:
rm -rf *.o nonrobust-template-setup
//////////////////////////////////////////
質問: より堅牢なセットアップ (コンパイラーおよびプラットフォームに依存しない) は可能ですか。
そうでない場合、目的の関数バージョンが呼び出されたことをテストする良い方法は何ですか?