Я внимательно прочитал правила для псевдонима типов: http://en.cppreference.com/w/cpp/language/reinterpret_cast#Type_aliasing У меня конкретно есть вопрос о последнем правиле, в котором нам разрешено приводить к:
charилиunsigned char: это позволяет исследовать объектное представление любого объекта в виде массиваunsigned char
Я заметил, что это не включает тип void. Разве мы не можем что-либо переводить на void и обратно?
В этом случае нет псевдонима типов, потому что вы не можете исследовать объект через void*. Для этого вам придется разыменовать void*, но это запрещено. void в любом контексте является неполным типом, и вы не можете разыменовать указатели на неполные типы.
void - неполный тип. Не может быть объекта типа void.
int[], который определенно может быть типом glvalue (но не prvalue).
- person Kerrek SB; 16.08.2016
void странно тем, что вы можете объявить что-то void*, но вы редко будете использовать void отдельно вне контекста определения функции. В этом смысле это неполный тип и, следовательно, сам по себе не имеет реального значения. void действительно существует только для синтаксиса.
Технически вы можете привести тип к void,
int i = 0;
(void)i;
но это действительно запрет. Вы можете увидеть это, когда кто-то пытается скрыть предупреждения компилятора о неиспользуемых переменных. Вы не можете вернуть результат к исходному типу, потому что он не дает результата.
Вы также можете приводить указатели и объявлять их как void*, что означает, что он может указывать на что угодно (с некоторыми исключениями). Однако вы не можете разыменовать его, пока не приведете его к полному типу, например unsigned char.
void*и обратно. - person NathanOliver schedule 16.08.2016