C++ SFINAE : is_constructible for const char[] vs std::strin

Question

我正在尝试禁用具有非 std：：string 可构造类型的 ctor。我的第一次尝试是这样的：

#include <iostream>
struct A
{
template <typename U, typename = typename std::enable_if<std::is_constructible<std::string, U>::value>::type>
A(U&& val)
{
std::cout << "A(std::string&& val)" << std::string(std::forward<U>(val)) << std::endl;
}
template <typename U, typename = typename std::enable_if<not std::is_constructible<std::string, U>::value>::type>
A(U&& val)
{
std::cout << "A(int&& val)" << val << std::endl;
}
};
int main()
{
A a1(1);
A a2("hello");
A a3(std::string("hello"));
}

但是编译失败

A a1(1);

出现以下错误消息：

错误 C2535："A：：A(U &&)"：成员函数已定义或声明(实时示例)。

这意味着，SFINAE 的两个条件都成功了，并且使用了两个 ctor。

我继续尝试以下方法：

#include <iostream>
struct A
{
template <typename U>
A(U&& val, typename std::enable_if<std::is_constructible<std::string, U>::value>::type* = nullptr)
{
std::cout << "A(std::string&& val)" << std::string(std::forward<U>(val)) << std::endl;
}
template <typename U>
A(U&& val, typename std::enable_if<not std::is_constructible<std::string, U>::value>::type* = nullptr)
{
std::cout << "A(int&& val)" << val << std::endl;
}
};
int main()
{
A a1(1);
A a2("hello");
A a3(std::string("hello"));
}

幸运的是，它可以编译并且工作正常(实时示例)。

到目前为止，我对第二个解决方案很好，但我真的不明白为什么使用模板化参数启用/禁用 ctor 的第一种方法不起作用。

Answer 1

条件不是两个都成立，那是不可能的。你可以放心，第二种方法有效，如果两者都是正确的，就不会发生这种情况。

请务必记住，默认模板参数不是函数模板签名的一部分。如果我们稍微减少两个c'tor的签名，我们会得到这个：

template <typename U, typename>
A(U&& val)
{
}
template <typename U, typename>
A(U&& val)
{
}

而且两者是相同的。因此，发生的情况是U的模板参数扣除，并尝试进行替换以查看要选择哪个重载。即使我们无法完成其中一个重载的模板参数推导(最后一个参数在其中一个重载中总是没有解释)，但在尝试推导过程时，我们仍然会找到两个具有相同签名的模板。因此，程序变得格式不正确。

第二种方法之所以有效，是因为签名本身取决于所评估enable_if。这就是为什么两个重载中的一个将始终被静默删除，就好像它从未存在过一样。