std:: remove_extent

T が何らかの型 X の配列である場合、 type を X と等しいメンバ型定義として提供します。それ以外の場合、 type は T となります。Tが多次元配列の場合、最初の次元のみが除去されることに注意してください。

プログラムが std::remove_extent に対する特殊化を追加する場合、動作は未定義です。

メンバー型

ヘルパー型

実装例

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

関連項目