std::remove_all_extents仅在编译期剥离内建数组所有维度得到元素类型，不改变内存布局或运行时行为；典型用途是模板中提取基元类型，须配合::type或_t使用，对非数组类型保持原样，对std::array/vector无效。
std::remove_all_extents 不能“去除数组维度”，它只做类型推导
它不是运行时操作，也不改变对象布局或内存结构，只是在编译期把 T[N][M][K] 这类嵌套数组类型，一步步剥掉所有维度，得到最内层元素类型 T。你无法用它“扁平化”一个已存在的数组变量，也不能靠它把 int[2][3] 变成 int[6] —— 那是内存重解释，不是类型转换。
怎么正确使用 std::remove_all_extents？
典型用途是写模板时提取数组的“基元类型”，比如实现一个泛型函数，想对任意维数数组都取其元素类型的 size_of 或构造默认值。必须配合 ::type（C++11/14）或 std::remove_all_extents_t（C++17 起）来获取结果类型：
static_assert(std::is_same_v<std::remove_all_extents_t<int[2][3]>, int>); static_assert(std::is_same_v<std::remove_all_extents_t<char[][5]>, char>); static_assert(std::is_same_v<std::remove_all_extents_t<double[7]>, double>);
- 必须用
std::remove_all_extents_t（或::type），直接写std::remove_all_extents是个模板类，不是类型 - 对非数组类型（如
std::string、int*）也合法，结果就是原类型本身 - 对
std::array或std::vector无效 —— 它们不是内建数组，不参与维度剥离
常见误用：以为能用来“降维”或“展平内存”
错误现象：std::remove_all_extents<int>::type</int> 得到 int，就以为能直接把二维数组当一维用，比如传给期望 int* 的函数并指望按行优先访问 —— 这不是 std::remove_all_extents 的职责，也不保证安全。
- 它不生成指针，不提供索引逻辑，不检查边界
- 若真要展平访问，得手动计算偏移：
&arr[i][j]等价于reinterpret_cast<int>(arr) + i * N + j</int>，但前提是确认布局和对齐满足要求 -
std::remove_all_extents和reinterpret_cast没有自动关联，混用容易触发未定义行为
和 std::extent、std::rank 的配合关系
这三个是一套工具：知道维度数量（std::rank）、某维大小（std::extent_v<t n></t>）、以及最终元素类型（std::remove_all_extents）。它们共同支撑“写一个能适配任意维数 C 风格数组的模板”：
立即学习“C++免费学习笔记（深入）”；
template<typename T>
void print_array_info() {
constexpr auto r = std::rank_v<T>;
constexpr auto base = std::remove_all_extents_t<T>;
// 如果 r == 2，还可以用 extent_v<T, 0>, extent_v<T, 1>
}-
std::rank_v<int></int>是2；std::extent_v<int></int>是2；std::extent_v<int></int>是3 - 但
std::extent_v<int></int>是0（越界维），std::extent_v<int></int>也是0（指针无维度） - 这些值全在编译期确定，零开销，但仅限内建数组；
std::vector<:vector>></:vector>完全不适用
类型系统里的“剥维度”是纯粹的静态推导，和运行时数据布局无关。一旦开始想“怎么让二维数组像一维那样用”，问题就已跳出 std::remove_all_extents 的能力边界了。
