如何将C++模板类成员函数定义单独编译并指定实例化版本

问题背景 #

需要将模板类的成员函数定义放在独立的.cpp文件中与使用代码分开编译，但按普通类的编译方式会出现链接错误。已知需要用到tensor<1>至tensor<5>的实例，且不想将函数定义放入头文件。

相关代码文件 #

头文件 tensor.hpp

#pragma once

#include<cstdint>

template <uint64_t SIZE>
class tensor
{
private:
    // 简化示例，无数据成员
public:
    tensor();
};

使用代码 main.cpp

#include "tensor.hpp"

int main(int argc, char* argv[])
{
    tensor<2> g; // 调用SIZE=2的tensor构造函数
    return 0;
}

成员函数定义文件 tensor.cpp

#include "tensor.hpp"

template <uint64_t SIZE>
tensor<SIZE>::tensor()
{
    // 空构造函数示例
}

编译命令与错误 #

执行以下编译步骤：

g++ -c main.cpp -o main.o -std=c++17
g++ -c tensor.cpp -o tensor.o -std=c++17
g++ main.o tensor.o -o program -std=c++17

出现链接错误：

/usr/bin/ld: main.o: in function `main':
main.cpp:(.text+0x26): undefined reference to `tensor<2ul>::tensor()'

原因是编译tensor.cpp时，编译器无法预知需要生成SIZE=2的模板实例，导致链接阶段找不到对应函数定义。

解决方案 #

在tensor.cpp文件的末尾，显式实例化所有需要用到的模板参数版本：

// 在tensor.cpp最后添加显式实例化代码
template class tensor<1>;
template class tensor<2>;
template class tensor<3>;
template class tensor<4>;
template class tensor<5>;

这样编译tensor.cpp时，编译器会主动生成这5个参数对应的模板类及成员函数实例，链接阶段就能匹配到main.cpp中调用的定义，解决错误。

额外说明 #

• 若仅需实例化特定成员函数而非整个类，可单独指定：template tensor<2>::tensor();，但全量实例化类更适合当前场景。
• 该方法仅适用于明确知道所有需要的模板参数值的场景。

内容的提问来源于stack exchange，提问作者Nikolaj