std :: decay和std :: remove_reference之间的区别

Question

使用C ++进行模板元编程时，我经常遇到以下情况：

template <typename T>
S<T> make_wrapper(T&& t) { return S<T>(std::forward<T>(t)); }

我知道我应该在返回类型中使用类似std::decay东西，但是为什么std::remove_reference也不能std::remove_reference工作？ 这有什么区别？ 那么std::remove_cvref呢？

Answer 1

考虑一下

#include <type_traits>

int main()
{
    static_assert(std::is_same_v<
        std::decay_t<const int&>, 
        std::remove_reference_t<const int&>
    >); // int != const int
}

std::decay会删除任何cv- remove_reference ， remove_reference不会。 它将只去除类型的“引用”部分。

从参考 ：

将左值到右值，数组到指针和函数到指针的隐式转换应用于类型T，删除cv限定符，并将结果类型定义为成员typedef类型。

因此，与std::remove_reference相比， std::remove_reference std::decay将执行更多的类型转换。

对于更细微的应用程序，还有其他类型修饰符，它们仅执行decay可能的变换集中的选定部分，例如remove_cv ， remove_volatile或在C ++ 20中为remove_cvref 。

Answer 2

删除引用将留下const和volatile 。 如果那是您想要的，那么就足够了。

删除cvref可以完成衰减的大部分操作，但是不会将函数类型和数组类型转换为指针。

衰减以某种方式转换类型，您可以合理地将其副本存储在数组或struct ，或者将其从函数返回或传递给函数。