名前空間
変種
操作

std::is_pointer_interconvertible_base_of

From cppreference.com
< cpp‎ | types
 
C++
コンパイラサポート
フリースタンディングとホスト
言語
標準ライブラリ
標準ライブラリヘッダー
名前付き要件
機能テストマクロ (C++20)
言語サポートライブラリ
コンセプトライブラリ (C++20)
診断ライブラリ
メモリ管理ライブラリ
メタプログラミングライブラリ (C++11)
汎用ユーティリティライブラリ
コンテナライブラリ
イテレータライブラリ
Rangesライブラリ (C++20)
アルゴリズムライブラリ
文字列ライブラリ
テキスト処理ライブラリ
数値ライブラリ
日付と時刻ライブラリ
入出力ライブラリ
ファイルシステムライブラリ (C++17)
並行サポートライブラリ (C++11)
実行制御ライブラリ (C++26)
Technical specifications (技術仕様)
シンボルインデックス
外部ライブラリ
 
メタプログラミングライブラリ
型特性
型のカテゴリ
(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++11)
(C++11)  
(C++11)
(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++17)
(C++23)
(C++11)(C++26で非推奨)
(C++11)
(C++11)
(C++11)(C++20まで*)
(C++11)(C++20で非推奨)
(C++11)
(C++11)
(C++20)
(C++20)
(C++23)
(C++17)
型特性定数
(C++11)(C++17)(C++11)(C++11)
メタ関数
(C++17)
(C++17)
(C++17)
サポートされている操作
関係とプロパティクエリ
型の変更
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)
(C++11)
型の変換
(C++11)(C++23で非推奨)
(C++11)(C++23で非推奨)
(C++11)
(C++20)
(C++11)(C++20まで*)(C++17)

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

もしDerivedがBaseから曖昧さなく派生しており、かつすべてのDerivedオブジェクトがそのBaseサブオブジェクトとポインタ相互変換可能である場合、または両方が同じ非共用体クラスである場合（いずれの場合もcv修飾は無視）、メンバ定数valueはtrueに等しくなります。それ以外の場合、valueはfalseになります。

もしBaseとDerivedの両方が非共用体クラス型であり、それらが同じ型でない場合（cv修飾は無視）、Derivedは完全型でなければなりません。そうでなければ、動作は未定義です。

プログラムがstd::is_pointer_interconvertible_base_ofまたはstd::is_pointer_interconvertible_base_of_vの特殊化を追加する場合、動作は未定義です。

目次

[編集] ヘルパー変数テンプレート

template< class Base, class Derived >

inline constexpr bool is_pointer_interconvertible_base_of_v =

    is_pointer_interconvertible_base_of<Base, Derived>::value;
 (C++20以降)
[編集]

std::integral_constant から継承

メンバ定数

value
[static]
 もしDerivedがBaseから曖昧さなく派生しており、かつすべてのDerivedオブジェクトがそのBaseサブオブジェクトとポインタ相互変換可能である場合、または両方が同じ非共用体クラスである場合（いずれの場合もcv修飾は無視）、true、それ以外の場合false
(公開静的メンバ定数)

メンバ関数

operator bool
 オブジェクトを bool に変換し、value を返します。
(public member function)
operator()
(C++14)
 value を返します。
(public member function)

メンバ型

型 定義
value_type bool
type std::integral_constant<bool, value>

[編集] 備考

std::is_pointer_interconvertible_base_of_v<T, U>は、TがUのprivateまたはprotectedな基底クラスである場合でもtrueになることがあります。

以下とする:

  • Uは完全なオブジェクト型、
  • TはUと同等以上のcv修飾を持つ完全なオブジェクト型、
  • uはUの任意の有効な左辺値、

std::is_pointer_interconvertible_base_of_v<T, U>がtrueの場合、reinterpret_cast<T&>(u)は常に適切に定義された結果を持ちます。

もしTとUが同じ型ではなく（cv修飾は無視）、TがUのポインタ相互変換可能な基底クラスである場合、std::is_standard_layout_v<T>とstd::is_standard_layout_v<U>の両方がtrueになります。

もしTが標準レイアウトクラス型である場合、Tのすべての基底クラス（もしあれば）はTのポインタ相互変換可能な基底クラスです。

機能テストマクロ 値 規格 機能
__cpp_lib_is_pointer_interconvertible 201907L (C++20) ポインタ相互変換可能性特性

[編集] 例

このコードを実行
#include <type_traits>
 
struct Foo {};
 
struct Bar {};
 
class Baz : Foo, public Bar { int x; };
 
class NonStdLayout : public Baz { int y; };
 
static_assert(std::is_pointer_interconvertible_base_of_v<Bar, Baz>);
static_assert(std::is_pointer_interconvertible_base_of_v<Foo, Baz>);
static_assert(not std::is_pointer_interconvertible_base_of_v<Baz, NonStdLayout>);
static_assert(std::is_pointer_interconvertible_base_of_v<NonStdLayout, NonStdLayout>);
 
int main() {}

[編集] 関連項目

(C++11)
 ある型が他の型の基底であるかをチェックする
(クラステンプレート) [編集]
(C++11)
 型が非静的データメンバを持たないクラス型（共用体ではない）であるかをチェックする
(クラステンプレート) [編集]
(C++11)
 型がスタンダードレイアウト型であるかをチェックする
(クラステンプレート) [編集]
「https://ja.cppreference.dev/mwiki/index.php?title=cpp/types/is_pointer_interconvertible_base_of&oldid=152448」より取得
English 日本語 中文(简体) 中文(繁體)