Bir polimorfik nesnede typeid kullanıldığında, tanımlanmalı mı?

Question

Bir polimorfik nesne üzerinde typeid kullanırken, typeid işleminin çalışma zamanı çalışma zamanında nesnenin bilgilerini alması gerektiğinden, nesnenin tanımlanması gerektiğini (yalnızca bir bildirim değil) düşünüyorum. İşte benim kod:

#include <iostream> 
#include <typeinfo> 

class D { 
    virtual ~D() {} 
}; 
extern D d; 

int main() 
{ 
    std::cout << typeid(d).name() << std::endl; 
    std::cout << sizeof(d) << std::endl; 
} 

Ve clang 3.4, ben bağlantı hata var: g++ 4.8.1 ile, iyi çalışıyor

undefined reference to `d'

Ama ben sonuç var:

1D
8

Benim sorum :

1. Hangisi doğrudur?
2. g ++ typeid'u nasıl uygular? Tanım olmadan bir polimorfik nesneden bilgiyi nasıl alabilir? clang 3.4 haklı gibi

Answer 1

http://en.cppreference.com/w/cpp/language/typeid itibaren

a) If expression is a glvalue expression that identifies an object of a polymorphic type (that is, a class that declares or inherits at least one virtual function), the typeid expression evaluates the expression and then refers to the std::type_info object that represents the dynamic type of the expression. If the result of the evaluated expression is a null pointer, an exception of type std::bad_typeid or a type derived from std::bad_typeid is thrown.

geliyor.

Güncelleme

standart diyor ki: O cppreference.com kullandığı dilden farklıdır fakat

When typeid is applied to a glvalue expression whose type is a polymorphic class type (10.3), the result refers to a std::type_info object representing the type of the most derived object (1.8) (that is, the dynamic type) to which the glvalue refers. If the glvalue expression is obtained by applying the unary * operator to a pointer and the pointer is a null pointer value (4.10), the typeid expression throws the std::bad_typeid exception (18.7.3).

hala 3.4 haklı olmak tınlamak işaret ediyor.