Visual Studio C++模板类开发出现LNK2019、LNK2001链接错误求解

1. 最初LNK2019错误的根本原因 #

C++模板的特性是只有遇到实际的实例化请求时，才会生成对应类型的具体可执行代码。你将模板类的成员函数实现放在了单独的some_container.cpp文件中，编译该文件时没有遇到任何模板实例化的操作，不会生成some_container<std::vector<int>*>对应的构造、析构、insert等函数的符号。而其他编译单元继承/使用该模板实例时，找不到对应的实现符号，就会报LNK2019未解析外部符号错误。

2. 实现移入头文件后LNK2001错误的原因 #

静态成员变量在类内部的语句只是声明，不是定义，必须有单独的定义语句才能分配内存空间。你仅在类内声明了static std::unordered_set<T> some_set;，没有提供对应的定义，因此链接时找不到静态成员的地址，报LNK2001错误。

3. 可选解决方案 #

方案1：C++17及以上版本使用inline static（最优方案） #

你采用的将静态成员声明为inline static的方案，是C17标准引入的特性，允许类内直接定义静态成员变量，无需额外在类外写定义语句，代码最简洁，维护成本最低，只要你的项目支持C17及更高标准，就是最优解。

修改后的类内声明代码如下：

template<typename T> class some_container {
    private: inline static std::unordered_set<T> some_set;
    // 其余成员不变
};

方案2：低版本C++在头文件内补充静态成员定义 #

如果项目需要兼容C++11/14，不能使用inline静态成员，可以在头文件的类定义外部、命名空间内部补充静态成员的定义：

namespace name_space {
    template<typename T> class some_container {
        // 类定义不变，静态成员还是声明为static即可
    };

    // 类外补充静态成员定义
    template<typename T>
    std::unordered_set<T> some_container<T>::some_set;
}

模板的静态成员定义放在头文件中不会导致重复定义错误，编译器会自动处理多个编译单元的相同模板实例，合并为唯一的符号。

方案3：显式实例化（仅适合模板实例类型固定的场景） #

如果你确定这个模板类只会用到少数几个固定类型，也可以保留.cpp中的实现，在some_container.cpp末尾添加显式实例化语句，强制编译器生成对应类型的代码：

// 放在some_container.cpp的最后
template class name_space::some_container<std::vector<int>*>;

该方案的缺点是每次新增模板实例类型都要手动添加实例化语句，灵活性差，不适合通用模板类使用。

额外的代码错误提醒 #

你原来insert函数中的代码存在语法错误：auto pair = some_container::some_set.insert(T);中T是类型名，应该传入参数item，修改为：

auto pair = some_container::some_set.insert(item);

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