std::remove_extent只剥离最外层数组维度，对int3返回int[4]而非int；需手写递归元函数remove_all_extents配合std::is_array_v和std::remove_extent_t实现全维度剥离。
std::remove_extent 去不掉多维数组的第二维？
std::remove_extent 只剥离最外层的数组维度，对 int[3][4] 返回 int[4]，不是 int。它不递归，也不接受模板参数控制层数 —— 这是它的设计限制，不是你用错了。
- 常见错误现象：写
std::remove_extent_t<int></int>后发现类型还是int[4]，误以为模板没生效 - 使用场景：想从
T[N][M][K]一路剥到T，比如做类型擦除或泛型容器推导 - 参数差异：它只接收一个类型参数，没有重载、没有计数器、不支持偏特化控制深度
怎么递归剥掉所有数组维度？自己写元函数
标准库没提供递归版本，得手写。核心思路是用 std::remove_extent 剥一层，再检查结果是否仍是数组类型 —— 如果是，继续递归；否则停止。
- 判断是否为数组：用
std::is_array_v，别用std::is_array<T>::value（C++17 起推荐 _v 后缀） - 递归终止条件：当
std::is_array_v<T>为false时，直接返回T - 性能影响：纯编译期计算，无运行时开销；但过深嵌套（如 >128 维）可能触发编译器模板递归限制
template <typename T>
struct remove_all_extents {
using type = std::conditional_t<
std::is_array_v<T>,
typename remove_all_extents<std::remove_extent_t<T>>::type,
T
>;
};
template <typename T>
using remove_all_extents_t = typename remove_all_extents<T>::type;
std::remove_extent 和 std::decay 的区别别搞混
std::decay 看起来也“剥类型”，但它干的是另一件事：模拟函数传参时的类型退化（如数组转指针、引用去引用、const/volatile 修饰符移除），不是为了提取元素类型。
- 对
int[3]：std::remove_extent_t→int（错！实际是int仅当一维；二维才是int[4]）；std::decay_t<int[3]>→int* - 对
const int[5]：std::remove_extent_t→const int；std::decay_t→const int* - 兼容性影响：所有标准库版本都支持
std::remove_extent（C++11 起），但std::decay在 C++11 中就完整可用，别指望它替代递归剥维
实际用时容易漏掉 cv 限定符和引用
如果原始类型是 const int(&)[3][4]，直接套 remove_all_extents_t 会失败 —— 因为引用和 cv 限定符会让 std::is_array_v 返回 false。
立即学习“C++免费学习笔记（深入）”；
- 必须先去掉引用：
std::remove_reference_t - 再去掉 cv：
std::remove_cv_t - 顺序很重要：先去引用，再去 cv，再判数组；反过来或漏一步，
std::is_array_v就认不出 - 可封装成健壮版：
remove_all_extents_t<std::remove_cv_t<std::remove_reference_t<T>>>
std::remove_extent 都依赖上一层的结果是否仍为数组类型 —— 编译器不会帮你猜意图，也不会自动展开。写错一层，整个推导就断在中间。 
