C++ SFINAE问题：const char[]与std::string的is_constructible判断及构造函数禁用

我来帮你搞定这个SFINAE的问题——你遇到的核心坑其实是模板参数推导时数组类型的特殊处理，咱们一步步来拆解。

首先先补全你没写完的初始代码，方便分析：

#include <iostream>
#include <string>
#include <type_traits>

struct A {
    // 你想保留的：能构造std::string的类型才启用这个构造函数
    template <typename U, typename = typename std::enable_if<std::is_constructible<std::string, U>::value>::type>
    A(U&& val) {
        std::cout << "A(std::string-compatible val): " << std::string(std::forward<U>(val)) << std::endl;
    }

    // 你可能想写的：禁用不能构造std::string的类型
    template <typename U, typename = typename std::enable_if<!std::is_constructible<std::string, U>::value>::type>
    A(U&&) = delete;
};

为什么const char[]会出问题？ #

当你传入A("hello")时，模板参数U会被推导为**const char(&)[6]**（数组的左值引用）。而std::string并没有接受数组引用的构造函数，只有接受const char*的版本，所以std::is_constructible<std::string, const char(&)[6]>::value会返回false——这就导致你期望能正常工作的字符串字面量反而触发了SFINAE，构造函数被禁用，编译报错。

两种可行的解决方案 #

方案1：用std::decay_t处理类型衰减 #

我们可以先把推导出来的类型做衰减处理（数组转指针、引用转原始类型、去除cv限定符），再判断是否能构造std::string：

#include <iostream>
#include <string>
#include <type_traits>

struct A {
    template <typename U, typename = typename std::enable_if<
        std::is_constructible<std::string, std::decay_t<U>>::value
    >::type>
    A(U&& val) {
        std::cout << "A(std::string-compatible val): " << std::string(std::forward<U>(val)) << std::endl;
    }

    // 禁用不符合要求的类型
    template <typename U, typename = typename std::enable_if<
        !std::is_constructible<std::string, std::decay_t<U>>::value
    >::type>
    A(U&&) = delete;
};

这里std::decay_t<const char(&)[6]>会变成const char*，而std::is_constructible<std::string, const char*>显然是true，所以字符串字面量就能正常匹配构造函数了。

方案2：用std::is_convertible判断隐式转换 #

如果你希望支持所有能隐式转换成std::string的类型（包括数组转指针再构造的情况），直接用std::is_convertible会更简洁：

struct A {
    template <typename U, typename = typename std::enable_if<std::is_convertible<U, std::string>::value>::type>
    A(U&& val) {
        std::cout << "A(std::string-compatible val): " << std::string(std::forward<U>(val)) << std::endl;
    }

    template <typename U, typename = typename std::enable_if<!std::is_convertible<U, std::string>::value>::type>
    A(U&&) = delete;
};

std::is_convertible<U, std::string>会考虑隐式转换链，对于数组引用类型，它会识别到可以先转成const char*再构造std::string，所以返回true，完美解决你的问题。

测试验证 #

用下面的代码测试两种方案，符合预期：

int main() {
    A a1("hello");          // 正常编译，输出对应内容
    A a2(std::string("world")); // 正常编译
    A a3("hello"s);         // 正常编译
    // A a4(123);           // 编译错误：int无法构造std::string，构造函数被delete
    // A a5(nullptr);       // 编译错误：nullptr_t无法构造std::string
    return 0;
}

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