VC++2017编译C++14代码遇未解析外部符号问题求助

你遇到的这个链接错误，是VC2017对C14模板变量支持的兼容性bug导致的。虽然C++14标准允许类（或普通类）中定义模板化的static constexpr成员，但旧版本的MSVC在处理这类变量的实例化时，没有完全在编译期解析它，反而错误地将其当作需要外部链接的符号，最终导致链接阶段找不到定义。

解决方案1：用模板结构体嵌套枚举（你编辑后的写法） #

这种写法是C11及更早版本就支持的编译期常量实现方式，完全避开了VC的模板变量bug。枚举常量在编译时会被直接当作字面量处理，不会产生需要链接的符号：

#include <type_traits>
#include <limits>

struct Templ {
    template<typename T>
    struct inner {
        // 枚举常量是天然的编译期常量
        enum { value = (std::numeric_limits<T>::min() == 0) };
    };
};

// 直接使用inner模板的value常量作为判断条件
using type = std::conditional_t<Templ::inner<unsigned>::value, bool, double>;

int main() {
    return 0;
}

解决方案2：改用模板constexpr成员函数 #

如果你更倾向于接近原代码的函数式写法，也可以把模板变量改成constexpr成员函数，调用时编译器会在编译期求值，同样不会产生链接问题：

#include <type_traits>
#include <limits>

struct Templ {
    template <typename T>
    static constexpr bool value() {
        return std::numeric_limits<T>::min() == 0;
    }
};

// 调用模板函数，编译期得到布尔值
using type = std::conditional_t<Templ::value<unsigned>(), bool, double>;

int main() {
    return 0;
}

为什么原代码会出错？ #

原代码中的template <typename T> static constexpr int value是C14引入的模板变量特性，但VC2017对这个特性的实现不够完善。当你引用Templ::value<unsigned>时，编译器没有正确地将其当作编译期常量处理，反而试图生成一个需要链接的静态变量实例，而代码中又没有显式实例化这个模板变量，最终导致链接错误。

如果一定要坚持用模板变量写法（不推荐在VC++2017中这么做），你需要显式实例化对应的模板变量：

// 在原代码末尾添加显式实例化
template constexpr int Templ::value<unsigned>;

但这种写法需要为每个用到的类型都添加显式实例化，非常繁琐，所以还是推荐前面两种更通用的方案。

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