编译期间将模板化函数报告为“未定义引用”

Question

这些是我的文件：

--------[ c.hpp ]--------

#ifndef _C
#define _C

#include<iostream>
class C
{
public:
    template<class CARTYPE> void call(CARTYPE& c);
};

#endif

--------[ c.cpp ]--------

#include "c.hpp"

template<class CARTYPE> void C::call(CARTYPE& c)
{
    //make use of c somewhere here
    std::cout<<"Car"<<std::endl;
}

--------[ v.cpp ]--------

class Merc
{};

--------[ main.cpp ]--------

#include "c.hpp"
#include "v.cpp"
//#include "c.cpp"

int main()
{
    Merc m; 
    C someCar;
    someCar.call(m);

}//main

我可以为上述所有文件生成“.o”文件，使用命令 g++ -c main.cpp 和 g++ -c c.cpp 等等。 但是当我尝试使用 g++ -o car c.o main.o v.o 链接“.o”文件时 我收到此错误：

main.o: In function `main':
main.cpp:(.text+0x17): undefined reference to `void C::call<Merc>(Merc&)'
collect2: ld returned 1 exit status

当我取消注释 main.cpp 中的 #include "c.cpp" 行时，错误消失了，但我觉得以这种方式包含 cpp 文件可能是不好的做法。我做错了吗？在创建单独的目标文件并链接它们时，是否有更好的方法来满足模板化声明？ p.s：我在更复杂的类结构中使用模板化函数。此处显示的只是一个小示例，目的是向您展示我所面临的错误类型。

Answer 1

我相信这是因为当你编译c.cpp时，编译器不知道它需要为C::call<Merc>(Merc&)生成代码，而当你编译main.cpp时它没有C::call<T>(T&)的定义从中实例化C::call<Merc>(Merc&)。

模板定义本质上是语义宏，与预处理器的#define 词法宏非常相似，它们必须在使用它们的编译单元中可见。

Answer 2

解决这个问题的方法是

一个。从 c.cpp 中删除 '#include "c.hpp"' 并且

b.在 'c.hpp' 的末尾包含 'c.cpp' （奇怪的声音 '#include "c.pp"'）

这样，模板定义可用于包含“c.hpp”的每个翻译单元，而无需在每个 .cpp 文件中明确这样做。这称为'inclusion model'

Answer 3

本质上，在当前 C++ 中，您不能在单独的文件中拥有相关的模板声明和定义。您应该在一个文件中完整定义 C 类。