W przypadku użycia parametru typid na obiekcie polimorficznym należy go zdefiniować?

Question

Po użyciu obiektu typeid na obiekcie polimorficznym, myślę, że obiekt musi być zdefiniowany (a nie tylko deklaracja), ponieważ operacja musi uzyskać informacje o obiekcie pod adresem runtime. Oto mój 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; 
} 

I z clang 3.4, mam błąd link:

undefined reference to `d'

Ale z g++ 4.8.1, to działa dobrze i mam wynik:

1D
8

Moje pytanie :

1. Który jest poprawny?
2. W jaki sposób g ++ implementuje typeid? Jak uzyskać informacje z obiektu polimorficznego bez definicji?

Answer 1

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

Brzmi jak dzyń 3.4 ma rację.

Aktualizacja

Norma mówi:

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

To jest nieco inny od języka używanego przez cppreference.com ale nadal wskazuje Clang 3.4 jest w porządku.