C++에서 객체 동등성을위한 다형성 유형을 비교하는 관용적 접근법이 있습니까?

Question

다형성 유형의 두 인스턴스에 대한 기본 포인터가 있고 참조 된 개체가 동일한 지 결정해야합니다.

현재 나의 방식은 RTTI를 사용하여 유형 평등을 확인하는 것입니다. 유형이 동일하면 virtual is_equivalent 함수를 호출합니다.

더 관용적 인 접근 방법이 있습니까?

파생 클래스 대부분

Answer 1

는 등가 단순히 멤버 변수 C에

모두 같은 값 ++이 '평등'라고하며 보통 operator==()를 사용하여 구현되는 것을 의미한다.

MyType A; 
MyType B; 
if (A == B) { 
    // do stuff 
} 

그리고 == 전화 사용자가 정의하는 사용자 정의 기능을 가지고 : 당신이 운영자의 의미를 재정의 할 수 있습니다 ++ C에서는 작성할 수 있습니다.

동일한 개체 (즉, 동일한 주소)를 의미하는 동일성을 신원과 구분하려고한다고 생각합니다. 귀하의 경우에는

bool T::operator ==(const T& b) const; 
bool operator ==(const T& a, const T& b); 

당신이 기본 클래스에 대한 operator==을 구현하고자하고 당신이 무엇을하고 있는지 수행

당신은 멤버 함수 또는 (위키 백과에서) 무료 기능으로 구현할 수 있습니다.

더 구체적으로는 다음과 같이 보일 것이다 :

class MyBase 
{ 
    virtual ~MyBase(); // reminder on virtual destructor for RTTI 
    // ... 
private: 
    virtual bool is_equal(const MyBase& other); 

    friend bool operator ==(const MyBase& a, const MyBase& b); 

    // ...  
}; 

bool operator ==(const MyBase& a, const MyBase& b) 
{ 
    // RTTI check 
    if (typeid(a) != typeid(b)) 
     return false; 
    // Invoke is_equal on derived types 
    return a.is_equal(b); 
} 


class D1 : MyBase 
{ 
    virtual bool is_equal(const Base& other) 
    { 
     const D1& other_derived = dynamic_cast<const D1&>(other); 
     // Now compare *this to other_derived 
    } 
}; 

class D2 : MyBase; 
{ }; 


D1 d1; D2 d2; 
bool equal = d1 == d2; // will call your operator and return false since 
         // RTTI will say the types are different