[C++] Dynamic cast: perchè solo con classi polimorfiche?

[edriv]

Se ho queste classi senza funzioni virtuali:

class A {
public: 
int a;
};

class B : public A {
public:
int b;
};

class C : public A {...};

Qual'è il motivo logico perchè non possa fare:

A *funzione(...) {...}

(in un'altra funzione:)
A *puntatore = funzione(...);
B *puntB = dynamic_cast<B*>(puntatore);
if(puntB) { cout << puntB->b;)

in che modo posso risolvere un problema simile?

[infinitejustice]

Non funziona perchè non c'è polimorfismo. Prova a rendere A astratta.

[edriv]

So che non funziona perchè non c'è poliformismo, ma vorrei capire perchè deve esserci il poliformismo... vorrei capire il motovo logico per cui Stroustru (o chi altro) ha fatto questa decisione...

è un motivo di logica oppure di struttura (nel senso che magari solo le funzioni poliformiche si prestano a questi cast run-time...) ??