겹치지 않는 유형 집합을 사용하여 다중 상속에서 클래스 멤버를 명확하게 하는 방법은 무엇입니까?

겹치지 않는 유형 집합을 사용하여 다중 상속에서 클래스 멤버 명확화

겹치지 않는 집합을 사용하여 여러 기본에서 상속할 때 문제가 발생합니다. 유형의. 멤버 함수를 호출할 때 컴파일러는 사용할 특정 기본 클래스를 식별할 것으로 예상하지만 이러한 경우 모호성에 직면하게 됩니다.

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 중국어 웹사이트의 기타 관련 기사를 참조하세요!