如何为使用自定义类型的std::vector创建显式模板实例化声明？

当你对std::vector<T>执行全类显式实例化时，标准库实现会实例化vector的所有成员函数。其中部分接口（比如默认初始化n个元素的resize(size_type)、vector(size_type)构造函数等）要求T类型支持默认构造，你的Test类只提供了接受int参数的构造函数，没有默认构造，因此触发编译错误。

方案1：仅显式实例化你实际用到的vector成员函数（无需修改Test类） #

你主代码中仅用到了vector的默认构造、size()方法和析构函数，这些接口都不会调用Test的构造函数，只需把another.cpp中的全类实例化替换为指定成员的实例化即可：

// another.cpp 修改后内容
#include "test_include.hpp"

template struct Test<std::string>;
template class std::allocator<Test<std::string>>;
// 不再实例化整个vector，只实例化用到的成员
template std::vector<Test<std::string>>::vector();
template std::vector<Test<std::string>>::~vector();
template std::vector<Test<std::string>>::size_type std::vector<Test<std::string>>::size() const noexcept;

后续如果你用到vector的其他接口（比如push_back、emplace_back等），只需将对应成员的实例化声明补充到列表中即可。

方案2：给Test类添加默认构造函数 #

直接修改test.hpp中的Test定义，新增默认构造即可：

// test.hpp 修改后Test定义
template<typename T>
struct Test {
    Test() = default; // 新增默认构造
    Test(int) {}
    T value;
};

也可以将现有构造函数的参数添加默认值，同时实现默认构造和int参数构造的功能：

Test(int = 0) {}

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