ホームページ > バックエンド開発 > C++ > C で多重継承を伴うオーバーロードされた関数のあいまいさを解決するにはどうすればよいですか?

C で多重継承を伴うオーバーロードされた関数のあいまいさを解決するにはどうすればよいですか?

Susan Sarandon
リリース: 2024-12-10 06:06:14
オリジナル
475 人が閲覧しました

How to Resolve Ambiguity in Overloaded Functions with Multiple Inheritance in C  ?

多重継承を伴うオーバーロード関数のあいまいさ

オブジェクト指向プログラミングでは、多重継承により派生クラスが複数の基本クラスから継承できるようになります。ただし、これにより、名前は同じだがシグネチャが異なる複数の継承関数によってコンパイル中にあいまいさが生じる可能性があります。

次のコード スニペットを考えてみましょう。

struct Base1{
    void foo(int){
    }
};

struct Base2{
    void foo(float){
    }
};

struct Derived : public Base1, public Base2{
};

int main(){
    Derived d;
    d.foo(5);
}
ログイン後にコピー

ここでは、派生クラスは、異なるパラメータ型を持つ Base1 と Base2 の両方から foo() 関数を継承します。 d.foo(5) への呼び出しが main 関数で行われると、コンパイラはどの関数を呼び出すかを決定できず、「foo への曖昧な呼び出し」というエラーが発生します。

メンバー検索ルールの仕組みあいまいさを判断する

このあいまいさの背後にある理由を理解するには、C で定義されているメンバー検索ルールを確認する必要があります。 標準。コンパイラは関数の定義を検索するとき、まずクラスとその基本クラス内の関数のすべての宣言を考慮します。ただし、同じ名前で異なるクラスからの宣言が複数ある場合は、非表示の宣言や異なるサブオブジェクトからの宣言が削除されます。

複数の継承関数の場合、残りの宣言が同じ型に属していないか、異なるサブオブジェクトの非静的メンバーが含まれている場合、検索の結果はあいまいになります。これは、指定されたコード スニペットで直面する状況です。

あいまいさの解決

この状況でのあいまいさを解決するには、いくつかの方法があります。

  • 完全修飾された呼び出しを使用する: への呼び出しを完全に修飾します。 d.Base1::foo(5) や d.Base2::foo(5) などのクラス名を持つ foo() 関数は、呼び出される関数を明示的に指定します。
  • を使用します。 using 宣言: using 宣言を使用すると、使用する関数を明示的に宣言できます。たとえば、派生クラスでは次のようにすることができます。このステートメントは foo() 関数を Base1 から Derived クラスにインポートし、それを整数パラメーターを使用した呼び出しのデフォルト関数にします。
  • 関数を再定義します: 明確な設定がある場合継承された関数の 1 つについては、必要なシグネチャを使用して派生クラスで再定義できます。これは、潜在的な混乱や不一致を引き起こす可能性があるため、可能であれば避けてください。

指定されたコード スニペットでは、派生クラスのスコープ内に foo() 関数が 1 つだけあるため、2 番目の例は機能します。 。 d.foo(5) の呼び出しは、実際には void foo(float) 関数を呼び出します。

結論

異なるシグネチャを持つ複数の継承関数により、コンパイル中にあいまいさが生じる可能性があります。メンバー検索ルールを理解し、完全修飾呼び出しや宣言の使用などの手法を使用すると、これらのあいまいさを解決し、関数を適切に呼び出すことができます。

以上がC で多重継承を伴うオーバーロードされた関数のあいまいさを解決するにはどうすればよいですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。

ソース:php.cn
このウェブサイトの声明
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。
著者別の最新記事
人気のチュートリアル
詳細>
最新のダウンロード
詳細>
ウェブエフェクト
公式サイト
サイト素材
フロントエンドテンプレート