Проблема при понижении типа указателя.

[220Volt]

Сообщение от waleri

...
Если запретить такой каст, то от С++ ничего не останется - на этом все держится.

Какова конечная цель?

Я не говорю запрещать каст, ведь есть const, есть volatile, предположил наличие какого-нибудь nocast.
Насчет цели. Конкретной цели нет просто мысли, я думаю на эти грабли легко наступить.

[pproger]

2220Volt

но хотелось бы другого решения

я его тебе предложил, единственно верное

[waleri]

Сообщение от 220Volt

Без добавления хотя бы одного виртуального метода typeid НЕ работает.

У меня на g++ без виртуального метода компилируется и работает, но typid работает неверно, следовательно полагаться на то что компилятор выдаст ошибку не хочу.

Я не сказал "не компилируется", я сказал "не работает"...

В данном примере решение - шаблонная функция.
Надо всегда помнить, что массив и указатель - это не одно и то же.

Следующий шаг - массив из разных наследников S

[220Volt]

Сообщение от waleri

Я не сказал "не компилируется", я сказал "не работает"...

В данном примере решение - шаблонная функция.
Надо всегда помнить, что массив и указатель - это не одно и то же.

Следующий шаг - массив из разных наследников S

По-моему это спорно. Ведь есть еще и new, а от нее на уровне языка мы получаем не массив, а указатель.
Сегодня написали функцию принимающую массив динамически выделенных структур. Через месяц написали наследника от этой структуры и передали массив новых структур в старую функцию, ошибка готова.
Писать все в шаблонах... там тоже свои особенности.

[220Volt]

Удалил сообщение

[220Volt]

Как резюме: согласен с waleri, лично я буду писать функции работающие с массивами (полностью или интерфейсную часть) в шаблонах. Благодарю всех за участие.

[220Volt]

Думаю теперь я понял зачем нужно использовать std::array вместо Си array и умные указатели для new (помимо утечек), тогда таких проблем не будет. А если где-то передан голый указатель, то это не массив, а просто указатель.