std::remove_all_extents
Материал из cppreference.com
| Определено в заголовочном файле <type_traits>
|
||
| template< class T > struct remove_all_extents; |
(начиная с C++11) | |
Если T является многомерным массивом некоторого типа X, предоставляет typedef элемент type, равный X, иначе type равно T.
Содержание |
[править] Типы-элементы
| Имя | Определение |
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 << "базовый тип: " << 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); }
Возможный вывод:
базовый тип: float базовый тип: float базовый тип: float базовый тип: float* базовый тип: int базовый тип: double базовый тип: main::X
[править] Смотрите также
| (C++11) |
проверяет, является ли тип типом массива (шаблон класса) |
| (C++11) |
получает количество измерений типа, являющегося массивом (шаблон класса) |
| (C++11) |
получает размер типа массива по указанному измерению (шаблон класса) |
| (C++11) |
удаляет одну размерность из данного типа массива (шаблон класса) |
