오버로드된 함수를 사용한 다중 상속이 C에서 모호성을 초래하는 이유는 무엇입니까?

다양한 유형의 다중 상속을 사용한 함수 오버로딩

객체 지향 프로그래밍에서 다중 상속을 사용하면 하위 클래스가 여러 클래스의 메서드와 속성을 상속할 수 있습니다. 학부모 수업. 그러나 여러 상위 클래스가 이름은 같지만 시그니처(오버로드된 함수)가 다른 메서드를 정의하는 경우 함수 호출 중에 모호성이 발생할 수 있습니다. 이 글에서는 다중 상속의 경우 이름이 같고 시그니처가 다른 오버로드된 함수가 그렇게 처리되지 않는 이유를 설명하고 가능한 해결 방법을 모색합니다.

문제 설명

고려하세요. 다음 코드 조각:

#include <iostream>

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

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

struct Derived : public Base1, public Base2 {
};

int main() {
    Derived d;
    d.foo(5); // Ambiguous call to 'foo'
}</iostream>

이 예에서 Derived 클래스는 오버로드된 두 클래스를 상속합니다. foo()는 상위 클래스인 Base1 및 Base2의 함수입니다. 그러나 d.foo(5)를 호출하려고 하면 컴파일러가 어떤 foo() 함수를 호출할지 결정할 수 없기 때문에 모호한 호출 오류가 발생합니다. 이는 두 함수의 이름은 같지만 인수 유형이 다르기 때문입니다.

상속의 함수 오버로딩 이해

함수 오버로딩을 사용하면 클래스가 동일한 이름을 가진 여러 메서드를 가질 수 있습니다. 하지만 매개변수는 다릅니다. 오버로드된 각 함수는 인수의 수, 유형 및 순서에 따라 구별됩니다. 단일 상속의 맥락에서 함수 오버로드는 예상대로 작동합니다. 컴파일러는 함수 호출에 사용된 인수 유형을 기반으로 적절한 함수를 선택합니다.

다중 상속 및 모호성

그러나 다중 상속의 경우 함수 조회 규칙이 더욱 복잡해집니다. C 클래스에서 함수 이름을 조회하면 컴파일러는 C 및 해당 기본 클래스에서 해당 함수의 모든 선언을 고려합니다. 동일한 함수의 여러 선언이 발견되면 파생 클래스의 다른 선언에 의해 숨겨진 모든 선언이 제거됩니다.

나머지 선언이 모두 동일한 유형의 하위 클래스에서 나온 것이 아니거나 집합에 다음이 포함된 경우 비정적 멤버와 별개의 하위 클래스 멤버를 사용하면 모호성이 발생하고 프로그램이 잘못된 형식으로 간주됩니다. 이는 d.foo(5)가 Base1::foo(int) 및 Base2::foo(float)를 모두 호출하여 모호성을 초래하는 이전 예제의 상황과 정확히 같습니다.

모호성 해결

모호성을 해결하고 코드를 유효하게 만들기 위한 한 가지 해결책은 using 선언을 사용하는 것입니다. using 선언은 다른 클래스의 이름과 연결된 현재 클래스의 범위에 이름을 도입합니다. 위의 예에서는 다음을 사용할 수 있습니다.

struct Derived : public Base1, public Base2 {
    using Base1::foo;
    using Base2::foo;
};

using 선언을 명시적으로 사용하여 각 기본 클래스에서 사용할 foo() 버전을 지정합니다. 이렇게 하면 모호성이 해결되고 코드가 성공적으로 컴파일될 수 있습니다.

폴백 동작

foo(float) 함수가 Derived 클래스 범위 내에 정의되어 있기 때문에 원래 질문의 두 번째 코드 조각이 오류 없이 컴파일된다는 점에 주목할 가치가 있습니다. 따라서 d.foo(5)가 호출되면 모호함 없이 Derived::foo(float)로 해석됩니다.

위 내용은 오버로드된 함수를 사용한 다중 상속이 C에서 모호성을 초래하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!