다중 상속이 포함된 오버로드된 함수

C에서 함수 오버로드를 사용하면 동일한 이름을 가진 여러 함수를 단일 범위 내에서 정의할 수 있습니다. 그들은 다른 매개변수 목록을 가지고 있습니다. 그러나 이 동작은 이름은 동일하지만 시그니처가 다른 다중 상속 함수로 확장되지 않습니다. 이는 다음과 같은 질문을 제기합니다. 왜 그러한 함수가 오버로드된 것으로 처리되지 않습니까?

C 표준의 섹션 10.2/2에 따르면 멤버 조회 규칙에 따르면 이름 조회 중에 숨겨진 선언이 고려 대상에서 제거됩니다. 여러 기본 클래스가 이름은 같지만 매개 변수가 다른 함수를 정의하는 경우 이러한 함수는 서로 숨겨질 수 있습니다. 따라서 결과 선언 집합이 동일한 유형의 하위 개체에 속하지 않거나 비정적 멤버와 다른 하위 개체의 멤버를 포함하는 경우 모호성이 발생하고 프로그램이 잘못된 형식으로 간주됩니다.

예:

class A {
public:
  int f(int);
};

class B {
public:
   int f();
};

class C : public A, public B {};

이 경우 f는 두 개의 서로 다른 기본 클래스(A와 B)에 정의되어 있으므로 모호합니다. 따라서 C 클래스에서 f에 대한 다음 호출은 올바르지 않습니다.

int main() {
  C c;
  c.f();  // ambiguous
}

이 모호성을 해결하려면 using 선언을 사용하여 f 함수를 구현하는 기본 클래스를 지정할 수 있습니다. 예:

class C : public A, public B {
     using A::f;
     using B::f;
};

이 수정을 통해 c.f()는 이제 클래스 A에서 명시적으로 f를 호출하여 모호성을 해결합니다.

반대로, 제공한 두 번째 코드 예제는 foo(float)가 정의되었기 때문에 작동합니다. Derived 클래스의 범위 내에 있으며 여러 기본 클래스에서 상속되지 않습니다. 따라서 d.foo(5)는 모호함 없이 foo(float) 함수를 직접 호출합니다.