名前空間
変種
操作

std::remove_extent

From cppreference.com
< cpp‎ | types
 
 
メタプログラミングライブラリ
型特性
型のカテゴリ
(C++11)
(C++11)(DR*)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11) 
(C++11)
(C++11)
型のプロパティ
(C++11)
(C++11)
(C++14)
(C++11)(C++26で非推奨)
(C++11)(C++20まで*)
(C++11)(C++20で非推奨)
(C++11)
型特性定数
メタ関数
(C++17)
サポートされている操作
関係とプロパティクエリ
型の変更
(C++11)(C++11)(C++11)
remove_extent
(C++11)

型の変換
(C++11)(C++23で非推奨)
(C++11)(C++23で非推奨)
(C++11)
(C++11)(C++20まで*)(C++17)

(C++11)
(C++17)
コンパイル時有理数演算
コンパイル時整数シーケンス
 
ヘッダ <type_traits> で定義
template< class T >
struct remove_extent;
(C++11以降)

T がある型 X の配列である場合、メンバー型 typeX と等しく提供します。そうでない場合、typeT です。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

[編集] 関連項目

(C++11)
型が配列型であるかをチェックする
(クラステンプレート) [編集]
(C++11)
配列型の次元数を取得する
(クラステンプレート) [編集]
(C++11)
指定された次元に沿った配列型のサイズを取得する
(クラステンプレート) [編集]
与えられた配列型からすべての次元を削除する
(クラステンプレート) [編集]
English 日本語 中文(简体) 中文(繁體)