相关疑难解决方法(0)

为什么接下来的两个模板声明不明确(所以两者都不比另一个更专业)？我知道这个问题已经在Stack Overflow上多次提出,但通常,人们会回答如何解决歧义,而不是为什么会发生这种情况.

一世. template <class T> void func(char* buf, T size) {}

II. template <std::size_t N> void func(char (&buf)[N], std::size_t size) {}

尝试传递C++ 14标准的步骤来解决部分函数模板排序(14.5.6.2):

要生成转换模板,对于每种类型,非类型或模板模板参数(包括其模板参数包(14.5.3))分别合成唯一类型,值或类模板,并将其替换为该参数的每次出现在模板的函数类型中.

转换函数我模板的函数类型是:void func(char*, U1),其中U1是一些独特的合成类型.

转换函数II模板的函数类型是:void func(char (&buf)[N1], std::size_t),其中N1是一些独特的合成值.

使用转换后的函数模板的函数类型,对14.8.2.4中描述的其他模板执行类型推导.

因此,让我们尝试在一侧执行类型推导(使用第一个模板作为参数,第二个模板作为参数模板),在另一侧.

情况1.

参数模板:template <std::size_t N> void func(char (&buf)[N], std::size_t size).转换参数模板:void func(char*, U1).

试图推断出模板参数." char (&buf)[N]"不能从" char*"类型中推断出来.U1也与std::size_t类型不匹配.失败.

案例2.

参数模板:template <class T> void func(char* buf, T size).转换参数模板:void func(char (&buf)[N1], std::size_t) …