C++

参考

<type_traits>

类模板
<type_traits>

std::remove_all_extents

template <class T> struct remove_all_extents;
移除所有数组维度
获取最深层数组元素的类型T(如果T是数组类型)。

转换后的类型别名为成员类型remove_all_extents::type.

如果已知T是数组类型，则此类型与最深层数组元素的类型相同。否则，成员类型与...相同T.

请注意，对于多维数组，所有维度都会被移除（有关移除数组类型的单个维度，请参阅 remove_extent）。

此类仅使用另一种类型作为模型来获取类型，但不会在这些类型之间转换值或对象。

模板参数

T
一个类型。

成员类型

成员类型定义
类型如果已知T是数组，最深层数组元素的类型是T.
否则，T

示例

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
// remove_all_extents
#include <iostream>
#include <type_traits>

int main() {
  typedef std::remove_all_extents<int>::type A;                // int
  typedef std::remove_all_extents<int[24]>::type B;            // int
  typedef std::remove_all_extents<int[24][60]>::type C;        // int
  typedef std::remove_all_extents<int[][60]>::type D;          // int
  typedef std::remove_all_extents<const int[10]>::type E;      // const int

  std::cout << std::boolalpha;
  std::cout << "typedefs of int:" << std::endl;
  std::cout << "A: " << std::is_same<int,A>::value << std::endl;
  std::cout << "B: " << std::is_same<int,B>::value << std::endl;
  std::cout << "C: " << std::is_same<int,C>::value << std::endl;
  std::cout << "D: " << std::is_same<int,D>::value << std::endl;
  std::cout << "E: " << std::is_same<int,E>::value << std::endl;

  return 0;
}

输出
typedefs of int:
A: true
B: true
C: true
D: true
E: false


另见

remove_extent
移除数组维度 （类模板）
extent
数组维度大小 （类模板）
rank
数组秩 （类模板）