std::decay与std::remove_cvref的区别及C++20替代相关疑问

1. C++20后std::remove_cvref是否会取代std::decay？ #

不会。两者的设计目标完全不同：

• std::remove_cvref_t<T> 仅做一件事：移除T上的const/volatile限定符和引用修饰，不会改变类型的核心结构。
• std::decay_t<T> 则是模拟C++中值传递场景下的类型衰变，除了移除cv和引用，还会：
  • 将数组类型转换为指向其元素的指针
  • 将函数类型转换为函数指针

所以std::decay依然有其适用场景（比如需要模拟值传递的类型转换时），而std::remove_cvref只是在仅需剥离cv和引用的场景下更精准。

2. std::decay对数组的“不良影响”是什么？ #

std::decay会将数组类型直接转换为指针类型，丢失数组的维度大小信息，这在需要保留数组类型特性的场景下会导致问题。

示例1：std::decay处理数组的情况 #

#include <type_traits>
#include <iostream>

int main() {
    using ConstArray = const int[5]; // 带const的数组类型
    using Decayed = std::decay_t<ConstArray>;

    std::cout << std::boolalpha;
    // 验证decay后的类型是指针
    std::cout << "Decayed type is const int*: " 
              << std::is_same_v<Decayed, const int*> << '\n'; // 输出true
    // 数组类型已丢失
    std::cout << "Is still array type: " 
              << std::is_array_v<Decayed> << '\n'; // 输出false
}

此时Decayed类型是const int*，无法再通过类型获取数组的大小，也不能匹配针对数组的模板重载。

示例2：std::remove_cvref处理数组的情况 #

#include <type_traits>
#include <iostream>

template <size_t N>
void printArraySize(const int(&arr)[N]) {
    std::cout << "Array size: " << N << '\n';
}

int main() {
    using RefConstArray = const int(&)[5]; // 带引用和const的数组类型
    using Stripped = std::remove_cvref_t<RefConstArray>;

    std::cout << std::boolalpha;
    // 剥离后保留了原始数组类型int[5]
    std::cout << "Stripped type is int[5]: " 
              << std::is_same_v<Stripped, int[5]> << '\n'; // 输出true
    // 依然是数组类型
    std::cout << "Is array type: " 
              << std::is_array_v<Stripped> << '\n'; // 输出true

    // 可以正常使用数组大小相关的特性
    Stripped arr{1,2,3,4,5};
    printArraySize(arr); // 输出"Array size: 5"
}

std::remove_cvref_t只移除了引用和const限定，保留了数组的int[5]类型，因此可以继续使用数组的大小信息，匹配数组专属的模板函数。

总结 #

当你需要保留数组的类型结构（比如要利用其大小信息）时，std::decay的数组转指针行为就是“不良影响”；而std::remove_cvref则能精准剥离修饰符，保留数组的原始类型。两者各司其职，不存在谁完全取代谁的情况。

内容的提问来源于stack exchange，提问作者pp2 test2