c++ - 如何选择 remove_reference 的特化

Question

remove_reference 定义如下:

template< class T > struct remove_reference      {typedef T type;};
template< class T > struct remove_reference<T&>  {typedef T type;};
template< class T > struct remove_reference<T&&> {typedef T type;};   

当对于类型 T 实例化 remove_reference 时，选择模板适当特化的算法是什么？我不认为这是模板参数推导。我发现的其他事情甚至不太相关(ADL、重载解析等)

Answer 1

我们:

1. 选择与模板参数匹配的特化。如果只有一个，你就选择那个。如果没有，则使用主要的。否则:

2. 为每个特化合成一个函数并使用函数模板偏序规则。

在这种情况下，我们永远不必进入第二步。存在三种类型的相关类型:非引用、左值引用和右值引用。所以我们可以制作一个表格:

+---------------------------+-------------+--------------+
|                           | Matches T&? | Matches T&&? |
+---------------------------+-------------+--------------+
| remove_reference<int>     | No          | No           |
| remove_reference<char&>   | Yes, T=char | No           |
| remove_reference<float&&> | No          | Yes, T=float |
+---------------------------+-------------+--------------+

请注意 remove_reference<char&> 不匹配remove_reference<T&&> . T&&这里只是对 T 的右值引用，它不是转发引用 - 转发引用只是一个函数模板参数，其类型是对模板参数的右值引用。这是一个类模板参数。即使在概念上与 T=char& , T&&将是 char&使用引用折叠规则，这不会发生。

在这三种情况中的每一种情况下，我们要么匹配零个特化 - 我们使用主模板 - 或者恰好匹配一个特化 - 在这种情况下我们使用该特定特化。