命名空间
变体
操作

std::remove_all_extents

来自 cppreference.com
< cpp‎ | types
 
 
元编程库
类型特征
类型类别
(C++11)
(C++14)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
类型属性
(C++11)
(C++11)
(C++14)
(C++11)
(C++11)(直到 C++20*)
(C++11)(C++20 中弃用)
(C++11)
类型特征常量
元函数
(C++17)
支持的操作
关系和属性查询
类型修改
(C++11)(C++11)(C++11)
remove_all_extents
(C++11)

类型转换
(C++11)(C++23 中弃用)
(C++11)(C++23 中弃用)
(C++11)
(C++11)
(C++17)

(C++11)(直到 C++20*)(C++17)
编译时有理数运算
编译时整数序列
 
定义在头文件 <type_traits>
template< class T >
struct remove_all_extents;
(自 C++11 起)

如果 T 是某种类型 X 的多维数组,则提供成员类型定义 type 等于 X,否则 typeT

如果程序为 std::remove_all_extents 添加了特化,则行为未定义。

内容

[编辑] 成员类型

名称 定义
type T 的元素类型

[编辑] 辅助类型

template< class T >
using remove_all_extents_t = typename remove_all_extents<T>::type;
(自 C++14 起)

[编辑] 可能的实现

template<class T>
struct remove_all_extents { typedef T type; };
 
template<class T>
struct remove_all_extents<T[]> {
    typedef typename remove_all_extents<T>::type type;
};
 
template<class T, std::size_t N>
struct remove_all_extents<T[N]> {
    typedef typename remove_all_extents<T>::type type;
};

[编辑] 示例

#include <iostream>
#include <type_traits>
#include <typeinfo>
 
template<class A>
void info(const A&)
{
    typedef typename std::remove_all_extents<A>::type Type;
    std::cout << "underlying type: " << typeid(Type).name() << '\n';
}
 
int main()
{
    float a0;
    float a1[1][2][3];
    float a2[1][1][1][1][2];
    float* a3;
    int a4[3][2];
    double a5[2][3];
    struct X { int m; } x0[3][3];
 
    info(a0);
    info(a1);
    info(a2);
    info(a3);
    info(a4);
    info(a5);
    info(x0);
}

可能的输出

underlying type: float
underlying type: float
underlying type: float
underlying type: float*
underlying type: int
underlying type: double
underlying type: main::X

[编辑] 另请参阅

(C++11)
检查类型是否为数组类型
(类模板) [编辑]
(C++11)
获取数组类型的维度数
(类模板) [编辑]
(C++11)
获取数组类型沿指定维度的尺寸
(类模板) [编辑]
从给定的数组类型中移除一个维度
(类模板) [编辑]