Чисто ради интереса — разрешает ли стандарт языка C использовать массивы нулевой размерности?

int main()
{
    int arr[0];
}

gcc в режиме C++, msvc и Comeau ругаются, а вот gcc в режиме C считает, что всё валидно:

gcc 4.7.0 (C++)

error: ISO C++ forbids zero-size array 'arr' [-pedantic]

msvc (cl 17.0.50214.1)

error C2466: cannot allocate an array of constant size 0
error C2133: 'arr' : unknown size

Comeau 4.3.10.1 Beta2

"ComeauTest.c", line 3: error: the size of an array must be greater than zero

gcc 4.7.0 (C)

No errors

http://liveworkspace.org/code/ddbf7b89b612073245553a6ae9de9f18

Баг компилятора?

On 05/23/2012 06:03 PM, PlusMyTwitterFace wrote:

> Чисто ради интереса — разрешает ли стандарт языка C использовать массивы нулевой
> размерности?

Да.

Здравствуйте, PlusMyTwitterFace, Вы писали:

PMT>Чисто ради интереса — разрешает ли стандарт языка C использовать массивы нулевой размерности?

PMT>

PMT>int main()
PMT>{
PMT>    int arr[0];
PMT>}
PMT>

Нельяз объявлять массив со значением размера равным 0.

If the constant-expression (5.19) is present,
it shall be an integral constant expression and its value shall be greater than zero.

Здравствуйте, Сыроежка, Вы писали:

С>Нельяз объявлять массив со значением размера равным 0.

С>If the constant-expression (5.19) is present,
С>it shall be an integral constant expression and its value shall be greater than zero.


Это я цитировал С++ стандарт, а в С99 стандарте написано то же самое: "If the expression is a constant expression, it shall have a value greater than zero."

gcc version 4.3.2 (Debian 4.3.2-1.1) скомпилил без проблем.

S>gcc version 4.3.2 (Debian 4.3.2-1.1) скомпилил без проблем.

Я о том же. Вопрос заключается в валидности такого приёма.

MZ>Да.

На каком основании сделано такое утверждение? Стандарт, опыт общения с ужасно написанным кодом (хотя, кому в голову придёт объявить массив нулевого размера, я не знаю) или что-то ещё?

С>Это я цитировал С++ стандарт, а в С99 стандарте написано то же самое: "If the expression is a constant expression, it shall have a value greater than zero."

Т.е., получается, баг компилятора?

Здравствуйте, PlusMyTwitterFace, Вы писали:

S>>gcc version 4.3.2 (Debian 4.3.2-1.1) скомпилил без проблем в режиме С и С++.

PMT>Я о том же. Вопрос заключается в валидности такого приёма.

Здравствуйте, PlusMyTwitterFace, Вы писали:

С>>Это я цитировал С++ стандарт, а в С99 стандарте написано то же самое: "If the expression is a constant expression, it shall have a value greater than zero."

PMT>Т.е., получается, баг компилятора?

Если рассматривать ваш пример

int main()
{
int arr[0];
}

то из мною процитированного следует, что это баг по крайней мере согдасно стандарту С99. Нужно было бы еще заглянуть в новый стандарт С от 2011 года.

Честно говоря, не понял смысла в выделенном вами слове.

То, что приведённый выше код прекрасно компилируется при помощи gcc, я написал ещё в первом сообщении (правда, версия была поновее). Под "валидностью" в данном случае подразумевалось соответствие такого приёма стандартам языков C / C++.

Я вот как-то Comeau в плане соответствия стандарту больше доверяю, поэтому мнение gcc на этот счёт я учитываю немного меньше.

С>Нужно было бы еще заглянуть в новый стандарт С от 2011 года.

Мне кажется, лучше уж посмотреть C89 / C90.

Здравствуйте, PlusMyTwitterFace, Вы писали:

С>>Нужно было бы еще заглянуть в новый стандарт С от 2011 года.

PMT>Мне кажется, лучше уж посмотреть C89 / C90.

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

