std::type_index

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

ユーティリティライブラリ

言語サポート 型のサポート (基本型、RTTI) ライブラリ機能検査マクロ (C++20) プログラムユーティリティ 可変引数関数 initializer_list (C++11) is_constant_evaluated (C++20) is_within_lifetime (C++26) source_location (C++20) コルーチンサポート (C++20) 契約サポート (C++26) 三方比較 three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

汎用ユーティリティ 関数オブジェクト ビット操作 (C++20) bitset hash (C++11) 関係演算子 (C++20で非推奨) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= 整数比較関数 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) スワップと型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) 共通語彙型 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

型サポート

基本的な型
固定幅整数型 (C++11)
固定幅浮動小数点数型 (C++23)
ptrdiff_t size_t max_align_t (C++11)     byte (C++17)	nullptr_t (C++11) offsetof NULL
数値の限界
numeric_limits
Cの数値の限界に関するインターフェース
実行時型情報
type_info type_index (C++11)	bad_typeid bad_cast

 

std::type_index

メンバ関数

type_index::type_index

type_index::operator=type_index::operator!=type_index::operator<type_index::operator<=type_index::operator>type_index::operator>=type_index::operator<=> (C++20まで)(C++20以降)

type_index::hash_code

type_index::name

ヘルパークラス

hash<std::type_index> (C++11)

 

ヘッダ <typeindex> で定義
class type_index;		(C++11以降)

type_index クラスは、連想コンテナや順序なし連想コンテナのインデックスとして使用できる、std::type_info オブジェクトのラッパー クラスです。type_info オブジェクトとの関係はポインタを介して維持されるため、type_index は CopyConstructible および CopyAssignable です。

メンバ関数

(コンストラクタ)	オブジェクトを構築する (public member function)
(デストラクタ) (暗黙的に宣言)	type_index オブジェクトを破棄します (public member function)
operator= (暗黙的に宣言)	type_index オブジェクトを代入します (public member function)
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20で削除)(C++20)	基になる std::type_info オブジェクトを比較します (public member function)
hash_code	ハッシュコードを返します (public member function)
name	基になる type_info オブジェクトに関連付けられた、型の実装定義名を返します。 基になる type_info オブジェクトに関連付けられた、型の実装定義名を返します。 (public member function)

ヘルパークラス

std::hash<std::type_index> (C++11)

std::type_index のハッシュサポート (クラステンプレートの特殊化)

例

次のプログラムは、効率的な型-値マッピングの例です。

このコードを実行

#include <iostream>
#include <memory>
#include <string>
#include <typeindex>
#include <typeinfo>
#include <unordered_map>
 
struct A
{
    virtual ~A() {}
};
 
struct B : A {};
struct C : A {};
 
int main()
{
    std::unordered_map<std::type_index, std::string> type_names;
 
    type_names[std::type_index(typeid(int))] = "int";
    type_names[std::type_index(typeid(double))] = "double";
    type_names[std::type_index(typeid(A))] = "A";
    type_names[std::type_index(typeid(B))] = "B";
    type_names[std::type_index(typeid(C))] = "C";
 
    int i;
    double d;
    A a;
 
    // note that we're storing pointer to type A
    std::unique_ptr<A> b(new B);
    std::unique_ptr<A> c(new C);
 
    std::cout << "i is " << type_names[std::type_index(typeid(i))] << '\n';
    std::cout << "d is " << type_names[std::type_index(typeid(d))] << '\n';
    std::cout << "a is " << type_names[std::type_index(typeid(a))] << '\n';
    std::cout << "*b is " << type_names[std::type_index(typeid(*b))] << '\n';
    std::cout << "*c is " << type_names[std::type_index(typeid(*c))] << '\n';
}

出力

i is int
d is double
a is A
*b is B
*c is C

関連項目

type_info

ある型の情報を保持し、typeid演算子によって返されるクラス (クラス)