如何利用std::enable_if实现匹配数值类型的类构造函数？

你的代码里编译器找不到构造函数的核心原因是：模板参数T处于非推导上下文（non-deduced context），编译器无法从你传入的数值参数反向推导出T的类型，因此这个模板构造函数不会被纳入候选匹配列表。

具体来说，typename std::enable_if<std::is_arithmetic<T>::value, T>::type这个写法中，T只出现在enable_if的嵌套类型定义里，根据C++模板推导规则，这种情况下编译器无法完成类型推导，自然找不到对应的构造函数。

下面给你几种可行的修改方案：

方案1：将enable_if移到模板参数列表（C++11及以上） #

把enable_if作为模板参数的默认值，这样T可以从第二个函数参数正常推导，同时通过SFINAE机制过滤非算术类型：

#include <type_traits>
#include <string>

class A {
public:
    A(const std::wstring&, const std::wstring&) {}
    
    // 把enable_if作为模板参数的默认值，T可正常推导
    template<typename T, typename = std::enable_if_t<std::is_arithmetic_v<T>>>
    A(const std::wstring& n, T v) {}
};

方案2：使用C++20 Concepts（更简洁） #

如果你的项目支持C++20，用标准库的std::arithmetic概念可以更直观地约束类型，代码可读性更强：

#include <type_traits>
#include <string>
#include <concepts>

class A {
public:
    A(const std::wstring&, const std::wstring&) {}
    
    // 直接用concept约束T必须是算术类型
    template<std::arithmetic T>
    A(const std::wstring& n, T v) {}
};

测试示例 #

你可以在main函数里这样验证：

int main() {
    A a1(L"key", L"string_value"); // 匹配双wstring构造函数
    A a2(L"age", 30);              // 匹配模板构造函数（int是算术类型）
    A a3(L"weight", 65.5);         // 匹配模板构造函数（double是算术类型）
    
    // 下面这行代码会编译报错（符合预期，因为std::string不是算术类型）
    // A a4(L"invalid", std::string("error"));
}

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