Який розмір порожнечі?

Що дасть це твердження?

void *p = malloc(sizeof(void));

Редагувати: розширення запитання.

Якщо sizeof (void) дає 1 у компіляторі GCC, то виділяється 1 байт пам'яті, і вказівник p вказує на цей байт, а p ++ буде збільшено до 0x2346? Нехай p дорівнює 0x2345. Я говорю про p, а не * p.

Тип voidне має розміру; це була б помилка компіляції. З тієї ж причини ви не можете зробити щось на зразок:

void n;

РЕДАГУВАТИ. На мій подив, sizeof(void)фактично відбувається компіляція в GNU C:

$ echo 'int main() { printf("%d", sizeof(void)); }' | gcc -xc -w - && ./a.out 
1

Однак у C ++ це не робить:

$ echo 'int main() { printf("%d", sizeof(void)); }' | gcc -xc++ -w - && ./a.out 
<stdin>: In function 'int main()':
<stdin>:1: error: invalid application of 'sizeof' to a void type
<stdin>:1: error: 'printf' was not declared in this scope

Якщо ви використовуєте GCC і не використовуєте прапори компіляції, які видаляють розширення, що стосуються компілятора, тоді sizeof(void)це 1. GCC має нестандартне розширення, яке це робить.

Загалом, voidце неповний тип, і ви не можете використовувати sizeof для неповних типів.

Хоча voidможе стояти на місці для типу, він насправді не може містити значення. Тому він не має розміру в пам'яті. Отримання розміру a voidне визначено.

void Покажчик просто конструкція мови означає покажчик на нетипізованого пам'яті.

voidне має розміру. І в C, і в C ++ вираз sizeof (void)є недійсним.

У C, цитуючи пункт 1 N1570 6.5.3.4:

sizeofОператор не повинен бути застосований до вираження , яке має тип функції або неповний тип , в дужках імені такого типу, або вираз , яке позначає елемент бітового поля.

(N1570 - це проект стандарту ISO C 2011 р.)

voidє неповним типом. Цей параграф є обмеженням , що означає, що будь-який відповідний компілятор С повинен діагностувати будь-яке його порушення. (Діагностичне повідомлення може бути не смертельним попередженням.)

Стандарт С ++ 11 має дуже подібне формулювання. Обидва видання були опубліковані після того, як було задано це питання, але правила повертаються до стандарту ANSI C 1989 року та найдавніших стандартів C ++. Насправді правило, яке voidє неповним типом, до якого sizeofможе не застосовуватися, сягає рівно стільки, скільки введення voidв мову.

gcc має розширення, яке розглядається sizeof (void)як 1. gcc не є відповідним компілятором C за замовчуванням, тому в режимі за замовчуванням він не попереджає про це sizeof (void). Такі розширення дозволені навіть для повністю відповідних компіляторів С, але діагностика все одно потрібна.

Розмір порожнечі є розширенням GCC .

sizeof()не можна застосовувати до неповних типів. І voidє неповним типом, який неможливо завершити.

У С, sizeof(void) == 1 в GCC, але, схоже, це залежить від вашого компілятора.

У C ++ я отримую:

У функції 'int main ()':
Рядок 2: помилка: недійсне застосування 'sizeof' до типу void
компіляція припинена через -Wfatal-помилки.

До 2-ї частини запитання: Зверніть увагу, що sizeof (void *)! = Sizeof (void). На 32-бітовій арці sizeof (void *) дорівнює 4 байтам, тому p ++ буде встановлено відповідно. Величина, на яку збільшується покажчик, залежить від даних, на які він вказує. Отже, він буде збільшений на 1 байт.

хоча sizeof (void), можливо, не має сенсу сам по собі, це важливо, коли ви робите будь-яку математику покажчика.

напр.

 void *p;
 while(...)
      p++;

Якщо sizeof (void) вважається 1, це буде працювати. Якщо sizeof (void) вважається 0, ви потрапляєте в нескінченний цикл.

Більшість компіляторів C ++ вирішили викликати помилку компіляції при спробі отримати sizeof(void) .

Під час компіляції C gcc не відповідає нормам і вирішив визначити sizeof(void)як 1. Це може виглядати дивно, але має обґрунтування. Коли ви робите арифметичне вказівника, додавання або видалення однієї одиниці означає додавання або видалення об'єкта, вказаного на розмір. Таким чином, визначення sizeof(void)як 1 допомагає визначити void*як вказівник на байт (нетипізована адреса пам'яті). В іншому випадку у вас буде дивовижна поведінка з використанням арифметики вказівникаp+1 == p when p isvoid* . Така арифметика покажчиків на порожніх вказівниках не допускається в C ++, але чудово працює із компіляцією C з gcc.

Стандартним рекомендованим способом буде використання char* для такої мети (вказівник на байт).

Ще одна подібна різниця між C та C ++ при використанні sizeof виникає, коли ви визначили порожню структуру, наприклад:

struct Empty {
} empty;

Використання gcc як мого компілятора C. sizeof(empty) повертає 0. За допомогою g ++ той самий код поверне 1.

Я не впевнений, що зазначає стандарти C і C ++ щодо цього питання, але я вважаю, що визначення розміру деяких порожніх структур / об'єктів допомагає в управлінні посиланнями, щоб уникнути того, що два посилання на різні послідовні об'єкти, перше порожнє, отримують та ж адреса. Якщо посилання реалізуються з використанням прихованих покажчиків, як це часто роблять, переконавшись, що інша адреса допоможе їх порівняти.

Але це лише уникнення дивовижної поведінки (порівняння посилань у кутових випадках) шляхом введення іншого (порожні об'єкти, навіть POD споживають принаймні 1 байт пам'яті).