std::remove_reference 解释了吗？

Question

我看到std::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;};   

为什么lvalue 和rvalue reference 有专门化？通用模板本身是否足够并删除参考？我在这里很困惑，因为在T& 或T&& 专业化中，如果我尝试使用::type，我仍然应该分别得到T& 或T&&，对吗？

您能解释一下为什么我们在 move 中投射到remove_reference<t>::type&& 吗？ （是不是因为参数被命名了，所以在move函数中会被当作左值处理？）。

另外，您能否指出一种方法，让我可以找出并打印类型是什么？例如，如果它是int 类型的rvalue，那么我应该能够打印出int&& 已通过？ （我一直在使用std::is_same 手动检查。）

感谢您的宝贵时间。

Answer 1

为什么会有左值和右值引用的特化？

如果只有主模板存在，那么做：

remove_reference<int&>::type

会给你：

int&

然后做：

remove_reference<int&&>::type

会给你：

int&&

这不是你想要的。左值引用和右值引用的特化允许分别从您传递的类型参数中剥离 & 和 &&。

例如，如果你正在做：

remove_reference<int&&>

int&& 类型将匹配 T&& 特化指定的模式，T 是 int。由于特化将类型别名 type 定义为 T（在本例中为 int），因此：

remove_reference<int&&>::type

会给你int。

您能否解释一下，为什么我们在move 中转换为remove_reference<t>::type&&？

这是因为如果move() 定义如下：

    template<typename T>
    T&& move(T&& t) { ... }
//  ^^^
//  Resolves to X& if T is X& (which is the case if the input has type X
//  and is an lvalue)

如果move() 的参数是X 类型的左值，则返回类型将为X&（这就是所谓的“通用引用”）。我们要确保返回类型是 always 一个右值引用。

move() 的目的是为您返回一个右值，无论您输入什么。由于对返回类型为右值引用的函数的函数调用是一个右值，我们真的希望move() 始终返回一个右值引用。

这就是我们使用remove_reference<T>::type&& 的原因，因为将&& 附加到非引用类型总是保证产生右值引用类型。

您能否指出一种方法，让我可以找出并打印类型是什么？

我不确定您在这里所说的“打印”是什么意思。我知道没有可移植的方式将类型的名称转换为字符串（无论您如何获得该类型）。

另一方面，如果您的目标是确保传递了一个右值，则可以使用如下静态断言：

#include <type_traits>

template<typename T>
void foo(T&&)
{
    static_assert(!std::is_reference<T>::value, "Error: lvalue was passed!");
    // ...
}

这依赖于这样一个事实：当传递X 类型的左值时，T 将被推导出为X&。

如果您只想产生替换失败，也可以使用等效的 SFINAE 约束：

#include <type_traits>

template<typename T, typename std::enable_if<
    !std::is_reference<T>::value>::type* = nullptr>
void foo(T&&)
{
    // ...
}

Answer 2

当您将某些类型视为模板参数时，编译器会搜索最“专业化”的专业化。如果您将 int&& 传递给此模板，编译器将使用 remove_reference<T&&> 版本。一般专业不会给您想要的 - 如果您将 int&& 传递给一般专业，则类型将为 int&&

如果要打印类型，请使用typeid(some_type).name()