Quando si usa typeid su un oggetto polimorfico, deve essere definito?

Question

Quando si utilizza typeid su un oggetto polimorfico, penso che l'oggetto deve essere definito (non solo una dichiarazione) perché l'operazione typeid deve ottenere le informazioni dell'oggetto nel runtime . Qui è il mio codice:

#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; 
} 

E con clang 3.4, ho ottenuto l'errore link:

undefined reference to `d'

Ma con g++ 4.8.1, funziona bene ed ho ottenuto il risultato:

1D
8

La mia domanda :

1. Quale è giusto?
2. Come implementa g ++ typeid? Come può ottenere le informazioni da un oggetto polimorfico senza definizione?

Answer 1

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

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.

Suona come clang 3.4 è giusto.

Aggiornamento

Lo standard dice:

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).

E 'leggermente diversa dalla lingua utilizzata dal cppreference.com ma punta ancora clang 3.4 essere nel giusto.