C++ 函数模板重载：Stroustrup示例理解
我已经浏览了一些与此标题相同的帖子，但找不到任何有助于我解决此问题的内容C++ 函数模板重载：Stroustrup示例理解,c++,C++,我已经浏览了一些与此标题相同的帖子，但找不到任何有助于我解决此问题的内容 下面是一个扫描的例子，从“C++编程语言”，第二版，B Stroustrup，第133.2页（第336页）。 我不理解第三个sqrt（z）重载解析。我原以为解决方案是sqrt（complex） Obv功能double sqrt（double）不符合要求。但我也认为templatetsqrt（T）不能解析为sqrt（complex），因为在我看来这似乎意味着T有两种不同的分辨率，我认为它不能T在其“范围”中必须是同一事物
下面是一个扫描的例子，从“C++编程语言”，第二版，B Stroustrup，第133.2页（第336页）。
我不理解第三个sqrt（z）sqrt（complex）double sqrt（double）templatetsqrt（T）sqrt（complex）TT我有什么误解，你能指出吗？：）谢谢 第二个是一个符合要求的特殊化。参数为T，即中的类型
complex<T>
复杂
sqrt<double>
sqrt
请记住，编译器选择最特殊的模板函数。在本例中，正如您所发现的，有两种可能的方法将签名与模板匹配。可以匹配第一个模板
模板tsqrt（T）Tcomplexcomplex sqrt（complex）模板复合体sqrt（complex）Tdouble复杂Ttemplate<class T> T sqrt(T);
template<class U> complex<U> sqrt(complex<U>);
模板tsqrt（T）；
模板复合物sqrt（复合物）；
这样，更容易看出两个函数模板中的模板参数是不相关的。您可以通过对
TUcomplexTcomplexT