документальнее не бывает. имя массива - это указатель объявленного типа на первый (нулевой) элемент массива.demiurg301 писал(а):... а документально?
Мастер Ломастер писал(а):документальнее не бывает. имя массива - это указатель объявленного типа на первый (нулевой) элемент массива.demiurg301 писал(а):... а документально?
осуществляя принудительное приведение типа [без нужды] указателя вы рискуете сильно осложнить себе жизнь: указатель и без того достаточно "острый предмет", чтобы его еще и прятать - травмы могут быть серьезными.
. А я думаю чо у меня всё переменные слетают то там то тут - то вместо нуля запишется белиберда, то наоборот не обнуляется... И гланое хаотически както, в зависимости от компиляции. Буду резать 
Если строго, то «идентификатор массива в большинстве случаев автоматически приводится к указателю на его первый элемент».Мастер Ломастер писал(а):документальнее не бывает. имя массива - это указатель объявленного типа на первый (нулевой) элемент массива.demiurg301 писал(а):... а документально?
Код: Выделить всё
int array[5][3];Код: Выделить всё
int (*parr)[3] = array; // правильно
int *pint = array; // ошибка
. Ищите другие причины.demiurg301 писал(а):А я думаю чо у меня всё переменные слетают то там то тут - то вместо нуля запишется белиберда, то наоборот не обнуляется... И гланое хаотически както, в зависимости от компиляции. Буду резать
дык я это и написал: для "многомерных" массивов надо просто разобраться, что именно лежит в массиве - на то указатель-имя-массива и указует. абсолютно конгруэнтноavreal писал(а):Если строго, то «идентификатор массива в большинстве случаев автоматически приводится к указателю на его первый элемент» ... Т.е. для массиваимя array автоматически преобразуется к указателю на массив типа int [3], так как array[0] -- это не int, а 3-элементный массив. И &array[0] (чему более простая запись array эквивалентна в силу автоматического приведения) означает адрес этого подмассива.Код: Выделить всё
int array[5][3];В первой строке мы завели указатель на 3-элементный массив и присвоили ему адрес первого подмассива. Адрес первого int в этом огороде нужно получать вручную int *pint = &array[0][0]; либо int *pint = array[0]; -- часть индексов придется вписать.Код: Выделить всё
int (*parr)[3] = array; // правильно
int *pint = array; // ошибка
Мастер Ломастер писал(а):указатель-имя-массива и указует
неправильно.Мастер Ломастер писал(а):имя массива - это указатель объявленного типа на первый (нулевой) элемент массива.
Код: Выделить всё
int foo( int arr[4] ) // какой тип у аргумента arr
{
++arr; // допустима ли эта операция и что она делает
2[arr] = 0; // что тут происходит
return sizeof(arr); // что вернёт функция
}Код: Выделить всё
foo:
movw r30,r24
std Z+7,__zero_reg__
std Z+6,__zero_reg__
ldi r24,lo8(2)
ldi r25,hi8(2)
retа Керниган с Ричи пишут вот что:avreal писал(а):Имя массива не есть указателем (иначе sizeof неправильно отработал бы), оно просто почти всегда автоматически приводится к такому указателю, так же автоматически, как char в выражениях всегда приводится к int.
и ещев действительности компилятор преобразует ссылку на массив в указатель на начало
массива. В результате этого имя массива является указательным выражением. Отсюда вытекает несколько весьма полезных следствий. Так как имя массива является синонимом местоположения его нулевого элемента ...
Имеется одно различие между именем массива и указателем, которое необходимо иметь в виду. указатель является переменной,... Но имя массива является константой, а не переменной ... Когда имя массива передается функции, то на самом деле ей передается местоположение начала этого массива. Внутри вызванной функции такой аргумент является точно такой же переменной, как и любая другая, так что имя массива в качестве аргумента действительно является указателем, т.е. Переменной, содержащей адрес.
То на самом деле функции передатся не имя массива, а сделанный из него указатель.Мастер Ломастер писал(а):и еще... Когда имя массива передается функции, то на самом деле ей передается местоположение начала этого массива. ... Внутри вызванной функции такой аргумент является точно такой же переменной, как и любая другая, так что имя массива в качестве аргумента действительно является указателем, т.е. Переменной, содержащей адрес.
Код: Выделить всё
void foo(int i);
foo(5.5f); // Что получит функция foo ? Означает ли это, что 5.5f -- целочисленная константа?И для унарного &.Мастер Ломастер писал(а):это для sizeof() сделано исключение при передаче ей имени массива...
ANSI C SPECIFICATION (C89) писал(а):3.2.2 Other operands
3.2.2.1 Lvalues and function designators
...
Except when it is the operand of the sizeof operator or the unary & operator, or is a character string literal used to initialize an array of character type, or is a wide string literal used to initialize an array with element type compatible with wchar_t, an lvalue that has type "array of type" is converted to an expression that has type "pointer to type" that points to the initial member of the array object and is not an lvalue.
очень просто - по наличию [] после идентификатора, и именно по этому признаку & и sizeof их и различаютavreal писал(а):Скажите, если бы идентификатор массива уже был указателем на его первый элемент, как бы удалось «сделать исключение» для sizeof и &? Как его можно было бы отличить от других указателей?
В оперетте «Белая акация» в соответствующем данной цитате месте звучит «и дело тут вовсе не в суеверии, а в том, что число 13 несчастливое».Мастер Ломастер писал(а):очень просто - по наличию [] после идентификатора, и именно по этому признаку & и sizeof их и различают
Код: Выделить всё
int array[3]; // тут скобочки [] есть
int foo1()
{
return sizeof(array); // тут скобочек [] нет
}
int foo2(int arg_array[3]) // тут скобочки [] есть
{
return sizeof(arg_array); // тут скобочек [] нет
}Переводится «и так тоже, но не исключительно так». Там, где нужен указатель -- имя массива можно в качестве него использовать.Мастер Ломастер писал(а):на обычный человеческий язык все-таки переводится именно как "используйте идентификатор массива, как указатель на его элементы".
...
по-моему, это так
Код: Выделить всё
int foo( int arr[4] ) // какой тип у аргумента arr
{
++arr; // допустима ли эта операция и что она делает
2[arr] = 0; // что тут происходит
return sizeof(arr); // что вернёт функция
}Си предоставляет вам более одного способа сделать ошибкуdemiurg301 писал(а):2[arr]=0 - какието высшие материи С. Откуда "2" то в имени?
см. выше - катана, однаков функцию попадет указатель на нулевой элемент этого массиваdemiurg301 писал(а):Значит всё таки можно передавать в параметр функции массив или он будет преобразован в указатель на 1 элемент?
что же тогда означает запись в аргументе функции foo2? указатель на 3 подряд идущих int-а? или что-то другое? каков смысл [3] в этом случае?avreal писал(а):Скобочки то есть, то нет, но sizeof прекрасно разбирается, где массив int, а где указатель на int.По одной простой причине. arg_array таки указатель, а array -- таки нет.
собственно, я нигде и не утверждал, что "исключительно так". по-моему, первой части достаточноavreal писал(а):Переводится «и так тоже, но не исключительно так». Там, где нужен указатель -- имя массива можно в качестве него использовать.
Не массив -- этого достаточно.Мастер Ломастер писал(а):что же тогда означает запись в аргументе функции foo2? указатель на 3 подряд идущих int-а? или что-то другое? каков смысл [3] в этом случае?
Мастер Ломастер писал(а):документальнее не бывает. имя массива - это указатель объявленного типа на первый (нулевой) элемент массива.
Мастер Ломастер писал(а):собственно, я нигде и не утверждал, что "исключительно так".
не достаточно, выходит... объяснения, которые я даю себе, вполне укладываются в мое представление о предмете. а что не укладывается - я спрашиваю у вас.avreal писал(а):Не массив -- этого достаточно.
А Вам какая разница? Вам и так хорошо.
но для начинающего приемлемое. думаю, из ваших пояснений ни у кого из начинающих ясности мгновенно не прибавилось, хотя они строго "научны". Никаких высших материй. Прямое следствие того, что по стандартуdemiurg301 писал(а):Не могли бы вы объянить всё таки вот эту строку 2[arr]=0 - какието высшие материи С. Откуда "2" то в имени?
Код: Выделить всё
expr1[expr2]Код: Выделить всё
*(expr1 + (expr2))«не массив» -- достаточно для того, чтобы показать, что есть таки разница между указателем, независимо от способа его объявления, и именем массива. Но этот вопрос Вас не интересует.Мастер Ломастер писал(а):не достаточно, выходит... объяснения, которые я даю себе, вполне укладываются в мое представление о предмете. а что не укладывается - я спрашиваю у вас.
пусть так, если вам так проще - разница между именем массива и указателем меня не интересует. но меня интересует смысл [3] в аргументе. что оно означает? об этом ранее речи не былоavreal писал(а):«не массив» -- достаточно для того, чтобы показать, что есть таки разница между указателем, независимо от способа его объявления, и именем массива. Но этот вопрос Вас не интересует.Мастер Ломастер писал(а):не достаточно, выходит... объяснения, которые я даю себе, вполне укладываются в мое представление о предмете. а что не укладывается - я спрашиваю у вас.
В результате через короткое время он, запомнивший категоричное «имя -- указатель» будет или долго мучиться вопросом «как узнать размер массива» (sizeof(array) должен ведь дать размер указателя!), либо считатьМастер Ломастер писал(а):когда пытаюсь помочь начинающему, не углубляюсь в дебри, в которых могу и сам заблудиться, а даю наиболее емкое, но понятное (и, чаще всего, непротиворечащее с стандарту)
Ага, точно, писал тут и тут тоже, и не так давно.demiurg301 писал(а):Не могли бы вы объянить всё таки вот эту строку 2[arr]=0 - какието высшие материи С. Откуда "2" то в имени?