型の重複しないセットを使用した複数の継承におけるクラス メンバーの曖昧さの解消
重複しないセットを使用して複数の基本から継承する場合に問題が発生します種類の。メンバー関数を呼び出すとき、コンパイラは使用する特定の基本クラスを識別することを期待しますが、そのような場合にはあいまいさが発生します。
Contains テンプレートは可変個引数パック内に型が存在するかどうかを判断しますが、マージ ルールは派生クラスの宣言セットが空の場合のクラス メンバーの検索では、あいまいさが生じる可能性があります。どちらの基底クラスも派生クラスの宣言セットにメンバーを持たないため、マージ プロセスでは各基底からのルックアップ セットがマージされ、あいまいな呼び出しが発生します。
考えられる解決策
明示的な using 宣言: 各基本クラスのメンバー関数に明示的な using 宣言を追加することで、派生クラスはそれらのメンバーを効果的に定義し、その宣言セットを空にせず、曖昧なマージ ルールをバイパスします。
<code class="cpp">struct Derived : public Base<int, char>, public Base<double, void> { using Base<int, char>::foo; using Base<double, void>::foo; };</code>
Base Collector: テンプレート メタプログラミング手法を使用して、すべての基本クラスのメンバーを収集し、派生クラス内で使用して宣言する BaseCollector クラスを実装します。 。このアプローチは、明示的な using 宣言を必要としない一般的なソリューションを提供します。
<code class="cpp">struct Derived : BaseCollector<Base2<int>, Base2<std::string>> { };</code>
宣言を使用した可変個引数パック拡張 (C 17): 可変個引数パック拡張の使用により、 BaseCollector の実装を簡素化し、より短く効率的にします。
<code class="cpp">template <typename... Bases> struct BaseCollector : Bases... { using Bases::foo...; };</code>
これらの手法を採用することで、型のセットが重複しない複数の継承シナリオでクラス メンバーの呼び出しを明確にし、明確かつ曖昧さをなくすことができます。コードの実行。
以上が重複しない型のセットを使用した多重継承のクラス メンバーの曖昧さを解消するにはどうすればよいですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。