std::remove_all_extents
Определено в заголовке <type_traits> | ||
|---|---|---|
template< class T > struct remove_all_extents; | (с C++11) |
Если T является многомерным массивом некоторого типа X, предоставляет член typedef 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;
}; |
Пример
#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) | удаляет одно измерение из заданного типа массива (шаблон класса) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/types/remove_all_extents
