White OwlИмя массива любой размерности это константный указатель на первую ячейку массива. Функция должна принимать указать определенного типа, а в вызове просто указываешь имя массива. Функция сама должна знать сколькомерный он. Но с точки зрения компилятора он всегда будет одномерным.

Нет, массив и указатель это совершенно разные типы, которые не имеют ничего общего.
Тем не менее, компилятор всегда заменяет тип аргумента функции с "массив" на "указатель на элемент", сохраняя тип элемента. Так что если бы мы написали
Компилятор заменит тип arg c int[10][10] на тип *int[10].

Но автоконверсия с типа на тип не означает идентичности типов. int в double тоже автоконвертируется, и что? int - это double?

Тем не менее массивы и указатели имеют разный linkage, так что мы не можем написать в *.h файле
а в *.cpp
Выскочит ошибка линковки, поскольку линкер не найдет символа foo, имеющего тип char[].

По поводу топика...
В общем, на эту тему есть два подхода - Pure C и C++

C не проверяет границы массива, так что можно нахимичить такую вешь:

struct IntegerArray {
int elementCount;
int arr[1];
};

Нам нужен массив со 100 элементами

struct IntegerArray* ia = (struct IntegerArray*)_alloca(sizeof(struct IntegerArray) + sizeof(int) * 100 )
ia->elementCount = 100;

Поскольку С не проверяет выхода за границы массива мы можем свободно юзать элементы с индексами 0 - 99, ибо свободная память есть. Для штампования таких структур можно написать макрос.

В С++ более предпочтителен строгий контроль, и лучше использовать чего - то типа std::vector, оверхед будет небольшой.

[quote White Owl] Естественно. Потому что в заголовке ты объявил КОНСТАНТНЫЙ указатель. А в коде, ты его пытаешься изменить.
[/quote]
Ни фига. extern означает, что где-то есть такой символ, но не в этом модуле.
Компилятор пожимает плечами и делегирует работу линкеру.

extern char foo[]
означает что в в каком то модуле есть глобальный массив foo.

char foo[] = "a string";
В данном случае отработает нормально, т.к. foo - массив
char *foo = "a string";
не отработает, т.к. foo - указатель.

http://www.prolegomena.net/Cstuff/ptrs/ptr.html

[quote White Owl]
> Между массивом и указателем нет ничего общего
Да??? :)
[/quote]

А что общего между пачкой значений одинакового типа(массив) и значением, содержащин некий адрес (указатель)?

[quote White Owl]
Намного чаще такие "безразмерные" массивы объявляют так:

struct IntegerArray {
unsigned int elementCount;
int arr[0];
};

Ноль - потому что считать реальный размер структуры потом будет проще.
А твоя формула расчета на самом деле выделит память не под сто элементов, а под сто один :)
[/quote]
Микрософт в почему-то предпочитает вариант с одним элементом. Например, в структуре BITMAPINFO. Влом глядеть в стандарт, может быть в C89 массивы нулевого размера и запрещены.

Лучше пускай четыре лишних байта лягут в стек, от греха подальше.

White Owl
Несовсем так. extern действительно означает что где-то, в каком-то из модулей есть переменная с таким-то именем, такого-то типа. И ее надо будет положить в сегмент DATA. Она может быть фактически объявленая в том же самом или другом модуле что и extern. В приниципе extern можно использовать для предопределения переменных.

А почему в BSS не положить? Некоторые компиляторы кладут неинициализированный глобальный массив в .bss , некоторые - в .data . В результате иногда получается, что int foo[100][100] превратился в ~40k нулей в бинари.

White Owl
Сергей Ильичextern char foo[]
char *foo = "a string";
не отработает, т.к. foo - указатель.
Нет. Это не отработает, потому в первой строке утверждается что где то будет объявлен константный указатель. А фактически объявляется переменная. Ты читать умеешь? Третий раз уже пишу - имя массива это КОНСТАНТНЫЙ указатель. Не переменная указатель, а константа. Ты не можешь ее куда-то перенаправить. А в этом примере ты как раз и делаешь перенаправление.

Какое перенаправление?

Это работает

Это тоже работает. Заметь - указатель константный.

Это не работает.

White Owl
Сергей ИльичА что общего между пачкой значений одинакового типа(массив) и значением, содержащин некий адрес (указатель)?
...
В общем, пачка значений где-то находится, так? Значит у нас есть адрес первого элемента этой пачки (иначе мы до нее никогда не доберемся). Как этот адрес в нашей программе обозначен? Вот как раз через имя пачки значений :)

А почему тогда структура - это не указатель? Ведь она тоже где-то лежит?

White Owl
Сергей ИльичЛучше пускай четыре лишних байта лягут в стек, от греха подальше.
Какой стек, если ты память динамически выделяешь? :)
_alloca() выделяет память в стеке. Очень многие реализации С предоставляют возможность выделять память в стеке.

White Owlой как меня щас будут пинааать.... :)
К сожалению, тема разошлась с той, ради чего я начинал этот спор.
А ради чего я начинал, я забыл. Так что расслабься.