C++ Primer（第 5 版）：“16.3 重载和模板”的所有“更专业”示例都是错误的吗？

C++ Primer（第 5 版）第 16.3 节 - 重载和模板 - 教授在存在候选函数模板实例化的情况下的函数匹配过程。

以下是本节中使用的函数模板的声明：

using std::string;
template <class T> string debug_rep(const T &); /* 1 */
template <class T> string debug_rep(T *);       /* 2 */
// definitions not relevant for the questions

第一个例子

string s("SO");
debug_rep(&s);

据说生成的实例将是：

1. debug_rep(const string *&) (with T势必string *)
2. debug_rep(string *)

Q1#1 正确吗？它不应该实例化吗debug_rep(string* const &)反而？

第二个例子

const string *sp = &s;
debug_rep(sp); //string literal type is const char[10]

据说生成的实例将是：

1. debug_rep(const string *&) (with T势必const string *)
2. debug_rep(const string *)

因此，两个实例化的候选者将提供精确的匹配，在更专业的模板上进行选择（->#2）

Q2.1#1 正确吗？它不应该实例化吗debug_rep(const string* const &)?

Q2.2假设实例化的函数是上面的函数，我们是否可以断言它不再是完全匹配的？

第三个例子

debug_rep("SO world!"); //string literal type is const char[10]

据说生成的实例将是：

1. debug_rep(const T &) (with T势必char[10])
2. debug_rep(const string *)

因此，两个实例化的候选者将提供精确的匹配，在更专业的模板上进行选择（->#2）

Q3.1推导出的类型是T#1 正确吗？不应该是吗const char[10]反而 ？

Q3.2假设推导出的类型为T实际上就是上面那个，我们可以断言它不再是完全匹配的吗？

您将获得以下声明：

using std::string;
template <class T> string debug_rep(const T &); /* 1 */
template <class T> string debug_rep(T *);       /* 2 */

在调用中

string s("SO");
debug_rep(&s);

the &s产生一个string*，只能匹配T const&(1) 当T is string*。为了T*在 (2) 中，有一个匹配T势必string。所以，只要你的引用是正确的，这本书就是错误的

debug_rep(const string *&)

是一个可能的实例化：不存在这样的实例化。

实例化的结果是T = string*相反会是

debug_rep( string* const& )

但是哪个实例化会被调用呢？

作为一般规则，最简单的匹配是更好的，但我从来没有记住确切的规则，所以，我问 Visual C++（因为它typeid(T).name()默认情况下生成可读的类型名称）：

#include <iostream>
#include <string>
#include <typeinfo>
using namespace std;

template< class T >
struct Type {};

template <class T> auto debug_rep( T const& )   // 1
    -> string
{ return string() + "1 --> T = " + typeid(Type<T>).name(); }

template <class T> auto debug_rep( T* )         // 2
    -> string
{ return string() + "2 --> T = " + typeid(Type<T>).name(); }

auto main() -> int
{
    string s( "SO" );
    cout << debug_rep( &s ) << endl;
    cout << "The type 'int const' is shown as " << typeid(Type<int const>).name() << endl;
}

它说：

2 --> T = struct Type<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > >
The type 'int const' is shown as struct Type<int const >
  

对于你的第二个和第三个例子，依此类推：显然作者有些混淆const.