std::remove_extent

Определено в заголовочном файле `<type_traits>`
template< class T > struct remove_extent;		(начиная с C++11)

Если T является массивом некоторого типа X, предоставляет псевдоним типа-члена type, равный X, в противном случае type — это T. Обратите внимание: если T является многомерным массивом, удаляется только первое измерение.

Если программа добавляет специализации для std::remove_extent, поведение не определено.

Типы-члены

Имя	Определение
`type`	тип элемента `T`

Вспомогательные типы

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); // compile-time error
    print_1d(a[1]);
}

Вывод:

4 5 6

См. также

is_array (C++11)	проверяет, является ли тип типом массива (шаблон класса)
rank (C++11)	получает количество измерений типа массива (шаблон класса)
extent (C++11)	получает размер типа массива вдоль указанного измерения (шаблон класса)
remove_all_extents (C++11)	удаляет все измерения из заданного типа массива (шаблон класса)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/types/remove_extent