c++ - 隐式类型转换编译失败，这是为什么？

Question

我写了一段小代码:

#include<type_traits>

using namespace std;

template<typename T>
struct M{
    /*explicit*/ M(const T*) {}
};

template<typename T>
M<T> f(const M<T>&) {return M<T>();}

int main() {
    M<char> s1 = f<char>("Hello"); // OK
    M<char> s2 = f("Hello"); // error
    M<char> s3 = f(decay<char*>("Hello")); // error
    return 0;
}

嗯第一个s1成功编译，尽管如果我更改 M::M要显式，它也会失败。但是s2和 s3无法编译，即使我使用 decay<char*>在 s3 .

---

区别在于我是否为 f 指定了模板初始化参数类型或不。为什么s2和 s3编译失败，C++标准有什么原则吗？

如果我将 main 函数改成这样:

int main()
{
    M<char> s1=f<char>("Hello");//OK
    const char* p="hello";
    M<char> s2=f(p);//error
    M<char> s3=f(decay<const char*>("Hello"));//error
    return 0;
}

还是失败了。

为什么？

Answer 1

因为 template type argument deduction不考虑隐式转换。

Type deduction does not consider implicit conversions (other than type adjustments listed above): that's the job for overload resolution, which happens later.

对于第二种情况，编译器无法匹配M<T>与 const char [6] ，函数模板在重载决议之前被忽略。

第三个案例失败，因为"Hello" (即 const char [6] )无法转换为 decay<char *> .你可能是说 typename decay<char*>::type , 但由于与第二种情况相同的原因，它仍然无法编译。