c++ - 推导类型

Question

我在阅读 Scott Meyer 的 Effective Modern C++ 时试图理解类型推导。

考虑下面的代码片段:

template<typename T>
void f(const T& param); // param is now a ref-to-const; paramType is const T&

int x = 27; // as before
const int cx = x; // as before
const int& rx = x; // as before

f(x); // T is int, param's type is const int&
f(cx); // T is int, param's type is const int&
f(rx); // T is int, param's type is const int&

他说因为 paramType 是一个引用，我们可以按照两个步骤来推断 T 的类型:

1. 忽略 expr 中的引用(如果有)(即 x、cx 和 rx)<
2. 模式匹配expr和paramType的类型

现在当 cx 是一个 const int 时:

cx -> const int

paramType -> reference to const int

因此，根据提到的逻辑，由于模式匹配(而不仅仅是 int)，T 不应该是 const int ？我知道 cx 的 constness 已经传递给了 paramType，但是他说的错了吗？他提到的这个两步程序是否不能作为经验法则遵循？你是怎么做到的？

谢谢!

Answer 1

在his book Scott 使用这种“表示法”:

template<typename T>
void f(ParamType param); // where `ParamType` depends on T

所以当param 是const int 时，让我们对ParamType 进行模式匹配。我们有:

const T & <----> const int // <----> is symbolic notation for pattern matching

因此 T 被推断为 int，因此 ParamType 为 const int&。