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

我们：

选择与模板参数匹配的特化。如果只有一个，你就选择那个。如果有 none，则使用主。其他:
为每个特化合成一个函数，并使用函数模板偏序规则。

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

+---------------------------+-------------+--------------+
|                           | 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 的右值引用，它不是转发引用 - 转发引用只是一个函数模板参数，其类型是对模板参数的右值引用。这是一个 class 模板参数。即使在概念上使用 T=char&，T&& 将是 char& 与引用折叠规则，这不会发生。

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

remove_reference 的专业化是如何选择的

How a specialization of remove_reference is selcted

c++

partial-specialization

specialization