Или ошибки не было даже в режиме C++?

Здравствуйте, PlusMyTwitterFace, Вы писали:

PMT>Чисто ради интереса — разрешает ли стандарт языка C использовать массивы нулевой размерности?
Нет.

PMT>Баг компилятора?
Нет.
Это фича.

Здравствуйте, PlusMyTwitterFace, Вы писали:

PMT>стандарт языка C

PMT>а вот gcc в режиме C считает, что всё валидно

А как вы компилируете с помощью gcc?
У меня все версии gcc выдают ошибку:

$ gcc -c test.c -std=c99  -pedantic -Werror
test.c:3:9: error: ISO C forbids zero-size array 'arr'

Может просто забыли указать, что нужно следовать стандарту языка C?


PMT>Баг компилятора?

Если включены нестандартные расширения, то такие массивы допускаются (они были нужны пока в С99 не появились flexible array member). Если расширения не включены, а задано следование стандарту, то такой код не компилируется.

WM>А как вы компилируете с помощью gcc?

gcc использовал в данном случае лишь на сайте liveworkspace.org

WM>Если включены нестандартные расширения, то такие массивы допускаются (они были нужны пока в С99 не появились flexible array member). Если расширения не включены, а задано следование стандарту, то такой код не компилируется.

Да, уже сказали ранее, но всё равно спасибо!

W>Нет.
W>Это фича.

Спасибо!

On 05/23/2012 06:14 PM, MasterZiv wrote:

>> Чисто ради интереса — разрешает ли стандарт языка C использовать массивы нулевой
>> размерности?
>
> Да.

Слушайте, я что-то всё путаю сегодня.

Массив нулевого размера не может быть.
Структура может быть "нулевого размера", но она на самом деле не будет физически
0-го размера.

Здравствуйте, PlusMyTwitterFace, Вы писали:

С практической точки зрения: "А ни все ли равно"?
Лично я массивы воспринимаю как указатели, которые "компилятор неявно аллоцировал", естественно помня о том, где они "аллоцированы" и о небезграничности стека.
А в остальном, что указатель, что массив — в языке C (не C++) — один хрен, кроме sizeof, но я о нем помню.

И да, malloc(0) тоже не особо определен, по крайней мере в стандарте C-99

Здравствуйте, MasterZiv, Вы писали:


MZ>Слушайте, я что-то всё путаю сегодня.

MZ>Массив нулевого размера не может быть.
MZ>Структура может быть "нулевого размера", но она на самом деле не будет физически
MZ>0-го размера.

Стандартный контейнер std::array эммулирует массивы с нулевым количеством элементов.

Здравствуйте, PlusMyTwitterFace, Вы писали:

PMT>Или ошибки не было даже в режиме C++?

Да, ни в С ни в С++ небыло ошибок.

Здравствуйте, PlusMyTwitterFace, Вы писали:

PMT>На каком основании сделано такое утверждение? Стандарт, опыт общения с ужасно написанным кодом (хотя, кому в голову придёт объявить массив нулевого размера, я не знаю) или что-то ещё?

Массив нулевого размера идеоматически используется как последнее поле структуры переменного размера:

  struct cstring {
    unsigned int count;
    char         text[ 0 ];
  };

Здравствуйте, PlusMyTwitterFace, Вы писали:

PMT>Чисто ради интереса — разрешает ли стандарт языка C использовать массивы нулевой размерности?

typedef struct {
    int result;
    ULONG fds;
    INT timeout;
    WSAPOLLFD fdArray[0];
} WSAPOLLDATA, *LPWSAPOLLDATA;

(с) MSWSock.h

Здравствуйте, wander, Вы писали:

W>Здравствуйте, PlusMyTwitterFace, Вы писали:

PMT>>Чисто ради интереса — разрешает ли стандарт языка C использовать массивы нулевой размерности?
W>Нет.

PMT>>Баг компилятора?
W>Нет.
W>Это фича.
Более того, это имба-фича, на которой многое держится.

Pzz>Массив нулевого размера идеоматически используется как последнее поле структуры переменного размера

