如何显式实例化无参函数模板？C++ variant编译错误排查

你定义的ArgValue_t类型为std::variant<bool, double, int, std::string>，仅支持int这一种整型，你尝试显式实例化的int8_t、uint8_t、int16_t、uint16_t、uint32_t都不在variant的可选类型列表中。
std::get<T>(variant)的要求是T必须在variant的模板参数列表中恰好出现一次，你的通用模板实现里直接调用了get<T>(valu)和get<T>(def.valu)，当T不是variant支持的类型时，就会触发编译器的静态断言报错。

这里提供两种常见的修复思路，可根据业务需求选择：

方案1：仅保留variant存储int，通用模板先取值再做类型转换 #

不需要修改ArgValue_t的定义，只需要修改整型通用模板的实现，先从variant中取出原生的int值，再转换为目标整型，还可以补充溢出判断逻辑避免安全问题：

#include <type_traits>
#include <limits>
#include <algorithm>

template<typename T>
T Argument_t::as(const Argument_t& def) const {
    // 先限制T必须为整型，避免非整型走这个模板
    static_assert(std::is_integral_v<T>, "Only integral types can use this generic template");
    if (static_cast<Type_e>(valu.index()) != Int) {
        return static_cast<T>(std::get<int>(def.valu));
    }
    int raw_val = std::get<int>(valu);
    // 溢出判断，超出目标类型范围时返回默认值
    if (raw_val < std::numeric_limits<T>::min() || raw_val > std::numeric_limits<T>::max()) {
        return static_cast<T>(std::get<int>(def.valu));
    }
    T cast_val = static_cast<T>(raw_val);
    T def_min = static_cast<T>(std::get<int>(def.minv));
    T def_max = static_cast<T>(std::get<int>(def.maxv));
    return std::min<T>(def_max, std::max<T>(def_min, cast_val));
}

修改完成后你原来的6个整型显式实例化就可以正常编译了。

方案2：扩展variant支持的整型类型 #

如果业务确实需要存储不同宽度的整型，可以把所有需要用到的整型都加到ArgValue_t的定义中，同时修改Type_e枚举对应新增的类型，还要调整各个模板实现里的类型判断逻辑，这种方案改动量更大，适合对存储空间或类型精度有强要求的场景。

额外优化建议 #

你最开始遇到的链接错误本质是模板实现放在了.cpp文件中，编译器在调用点无法看到模板实现无法自动实例化导致的。如果模板不需要对外隐藏实现，也可以直接把所有as模板的实现放到头文件中，就不需要手动写显式实例化声明了。

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