- строгое псевдонима C или C ++?

в ISO / IEC 9899: TC2, стандарт говорит, что в

6.3.2.3 указатели

1. Указатель на объект или неполный тип может быть преобразован в указатель на другой объект или неполный тип. Если результирующий указатель не соответствует правильному выравниванию для указанного типа, поведение не работает. В противном случае, когда снова преобразуется обратно, результат должен сравнивать равное оригинальному указателю. Когда указатель на объект преобразуется в указатель на тип символа, результат указывает на самый низкий адресный байт предмет. Последовательные приращения результата до размера объекта, текут указатели на оставшиеся байты объекта.

Итак, из стандарта не ясно, что указатель одного типа может быть выбран на указатель другого типа.