Ничего такой кастинг не нарушается, значит когда память аллоцируешь и приводишь ее к нужному тебе типу с помощью указателя так это видите ли нормально, а когда массив плохо? Для указателя абсолютно фиолетово с каким типом работать, привет void*, насчет расставления звездочек оно имеет значение в константных указателях, ну и в указателях на указатель указателем погоняющим, в простых без разницы

Вся соль в том, что из таких багофич C/C++ состоит чуть менее чем полностью