CRTP を使用したこの C `is_base_of` 実装はどのように機能しますか?

is_base_of トレイトのこの実装はどのように機能しますか?

提供されたコードのスニペットは C で is_base_of トレイトを実装し、あるクラスが別のクラスから継承しているかどうかをチェックします。これは、「Curiously Recurring Template Pattern」 (CRTP) と呼ばれる手法を使用します。

仕組み

Host は、派生クラスをラップし、その演算子 B* にアクセスする方法を提供するテンプレート クラスです。関数。 B が D の基底クラスかどうかを確認する場合は、is_base_of::value を呼び出します。

1. チェック関数は 2 つの関数をオーバーロードします:

   • 静的はいチェック(D*, T)
   • 静的いいえチェック(B*, int)
2. ホストユーザー定義の変換シーケンスにより、D* と B* の両方に変換できます。
3. B が D の基数の場合、最初のチェック関数が Host で呼び出されます。 D* と任意の T に変換されます。変換が成功した場合 (つまり、D が B から継承している場合)、チェック関数は Yes を返します。
4. B が D の基数でない場合、2 番目のチェック関数が呼び出されます。ホストとB* に変換され、int の値が指定されます。 B* への変換が成功した場合 (つまり、B と D に関連性がない場合)、チェック関数は「いいえ」を返します。チェック関数が「それ以外の場合は、yes、false。
5. 演算子 B* の const キーワードの重要性

演算子 B* は const でなければなりません。そうしないと、どのチェック関数を呼び出すかを選択するときにあいまいになってしまいます。 const キーワードを使用すると、コンパイラは B* const& を受け取るチェック関数を使用することを認識します。

最初のチェック関数の方が優れているのはなぜですか?

最初のチェック関数の方が優れているのは、ユーザーを使用するためです。 D* から B* に変換する - 定義された変換シーケンス。これは、B* から int に変換するユーザー定義の変換シーケンスを使用する 2 番目のチェック関数よりも具体的です。

以上がCRTP を使用したこの C `is_base_of` 実装はどのように機能しますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。