В чем разница int mas[], int mas[0], int mas[100]?

Question

[dronreviews]

int mas[100] массив из 100 элементов, а вот mas[], int mas[0] в гугле не нашел.
Также для char mas[] и char mas[0].

Answer 1

[Mercury13]

int mas[] используется в трёх местах.

1. Когда размер определяется инициализатором: int mas[] = { 1, 2, 3, 4, 5 };
2. Чтобы задать параметр вида «массив неопределённой длины»: double vecLen(double a[], int size) {}
Си не может жёстко задавать размер массива в параметре, чтобы больший или меньший не подходил; даже если напишешь напишешь double vecLen(double a[3]) {}, всё равно другой массив подойдёт. Си++ задаёт так: double vecLen(double (&a)[3]) {})
3. Подсказал jcmvbkbc, реально мало на что нужно: extern int a[].

int mas[0] создаёт массив нулевой длины, надобности в котором, понятное дело, никакой. Зато этот код используется, чтобы накладывать структуру данных, которая заканчивается массивом неизвестной длины, на какой-то буфер в памяти — как указатель: тут массив (C++ не проверяет выход за границу).

struct Packet {
  unsigned short length;
  unsigned char data[0];
}

void processPacket(void* data, unsigned length)
{
   // Простите уж, что перешёл на C++
   const Packet& packet = *reinterpret_cast<Packet*>(data);
   if (length != sizeof(Packet) + packet.length)
     throw std::logic_error("Packet size mismatch");
   for (unsigned i = 0; i < packet.length; ++i) {}
}

Comments

[Армянское Радио]

Последний вариант про структуры будет работать как попало из-за выравнивания полей, о котором вы не упомянули.

[jcmvbkbc]

> int mas[] используется в двух местах.
В трёх. С пустыми скобками можно объявить глобальный массив.

[Mercury13]

Формально верно, но на знакомых мне архитектурах всё должно быть нормально.
К тому же выравнивание полей, насколько я знаю, задаётся только через #pragma.

[Mercury13]

jcmvbkbc: В чём разница с моим первым?

[jcmvbkbc]

Mercury13: объявление от определения отличаете?

[jcmvbkbc]

> вариант про структуры будет работать как попало из-за выравнивания полей
Армянское Радио: но не из-за наличия в структуре массива нулевой длины

[Армянское Радио]

jcmvbkbc: Ну тут еще сверху добавится выход за границу массива, что является неопределенным поведением.

[jcmvbkbc]

Армянское Радио: ну тогда надо начать с того, что массив нулевого размера в структуре -- это вообще не по стандарту. По стандарту (с99) -- массив с пустыми скобками (четвёртое, кстати, место). Неопределённое поведение возникает при обращении за пределы объекта на который "наложена" такая структура.