Возвращает ли ARRAY_SIZE неопределенное поведение, когда массив пуст?

Question

Является ли ARRAY_SIZE возвратом неопределенного поведения, когда массив пуст? потому что мы делаем разделим из unexisting sizeof((X)[0])

#include <stdio.h> 
#include <stdlib.h> 
#include <string.h> 

#ifndef ARRAY_SIZE 
#define ARRAY_SIZE(X) sizeof((X))/sizeof((X)[0]) 
#endif 

struct ka { 
    int a; 
    int b; 
}; 

int main(void) 
{ 
    struct ka k[] = {}; 
    printf("%d\n", ARRAY_SIZE(k)); 
} 

Answer 1

Это не возможно иметь нулевого размера массивов в стандартном C или C++.

В C ваш код является нарушением ограничения (пустые списки инициализаторов нигде не разрешены).

В C++ это также ошибка; {} не может использоваться с определением массива, которое не учитывает размер. (C++ 14 [dcl.init.aggr]/4)

Если вы используете нестандартное расширение компилятора, поведение будет зависеть от деталей этого расширения.

Answer 2

В общем, с точки зрения доступа к памяти это нормально, потому что, если операнд sizeof имеет тип VLA, это не оценено. Таким образом, в этом случае x[0] не является недопустимым доступом к памяти.

Цитирование C11, глава §6.5.3.4, курсив мой

Оператор sizeof дает размер (в байтах) своего операнда, который может быть выражение в скобках или имя типа , Размер определяется по типу операндом. Результат - целое число. Если тип операнда является массивом переменной длины , операнд оценивается; в противном случае операнд не оценивается, а результат - целочисленная константа .

В широком смысле, для массива, как

int arr[5]= {0}; 

написание

sizeof(arr)/sizeof(arr[10]); 

также действует в arr[10] не оценивается, это только о размере операнда , а не содержание (так что не требует разыменования).

Тем не менее,

• нулевой длины массивы не являются стандартными С, они являются gcc extension.
• sizeof дает результаты по размеру size_t, поэтому мы должны использовать спецификатор формата %zu для печати результата.