C ++模板函数重载

Question

下面是“ c ++编程语言”中的代码行

template<class T > T sqrt(T );
template<class T > complex<T> sqrt(complex<T>);
double sqrt(double);
void f(complex<double> z )
{
s q r t (2 ); // sqrt<int>(int)
sqrt(2.0) ; // sqrt(double)
sqrt(z) ; // sqrt<double>(complex<double>)
}

我不明白为什么sqrt（z）; 调用sqrt<double>(complex<double>)可以解释任何主体。

作者说， T sqrt<complex<T>>比T sqrt <T>更专业，但是template<class T > complex<T> sqrt(complex<T>);有一个单独的声明template<class T > complex<T> sqrt(complex<T>); 为什么不使用它？

Answer 1

事后看来，如果Bjarne将其写为

template<class T> T sqrt(T);
template<class U> complex<U> sqrt(complex<U>);
double sqrt(double);
void f(complex<double> z )
{
    sqrt (2); // sqrt<int>(int)
    sqrt(2.0) ; // sqrt(double)
    sqrt(z) ; // sqrt<double>(complex<double>)
}

这样您就不会对所有不同的T感到困惑。 但是这个想法很简单。 C ++找到最佳匹配。 有三种可能的功能。 前两个是完美匹配（无需转换），因此将忽略非模板版本。 现在，我们有T = complex和U = double。 选择哪个版本？ Bjarne解释说这里选择了第二个模板，因为它更加专业。 这意味着对于任何类型U，都有一个类型T=complex<U>使两个模板的签名相同。

Answer 2

好吧，所使用的函数是您正在谈论的函数sqrt<double>(complex<double>)是模板template <class T> complex<T> sqrt(complex<T>)的实例。

您的误解是模板实例的含义，而不是重载过程。