std::remove_extent_t仅剥离数组最外层维度，对int[5]得int，对int2得int[3]，对非数组类型保持原类型；不适用于指针或运行时数组。
用 std::remove_extent_t 剥离数组维度获取基类型
直接对数组类型做 decltype 得到的是带维度的完整类型（如 int[5]），要拿到元素类型（int），得去掉最外层的数组修饰。C++ 标准库提供了 std::remove_extent_t，它只移除**最外层**的数组维度，适合一维和多维数组的首层剥离。
常见错误是误用 std::decay_t 或 std::remove_all_extents_t：前者会把数组转成指针，后者会一口气剥掉所有维度（比如 int[2][3] → int），而多数场景只需要取“第一个元素的类型”，即剥一层就够了。
-
std::remove_extent_t<int></int>→int -
std::remove_extent_t<char></char>→char[20]（注意：不是char） - 对非数组类型（如
double）使用，结果仍是原类型，安全
处理多维数组时需明确“基类型”定义
“基类型”没有标准定义，取决于你实际想干什么。如果目标是获取最内层元素类型（如 int[2][3][4] 的 int），就得用 std::remove_all_extents_t；如果只是想写一个通用函数能接受任意维度数组并操作其第一维（比如计算长度），那 std::remove_extent_t 更贴切。
例如，写一个模板函数打印数组首元素：
立即学习“C++免费学习笔记（深入）”；
template <typename T>
void print_first(const T& arr) {
using elem_t = std::remove_extent_t<T>;
std::cout << static_cast<const elem_t&>(arr[0]) << '\n';
}
这段代码对 int[5]、std::string[10] 都成立，但对 int[2][3] 会把整个 int[3] 当作 elem_t 输出地址——这未必是你想要的，得看调用上下文。
运行时数组（new T[n]）无法用类型萃取
std::remove_extent_t 是编译期操作，只适用于已知维度的数组类型（如栈上数组、模板参数推导出的数组）。对 T* 指针（包括 new int[n] 返回的指针），类型信息里根本没有维度，更谈不上“基类型萃取”。此时所谓“基类型”只能靠程序员自己记住 T 是什么。
- 错误写法：
auto p = new int[10]; using bad = std::remove_extent_t<decltype(p)>;→bad是int*，不是int - 正确做法：显式声明
using elem_t = int;，或用容器（如std::vector<int>）替代裸指针
注意模板参数推导中的数组退化陷阱
函数模板参数若写成 void f(T arr)，数组会自动退化为指针，T 推导成 int* 而非 int[5]，后续用 std::remove_extent_t<T> 就失效了。必须用引用方式保留数组类型：
- 退化：
template<typename T> void f(T x); f(arr);→T是int* - 保留：
template<typename T> void f(const T& x); f(arr);→T是int[5]，可安全用std::remove_extent_t
这也是为什么标准库算法（如 std::begin）对数组重载都用引用参数——不丢维度信息。
