표준 안전 유형 검사?

Question

내 IsSame 함수에서 두 포인터가 동일한 유형의 개체를 가리키는 경우 true을 반환하고 싶습니다. 따라서 중간 통화 만 true을 반환해야합니다. D1 및 B은 같은 것으로 간주되어서는 안됩니다.

아래의 내용은 내가 원하는 것일 뿐이지 만 표준에 따라 안전합니까?

#include <stdio.h> 

class B { virtual void foo() {} }; 
class D1 : public B { }; 
class D2 : public B { }; 
class D3 : public B { }; 

bool IsSame(B*a, B*b) { 
    if (a == 0 || b == 0) 
     return false; 
    return *(intptr_t*)a == *(intptr_t*)b; 
} 

int main() { 
    D1 d1; 
    D2 d2; 
    D1 d1b; 
    B b; 
    printf("%d %d %d\n", IsSame(&d1, &d2), IsSame(&d1, &d1b), IsSame(&d1, &b)); 
} 

는 출력 : 다음

0 1 0 

Answer 1

두 개체의 v 테이블이 같은지 확인하려고합니다. C++ 표준은 객체의 레이아웃에있는 곳을 제외하고는 v 테이블 포인터의 존재를 말하지 않습니다. 따라서 솔루션은 일반적으로 비표준이며 프로그램의 동작은 실제로 정의되지 않습니다.

두 개의 기본 포인터가 동일한 파생 형식이지만 RTTI가 없는지 확인하려는 경우 파생 형식의 ID를 알 수있는 메커니즘이 필요합니다. 이것은 파생 된 모든 유형이 구현해야하는 ID를 반환하는 가상 메서드를 의미합니다.

Answer 2

가 작동하는 것 같다 :

[Prompt] g++ example.cpp -std=c++11 
[Prompt] ./a.out 
d1 == d2 ? false 
d1 == d1b ? true 
d1 == b ? false 
No Template 
d1 == d2 ? false 
d1 == d1b ? true 
d1 == b ? false 

것을주의 :

#include<typeinfo> 
#include<iostream> 

class B { virtual void foo() {} }; 
class D1 : public B { }; 
class D2 : public B { }; 
class D3 : public B { }; 


template<typename T1, typename T2> 
bool is_same(const T1& t1, const T2& t2) { 
    return typeid(t1) == typeid(t2); 
} 

bool is_same_no_template(const B& b1, const B& b2) { 
    return typeid(b1) == typeid(b2); 
} 

int main(){ 
    D1 d1; 
    D2 d2; 
    D1 d1b; 
    B b; 
    std::cout<<std::boolalpha 
      <<"d1 == d2 ? "<<is_same(d1, d2)<<std::endl 
      <<"d1 == d1b ? "<<is_same(d1, d1b)<<std::endl 
      <<"d1 == b ? "<<is_same(d1, b)<<std::endl; 

    std::cout<<"No Template"<<std::endl; 

    std::cout<<std::boolalpha 
      <<"d1 == d2 ? "<<is_same_no_template(d1, d2)<<std::endl 
      <<"d1 == d1b ? "<<is_same_no_template(d1, d1b)<<std::endl 
      <<"d1 == b ? "<<is_same_no_template(d1, b)<<std::endl; 

    return 0; 
} 

는 GCC 4.7.2로 컴파일 나는 다음과 같은 출력을 얻을 결정하면이 코드는 컴파일되지 않습니다. "런타임 유형 정보"없이 컴파일 (RTTI; gcc의 -fno-rtti 컴파일 플래그).