`is_base_of` トレイトは C の基本クラスの関係をどのように決定しますか?

is_base_of トレイトの実装を理解する

is_base_of トレイトを使用すると、ある型が別の型の基本クラスであるかどうかを判断できます。この実装では、テンプレートのメタプログラミングとユーザー定義の変換を含む複雑な手法が採用されています。

継承の認識

型 B が D の基本クラスである場合、is_base_of特性は true を返します。これは、2 つのチェック関数を定義することで実現されます。

• static yes check(D*, T): この関数は、最初の引数である D* ポインターを型パラメーター T に変換しようとします。
• static no check(B*, int): この関数は、最初の引数である B* ポインターを、 int.

ホスト で check を呼び出した結果のサイズに基づいて定数値が設定されます。実例。サイズが sizeof(yes) と同じ場合、B が D の基数であることを意味します。

const 修飾子の役割

演算子 B*( ) および Host 構造体の Operator D*() メンバー関数は const として宣言されます。これにより、ホスト からの変換が確実に行われます。 D* への変換ではなく、B* への変換が選択されます。 B がプライベートである場合、コンパイラーは D* から B* に変換できないため、この区別はプライベート継承を認識するために重要です。

テンプレート メタプログラミング

テンプレート チェック関数テンプレート static yes check(D*, T) は、コンパイラがテンプレート パラメーター T に基づいて適切な変換関数を生成できるため、static yes check(B*, int) よりも推奨されます。これがなければ、両方の check(入力タイプの各ペアの D*, B*) および check(D*, Derived*)。これは、定型コードを削減するテンプレート メタプログラミングの力を示しています。

以上が`is_base_of` トレイトは C の基本クラスの関係をどのように決定しますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。