std::remove_extent
Материал из cppreference.com
<tbody>
</tbody>
| Определено в заголовочном файле <type_traits>
|
||
template< class T > struct remove_extent; |
(начиная с C++11) | |
Если T является массивом из элементов некоторого типа X, предоставляет typedef элемент type, равный X, иначе type равно T. Обратите внимание, что если T является многомерным массивом, удаляется только первое измерение.
Типы-элементы
| Имя | Определение |
type
|
тип элементов в T
|
Вспомогательные типы
<tbody> </tbody> template< class T > using remove_extent_t = typename remove_extent<T>::type; |
(начиная с C++14) | |
Возможная реализация
template<class T>
struct remove_extent { using type = T; };
template<class T>
struct remove_extent<T[]> { using type = T; };
template<class T, std::size_t N>
struct remove_extent<T[N]> { using type = T; };
|
Пример
Запустить этот код
#include <algorithm>
#include <iostream>
#include <iterator>
#include <type_traits>
template<class A>
std::enable_if_t<std::rank_v<A> == 1>
print_1d(const A& a)
{
std::copy(a, a + std::extent_v<A>,
std::ostream_iterator<std::remove_extent_t<A>>(std::cout, " "));
std::cout << '\n';
}
int main()
{
int a[][3] = {{1,2,3}, {4,5,6}};
// print_1d(a); // ошибка времени компиляции
print_1d(a[1]);
}
Вывод:
4 5 6
Смотрите также
(C++11) |
проверяет, является ли тип типом массива (шаблон класса) |
(C++11) |
получает количество измерений типа, являющегося массивом (шаблон класса) |
(C++11) |
получает размер типа массива по указанному измерению (шаблон класса) |
(C++11) |
удаляет все измерения из данного типа массива (шаблон класса) |