'is_base_of' 특성은 개인 상속이 있는 경우에도 기본 클래스 관계를 어떻게 결정합니까?

Is_Base_Of 특성 구현

is_base_of 특성은 비공개 또는 특성이 있는 경우에도 한 클래스가 다른 클래스에서 파생되었는지 확인하는 수단을 제공합니다. 보호된 상속. 구현은 함수 템플릿과 사용자 정의 변환 시퀀스의 현명한 사용에 달려 있습니다.

작동 방식

is_base_of 템플릿은 두 개의 템플릿 매개변수 B와 D를 사용합니다. 잠재적인 기본 클래스와 파생 클래스를 각각 나타냅니다. 이는 두 개의 정적 멤버 함수를 정의합니다:

• check(D*, T): 파생 클래스에 대한 포인터와 템플릿 매개 변수 T를 허용합니다.
• check(B*, int) : 기본 클래스에 대한 포인터와 정수를 허용합니다.

그런 다음 is_base_of의 정적 멤버 값은 sizeof를 사용하여 초기화됩니다. Host를 사용하여 호출 결과의 크기를 본질적으로 확인하는 비교입니다. 객체는 "예" 결과의 크기와 같습니다(예: 배열 크기 1).

Private Base Inheritance

구현은 개인용 개체를 처리할 수 있습니다. 기본 상속은 Host 클래스가 nullptr을 반환하는 무작동 연산자 B*() const를 제공하기 때문입니다. 이를 통해 B가 D의 전용 기반임에도 불구하고 컴파일러는 check(B*, int) 함수에서 B*를 D*로 대체할 수 있습니다.

상수 연산자의 중요성

const로 선언되는 연산자 B*()는 컴파일러가 암시적 객체 인수 this를 non-const 참조로 사용하는 후보 변환 함수를 선택하도록 보장하기 때문에 매우 중요합니다. 이러한 미묘한 차이를 통해 is_base_of 특성은 기본 유형으로의 변환이 허용되는지 확인하여 공개 상속과 비공개 상속을 구별할 수 있습니다.

템플릿 확인 기능

비템플릿 함수 대신 템플릿 함수 check(D*, T)를 사용합니다. check(B*, int)는 오버로드 해결 규칙을 따릅니다. 변환 함수를 검색할 때 두 함수가 동일하게 실행 가능한 경우 함수의 반환 유형에 따라 어느 것이 더 나은지 결정됩니다. 반환 유형이 yes인 템플릿을 사용하면 컴파일러가 D*에서 B*로의 사용자 정의 변환이 있는지 여부에 따라 올바른 검사 버전을 선택할 수 있습니다.

위 내용은 'is_base_of' 특성은 개인 상속이 있는 경우에도 기본 클래스 관계를 어떻게 결정합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!