Случайно опечатался и получил от оператора sizeof - 1.
#include "stdio.h"
int main(void)
{
printf("%d",sizeof(void)); /// 1
return 0;
}
Может мне кто-нибудь объяснить в чем тут дело?
Stack Overflow на русском — это сайт вопросов и ответов для программистов. Присоединяйтесь! Регистрация займёт не больше минуты.
Присоединиться к сообществуСогласно стандарту C (раздел 6.2.5 Types)
19 The void type comprises an empty set of values; it is an incomplete object type that cannot be completed.
и (6.5.3.4 The sizeof and alignof operators)
1 The sizeof operator shall not be applied to an expression that has function type or an incomplete type, to the parenthesized name of such a type, or to an expression that designates a bit-field member. The alignof operator shall not be applied to a function type or an incomplete type.
Однако некоторые компиляторы имеют собственные расширения языка, которые все же определяют выражение sizeof( void )
, как имеющее значение 1.
Дело в том, что тип void
не сразу же появился в языке программирования C. Из Rationale for International Standard— Programming Languages— C раздел 6.4.1 Keywords
Several keywords were added in C89: const, enum, signed, void and volatile.
Ранее его роль играл тип char
. Например, если вы хотели скопировать один объект в другой с использованием стандартной функции memmove
, то соответствующая запись могла выглядеть как
memmove( ( char *)obj1, ( char * )obj2, n );
Подобного вида запись еще можно встретить в старых программах.
В настоящее время функция memmove
имеет следующее объявление
void *memmove(void *s1, const void *s2, size_t n);
и, как известно, любой указатель может быть приведен неявно к типу void *
, а потому никакого явного приведения типов для вызова этой функции не требуется. Вы можете написать просто
memmove( obj1, obj2, n );
при использовании этой функции с указателями любого типа.
И лишь со временем я C был введен тип void
.
Из Rationale for International Standard— Programming Languages— C раздел 6.5.4 Cast operators
The new type void*, which has the same representation as char*, is therefore preferable for arbitrary pointers
По аналогии с типом char
, так как указатели void *
имеют такое же представление, как и указатели char *
, в некоторых компиляторах сделали размер void
равным 1, так как sizeof( *(char *)NULL )
равно 1. Однако, как следует из стандарта C этот тип не имеет размера, так как он всегда является неполным типом, а потому такая конструкция, как sizeof( void )
, является некорректной, и компилтор должен выдавать сообщения об ошибке, если его собственные расширения отключены при компиляции программы.
printf("%lu",sizeof(void));
Так точнее. Это размер типа void.
void
прекрасно помещается в 0 бит, т. к. возможное значение для этого типа всего одно. Отсюда и другие ограничения, вроде запрета на создание переменных типа void
, это просто бессмысленно. Поэтому и правда интересно, с какого перепугу там не 0. Да, принятый ответ объясняет, как так получилось, но получается, что это прямо в стандарте несогласованность, лишнее "исключение". Другой вопрос -- кому она мешает и есть ли смысл это исправлять. Вроде бы все привыкли. А спорить о дизайне Си как языка смысла мало :)
void *
та же, что и дляchar *
. Поэтому, т.к.sizeof(char) == 1
, то иsizeof(void) == sizeof(char) == 1
. ( g++ дляsizeof(void)
пишет warning, но компилирует и результат будет тот же -- 1)