Информация об изменениях

Сообщение Re[23]: Зачем плюс? от 23.12.2018 22:52

Изменено 23.12.2018 22:54 σ

Re[23]: Зачем плюс?
R>Еще такое соображение в пользу того, что void — объектный тип. Указатель на любой объект может быть приведен к cv void*, а указатель на функцию не может. Ну а на ссылку void вообще не похож, ни по каким критериям. Поэтому выходит, что только объектный.

https://timsong-cpp.github.io/cppwp/n3337/basic.types#def:object_type, https://timsong-cpp.github.io/cppwp/n4140/basic.types#def:object_type: An object type is a (possibly cv-qualified) type that is not a function type, not a reference type, and not a void type.
https://timsong-cpp.github.io/cppwp/n4659/basic.types#def:object_type: An object type is a (possibly cv-qualified) type that is not a function type, not a reference type, and not cv void.
Re[23]: Зачем плюс?
R>Еще такое соображение в пользу того, что void — объектный тип. Указатель на любой объект может быть приведен к cv void*, а указатель на функцию не может. Ну а на ссылку void вообще не похож, ни по каким критериям. Поэтому выходит, что только объектный.

https://timsong-cpp.github.io/cppwp/n3337/basic.types#def:object_type, https://timsong-cpp.github.io/cppwp/n4140/basic.types#def:object_type​: An object type is a (possibly cv-qualified) type that is not a function type, not a reference type, and not a void type.
https://timsong-cpp.github.io/cppwp/n4659/basic.types#def:object_type​: An object type is a (possibly cv-qualified) type that is not a function type, not a reference type, and not cv void.