Jak wiadomo, szablon to tylko deklaracja funkcji / klasy. Konkretyzacja szablonu dla konkretnego typu następuje w momencie jawnego wywołania odpowiedniej funkcji / tworzenia obiektu klasy, lub w przypadku jawnego zażądania konkretyzacji. Teraz zastanówmy się nad taką sytuacją: mamy plik szablon.hpp, szablon.cpp i main.cpp. W szablon.hpp mamy deklarację jakiejś funkcji szablonowej przyjmującej jeden typ, w szablon.cpp definicję, a w main.cpp wywołanie z typem int. Plik szablon.cpp załącza szablon.hpp, main.cpp robi to samo (czyli też załącza szablon.hpp). Co się stanie w trakcie kompilacji? Kompilator w trakcie kompilowania maina stwierdzi, że nigdzie nie ma definicji funkcji dla typu int - ma rację, bo w pliku hpp jest tylko deklaracja. Ale nie robi problemu, bo przecież ta definicja może być gdzie indziej - w bibliotekach, w plikach obj itp. Gdy do roboty bierze się linker, to niestety ciągle nigdzie nie ma instancji szablonu dla inta, więc dostajemy błąd. Jak to rozwiązać? szablon.hpp mógłby załączać plik szablon.cpp, co nazywamy modelem włączania. Moglibyśmy w main.cpp dokonać konkretyzacji jawnej. Moglibyśmy też przenieść definicję szablonu do pliku hpp i tak najczęściej się robi. Wtedy w trakcie kompilacji maina kompilator rozwinie szablon i wszystko działa.
Z szablonami zdarzają się też inne cuda - przykładowo jeżeli jakiś szablon oznaczymy jako export, to wtedy kompilator stwierdza, że linker ma się nim zająć, a linker uważa, że to robota kompilatora - mamy sytuację, której nie da się rozwiązać
Oczywiście to co mówię może być już nieaktualne, bo mamy C++11, a w tej wersji kwestia szablonów miała być mocno uporządkowana, jednak póki co nie ma kompilatorów wspierających nowy standard, więc jest to tylko gdybanie.
