클래스 계층 구조에서 같음 연산자를 안전하게 오버로드하는 방법은 무엇입니까?

클래스 계층 구조에 대한 연산자 오버로딩: 포괄적인 접근 방식

객체 지향 프로그래밍 영역에서는 관련 클래스의 객체가 동일한지 비교하는 것이 종종 바람직합니다. 그러나 클래스 계층 구조를 다룰 때 등호 연산자 오버로드에 대한 올바른 접근 방식을 결정하는 것은 어려울 수 있습니다.

다음 클래스 계층 구조를 고려하세요.

class A
{
    int foo;
    virtual ~A() = 0;
};

A::~A() {}

class B : public A
{
    int bar;
};

class C : public A
{
    int baz;
};

클래스 계층 구조를 오버로드하는 방법에는 여러 가지가 있습니다. 이러한 계층 구조에 대한 항등 연산자입니다.

자유 함수

자유 함수로서 == 연산자를 오버로드하면 형변환 없이 개체를 직접 비교할 수 있습니다. 그러나 이 접근 방식은 파생 클래스(B 및 C)에 대한 기본 클래스(A)의 동일성 검사를 활용하는 것을 방지합니다.

가상 멤버 함수

가상 멤버 함수 접근 방식을 사용하면 파생 클래스가 다음을 수행할 수 있습니다. 동등성 검사를 무시합니다. 그러나 이를 위해서는 장황하게 느껴질 수 있는 다양한 유형의 객체 비교를 피하기 위해 동적 캐스팅이 필요합니다.

선호되는 접근 방식은 Scott Meyer의 "Effective C"에 설명된 원칙을 따르는 것입니다.

Abstract Base 클래스

구체적인 기본 클래스 선언을 피하고 완전한 구현이 없으면 추상적으로 만듭니다.

Protected Non-Virtual Member Function

비리프 클래스에서는 protected를 제공합니다. 동등성 검사를 위한 비가상 도우미 함수(예: isEqual()).

공용 비가상 멤버 함수

리프 클래스에서 도우미를 활용하는 공용 비가상 동등 연산자 오버로드를 정의합니다.

bool operator==(const B& lhs, const B& rhs)
{
    return lhs.isEqual(rhs) && lhs.bar == rhs.bar;
}

이 접근 방식은 우발적인 폴백을 방지하고 다양한 유형의 객체를 비교할 때 유형 안전성을 보장합니다.

계층 간 동등성 검사의 경우 순수 가상 함수 사용을 고려하세요. 파생 클래스에서 재정의된 기본 클래스에서.

bool B::pubIsEqual(const A& rhs) const
{
    const B* b = dynamic_cast<const B*>(&rhs);
    return b != NULL && *this == *b;
}

이러한 원칙을 준수하면 복잡한 클래스 계층 구조에 대해 강력하고 형식이 안전한 항등 연산자 오버로드를 달성할 수 있습니다.

위 내용은 클래스 계층 구조에서 같음 연산자를 안전하게 오버로드하는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!