std::experimental::ranges::DerivedFrom

 

C++

コンパイラサポート

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

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

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

言語サポートライブラリ

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

診断ライブラリ

メモリ管理ライブラリ

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

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

コンテナライブラリ

イテレータライブラリ

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

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

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

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

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

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

実験的

Technical Specification

ファイルシステムライブラリ (filesystem TS)

ライブラリ基本 (library fundamentals TS)

ライブラリ基本TS v2 (library fundamentals TS v2)

ライブラリ基本 3 (library fundamentals TS v3)

並列化拡張 (parallelism TS)

並列化拡張 2 (parallelism TS v2)

並行処理拡張 (concurrency TS)

並行処理拡張 2 (concurrency TS v2)

コンセプト (concepts TS)

Ranges (ranges TS)

リフレクション (reflection TS)

数学特殊関数 (special functions TR)

実験的 (非TS)

パターンマッチ

線形代数

std::execution

契約プログラミング

2Dグラフィックス

 

Ranges

コンセプト

汎用ユーティリティ

イテレータ

Ranges

アルゴリズム

 

コンセプトライブラリ

中核言語のコンセプト
同じ DerivedFrom ConvertibleTo	CommonReference Common	Integral SignedIntegral UnsignedIntegral	Assignable SwappableSwappableWith
オブジェクトのコンセプト
Destructible Constructible DefaultConstructible	MoveConstructible CopyConstructible	Movable Copyable	Semiregular Regular
比較のコンセプト
Boolean	WeaklyEqualityComparableWith	EqualityComparableEqualityComparableWith	StrictTotallyOrderedStrictTotallyOrderedWith
呼び出し可能オブジェクトのコンセプト
InvocableRegularInvocable	Predicate	Relation	StrictWeakOrder
URNGコンセプト
UniformRandomNumberGenerator

 

Defined in header <experimental/ranges/concepts>
template< class T, class U > concept bool DerivedFrom =     std::is_base_of<U, T>::value &&     std::is_convertible<std::remove_cv_t<T>*, std::remove_cv_t<U>*>::value;		(ranges TS)

concept DerivedFrom<T, U> は、U が T 自身であるか、または T の公開かつ曖昧でない基底クラスである場合にのみ満たされます。

上記の記述で std::is_base_of および std::is_convertible が使用されているにもかかわらず、DerivedFrom の実装でそれらを使用する必要はありません。したがって、DerivedFrom<T, U> と std::is_base_of<U,T>::value または std::is_convertible<std::remove_cv_t<T>*, std::remove_cv_t<U>*>::value の間に包含関係が存在する必要はありません。

関連項目

is_base_of (C++11)	ある型が他の型の基底であるかをチェックする (クラステンプレート)
is_convertibleis_nothrow_convertible (C++11)(C++20)	ある型が他の型に変換可能であるかをチェックする (クラステンプレート)