[C++] Szablony funkcji w dwóch plikach.

Question

Witam!

Mam funkcję np.

template<typename T> T foo(T a, T b){
 return a*b-(a+b);
}

I teraz nasuwa się pytanie jak to mogę rozbić na dwa pliki? Próbowałem już tak:

.h:

template<typename T> T foo(T, T);

.cpp:

template<typename T> T foo(T a, T b){
  return a*b-(a+b);
}

Ale kompilator rzuca mi exeptionem. Jak takie coś zrealizować?

Z góry dziekuję!

Answer 1

template służy do generowania "rodziny" klas/funkcji etc. W celu wygenerowania kodu kompilator musi mieć dostęp do definicji. Kompilator kompilując jeden plik .cpp nie pamięta "szczegółów" drugiego pliku .cpp (nosi to nazwę separate compilation model) w którym jest zawarta definicja przez co dostajesz błąd od linkera.

Można to "obejść" w następujący sposób:

// 1.inl

template<typename T>
T foo(T lhs, T rhs) {
    return lhs + rhs;
}

// 1.hpp

#ifndef _FOO_HPP
#define _FOO_HPP

template<typename T>
T foo(T lhs, T rhs);

#include "1.inl"
#endif

// main.cpp

#include "1.hpp"

int main(void) {
    foo<short>(1, 1);
}

Można jeszcze powiedzieć, że c++11 wprowadził słowo kluczowe export, które ma na celu umożliwiać rozdzielanie wzorców na więcej niż jeden plik aczkolwiek nie jest to implementowane przez większość kompilatorów. Osobiście nie znam żadnego kompilatora, który by to implementował.

Comments

Czy zapis 1.inl jest równoznaczny z 1.cpp ?

---

Można zamiast inl podstawić dowolne inne rozszerzenie wliczając w to cpp.

---

Dzięki. Tego potrzebowałem

Answer 2

Rozbicie funkcji i klas szablonowych nie jest "oficjalnie" możliwe. Zarówno deklaracja, jak i definicja tych elementów programu musi znajdować się w jednym pliku, po to aby kompilator, przy konstruowaniu nowych obiektów miał dostęp do ich implementacji, żeby mógł podmienić typu generyczne (szablonowe), na konkretne typy danej instancji.

Jest jednak obejście, które umożliwia rozdzielenie deklaracji i definicji do dwóch osobnych plików. Wystarczy w pliku nagłówkowym (.h) zadeklarować funkcję, w drugim pliku z implementacja (np. .tpp) napisać do niej implementację i dołączyć plik .tpp za pomocą dyrektywy #include na koniec pliku nagłówkowego.

Tutaj masz przykład: http://stackoverflow.com/questions/495021/why-can-templates-only-be-implemented-in-the-header-file