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/w/cpp/types/remove_extent