Честно говоря, не совсем понимаю, зачем такое может понадобиться на практике.

Здравствуйте, PlusMyTwitterFace, Вы писали:

PMT>Честно говоря, не совсем понимаю, зачем такое может понадобиться на практике.

многим системныи функциям передается блок памяти куда они должны записать результат
результат этот переменного размера для этого и нужны

typedef struct _SYSTEM_PROCESS_INFORMATION {
    ULONG            NextEntryDelta;
    ULONG            ThreadCount;
    ULONG            Reserved1[6];
    LARGE_INTEGER   CreateTime;
    LARGE_INTEGER   UserTime;
    LARGE_INTEGER   KernelTime;
    UNICODE_STRING  ProcessName;
    KPRIORITY        BasePriority;
    ULONG            ProcessId;
    ULONG            InheritedFromProcessId;
    ULONG            HandleCount;
    ULONG            Reserved2[2];
    VM_COUNTERS        VmCounters;
    IO_COUNTERS        IoCounters;
    SYSTEM_THREAD_INFORMATION  Threads[];
} SYSTEM_PROCESS_INFORMATION, * PSYSTEM_PROCESS_INFORMATION;

Здравствуйте, PlusMyTwitterFace, Вы писали:

Pzz>>Массив нулевого размера идеоматически используется как последнее поле структуры переменного размера

PMT>Честно говоря, не совсем понимаю, зачем такое может понадобиться на практике.

Когда размер заранее не известен.

Здравствуйте, MasterZiv, Вы писали:

MZ>Структура может быть "нулевого размера", но она на самом деле не будет физически
MZ>0-го размера.

В языке C структура может быть нулевого размера, и на самом деле она физически будет нулевого размера.

ДД>В языке C структура может быть нулевого размера, и на самом деле она физически будет нулевого размера.

Как это представить с точки зрения языка? Ведь причина, по которой в C++ не бывает структуры / класса нулевого размера (за одним-единственным исключением), насколько мне известно, связана с тем, что у каждого объекта должен быть уник. адрес.

Здравствуйте, PlusMyTwitterFace, Вы писали:

PMT>Как это представить с точки зрения языка? Ведь причина, по которой в C++ не бывает структуры / класса нулевого размера (за одним-единственным исключением), насколько мне известно, связана с тем, что у каждого объекта должен быть уник. адрес.

Так это в C++ должен быть, а в C не обязательно.

ДД>Так это в C++ должен быть, а в C не обязательно.

Т.е. в C вполне возможна ситуация, когда в stdout окажется след. строка:

#include <stdio.h>

typedef struct Empty
{
} Empty_t;

int main()
{
    Empty_t a;
    Empty_t b;

    if (&a == &b)
    {
        printf("&a == &b");
    }

    return 0;
}

Верно?

Кстати, почему Comeau не компилирует данный код?

"ComeauTest.c", line 5: error: expected a declaration
Wild guess: Should this be in a function block?
} Empty_t;
^

Здравствуйте, watch-maker, Вы писали:
WM>У меня все версии gcc выдают ошибку:
WM>

$ gcc -c test.c -std=c99  -pedantic -Werror
WM>test.c:3:9: error: ISO C forbids zero-size array 'arr'
WM>

скажите, какой на какой версии компилятора проверяли?
дело в том, что на LWS используется 4.7.0, и после того как я добавил для Си режима ключик '-pedantic' — ничего не изменилось.
вот ключи используемые для Си режима: -Wall -W -std=c99 -pedantic

спасибо.

Здравствуйте, PlusMyTwitterFace, Вы писали:

PMT>Т.е. в C вполне возможна ситуация, когда в stdout окажется след. строка:
PMT>Верно?

Да.

PMT>Кстати, почему Comeau не компилирует данный код?
PMT>

PMT>"ComeauTest.c", line 5: error: expected a declaration
PMT> Wild guess: Should this be in a function block?
PMT> } Empty_t;
PMT> ^

gcc компилирует.