Namespaces
Variants

std:: remove_all_extents

From cppreference.net
C++
Metaprogramming library
Type traits
Type categories
(C++11)
(C++11) ( DR* )
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Type properties
(C++11)
(C++11)
(C++11)
(C++11)
(C++14)
(C++11)
(C++17)
(C++23)
(C++11) (deprecated in C++26)
(C++11)
(C++11)
(C++11) ( until C++20* )
(C++11) (deprecated in C++20)
(C++11)
(C++11)
(C++20)
(C++20)
(C++23)
(C++17)
Type trait constants
(C++11) (C++17) (C++11) (C++11)
Metafunctions
(C++17)
(C++17)
(C++17)
Supported operations
Relationships and property queries
Type modifications
(C++11)
(C++11) (C++11)
(C++11)
(C++11)
(C++11)
remove_all_extents
(C++11)

Type transformations
(C++11) (deprecated in C++23)
(C++11) (deprecated in C++23)
(C++11)
(C++20)
(C++11) ( until C++20* ) (C++17)

Compile-time rational arithmetic
Compile-time integer sequences
(C++14)
Определено в заголовочном файле <type_traits>
template < class T >
struct remove_all_extents ;
(начиная с C++11)

Если T является многомерным массивом некоторого типа X , предоставляет определение типа-члена type , равное X , в противном случае type равен T .

Если программа добавляет специализации для 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;
};
**Примечание:** Весь код C++ внутри тегов ` 
` и `` оставлен без изменений, как и требовалось в инструкциях. HTML-теги и атрибуты также сохранены в оригинальном виде.

Пример

Запустить этот код 
#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)
получает размер типа массива по указанному измерению
(шаблон класса)
(C++11)
удаляет одно измерение из заданного типа массива
(шаблон класса)