Все,
Это беспокоит меня уже некоторое время. В C\C++ (я думаю, java и .NET также) нам не нужно указывать индекс строки в многомерном массиве. Итак, например, я могу объявить массив целых чисел как таковой:
целочисленный Массив[][100];
Я думаю, что статические массивы в целом представлены как непрерывная память в стеке. Итак, принимая представление по столбцам, как компилятор узнает, сколько памяти нужно выделить в приведенном выше случае, поскольку в нем отсутствует одно из измерений?
На языке С++ вы не можете просто сделать
int Array[][100]; /* ERROR: incomplete type */
потому что это будет определение объекта неполного типа, что явно недопустимо в C++. Вы можете использовать это в неопределяющей декларации
extern int Array[][100];
(или как статический член класса), но когда дело доходит до фактического определения одного и того же объекта массива, оба размера должны быть указаны явно (или получены из явного инициализатора).
В C ситуация не сильно отличается, за исключением того, что в C есть такие вещи, как пробные определения, которые позволяют вам писать
int Array[][100];
Однако предварительное определение в этом отношении очень похоже на неопределяющее объявление, поэтому оно разрешено. В конце концов вам придется определить тот же объект с явно указанным размером в той же единице перевода (некоторые компиляторы не требуют этого как нестандартное расширение). Если вы попробуете что-то подобное в непредварительном определении, вы получите ошибку
static int Array[][100]; /* ERROR: incomplete type */
Так что, если подумать, помимо предварительных определений, ситуация в C и C++ не сильно отличается: в этих языках запрещено определять объекты неполного типа, а массив неопределенного размера является неполным типом.
0 : Это сделает тип массива полным, придав ему размер 1, и предоставит необходимое внешнее определение. См. 6.9.2 и его пример 2 в параграфе 5 n1256. Нестандартное расширение заключается в том, что вы можете предоставить другое определение в другом TU (таким образом, имея несколько внешних определений одного и того же объекта, вызывающих UB).
- person Johannes Schaub - litb; 01.12.2009
... = { 0 } (в отличие от ... = 0), но по какой-то причине это не прописано.
- person AnT; 01.12.2009
-fno-common), где во время компоновки они объединяются вместе, при этом создается объект, имеющий наибольший размер. Не уверен в этих деталях :)
- person Johannes Schaub - litb; 01.12.2009
В java и .NET не думайте о «стеке» — объекты живут в куче. А в C это просто объявление — только определение действительно резервирует память! Так что это НЕ будет приемлемым определением - если вы поместите его как единственную строку в файле a.c:
$ gcc -c a.c
a.c:1: warning: array ‘Array’ assumed to have one element
так что gcc просто обрабатывает его, как если бы это был int Array[1][100];, поскольку он предупреждает вас, что он делает.
int Array[][100] — это определение. Единственная причина, по которой он проскальзывает в C, заключается в специфических для C правилах для предварительных определений.
- person AnT; 01.12.2009
Он не знает, сколько памяти выделить, с array[] он знает, что массив является указателем (например, int *array). array[][100] (поправьте меня, если я ошибаюсь) совпадает с array[100].
int array[100]; — это всего 400 байт (в 32-битной сборке), int array[][100] — это совершенно другой зверь — ближе к int bah[]; (объявление, не определение!).
- person Alex Martelli; 01.12.2009
