Witajcie

Czy mozecie napisac mi dlaczego te typy sa rozne. Przyklad wzialem z
ksiazki i
autor twierdzi ze ponizsze typy sa takie same i mi tez sie wydaje ze w
tym
przypadku sa takie same.

dzieki za pomoc

#include <iostream>
#include <typeinfo>
using namespace std;

class Shape { public: virtual ~Shape() {}; };
class Circle : public Shape {};

int main() {
Circle c;
Shape* s = &c;
Circle* cp = 0;
if(typeid(s) == typeid(cp))
cout << "Ok" << endl; // dlaczego nie jest wykonywane ???
return 0;
}