可变参数模板构造函数传入const char*触发LNK2019链接错误的原因是什么？

问题原因 #

核心根因：模板实现未对调用点可见 #

C++的函数模板（包括类的模板构造函数）在被调用时，编译器需要看到完整的实现代码才能完成实例化。你将可变参数模板构造函数的实现放在了独立的MyCustomException.cpp文件中，main.cpp编译时只能看到头文件里的声明，看不到实现，无法生成对应参数版本的构造函数实例，最终链接时报未解析外部符号。

为什么传入字符串字面量可以正常运行 #

字符串字面量和const char*变量会推导出完全不同的模板参数：

• 字符串字面量的原生类型是const char[N]（N为字符串长度+1），传入万能引用Args&&时，会推导出类型为const char (&)[N]
• const char*变量传入时，推导的模板参数是const char*

你传入字符串字面量没有报错，大概率是MyCustomException.cpp内部存在过用字符串字面量调用该构造函数的代码，编译器编译MyCustomException.cpp时可以看到模板实现，就直接实例化出了对应Args为const char (&)[N]的构造函数版本，链接时可以找到该实例；而const char*对应的模板实例从未在MyCustomException.cpp中生成过，就会触发链接错误。

解决方案 #

• 方案1（推荐）：将模板构造函数的实现从.cpp文件移动到MyCustomException.h头文件中，所有调用该构造函数的编译单元都可以看到实现，在调用点自动生成对应版本的实例。
• 方案2（仅适用于模板参数类型固定有限的场景）：在MyCustomException.cpp末尾添加对应参数类型的显式实例化声明，强制编译器生成对应版本的实例，示例如下：

// 显式实例化参数为const char*的构造函数版本
template MyCustomException::MyCustomException<char const*>(const Message& msg, const char* fileName, int line, const char*&&);

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