Здравствуйте.

Сегодня изучал многомерные массивы. У меня возникла первая часть вопросов связанных с примером приведённым в главе.

Привожу код, несколько изменён в связи с индексацией предложенной в книге
Предварительные комментарии.
Функция day_of_year возвращает порядковый номер дня по номеру месяца и дня.
Функция month_day неявно возвращает день и номер месяца по году и порядковому номеру.




0
K&Rмы поместили в начало массива day_tab столбец из нулей для того, чтобы номера месяцев изменялись естественным образом от 1 до 12, а не от 0 до 11. Так как за экономию памяти у нас пока не награждают, такой способ проще чем подгонка индексов.

Мне кажется если человек понял что такое указатель, то математического аппарата для индексации хватит. Это только усложняет, на мой взгляд, нужно изменить этот код в последующих изданиях, я их к сожалению не видел. Может уже изменили. Но больше меня удивила фраза про экономию памяти. Я вообще в шоке от нее. Это сейчас я могу добавить этот вектор-столбец без проблем, но раньше ?Экономия памяти была особенно актуальна. Этот столбец я убрал тут, изменил немного индексацию, и все дела .
Попутно: подскажите пожалуйста, как мне посмотреть все байты онлайн, где хранятся все элементы мои массива и тп. То есть как наблюдать за всей памятью выделенной для программы ОС онлайн. Какое-то средство при дебаге наверняка есть ? использую VS Express 2013 for Desktop

1
Для меня это выглядит как x ^ y v z, где ^ конъюнкция а v дизъюнкция. Но как это будет работать ?? ну я догадываюсь что 0^1v0 вернёт 0 например, и эта схема работает подобным образом. Верно ведь ? но почему способ определения высокосного года не year%4?

2.1-2.2
Лучше вынести в качестве глобальных переменных ? Почему да или нет ?

3.1-3.2
Ну while ведь очевидней, код второй функции я написал не смотря на то, какой код приведён и Ритчи и Кернигана, но когда увидел for, был удивлён, ведь это жутко нелогично делать тут for, очевидно это while ! Хотя for и while это одно и то-же, это я понимаю. Или в этом своя фишка которую я не понимаю ? Как вы бы поступили в таком случае ?

4
Как организовать блок 3.1/3.2 подобным образом ? Ну очень нравятся такие конструкции, жутко красивые :p

5.1-5.2
Мне уже хочется написать yd -= day_tb[leap][i++] , но правильно ли так ? На 100 ли процентов компилятор проведёт инкремент вторым действием ?? на всех машинах ? во всех ос ? Возникнет ли в данном случае неудачный пример побочного эффекта по K&R ?
Да и вообще такой код мне кажется красивым, как while(*a==*b) в коде где идёт лексографическое сравнение строк(именно там, а не где его приводят K&R), но для меня очевидно, что начинающий программист который в дальнейшем будет читать мой код, может это не понять и запутаться. Ответьте на этот вопрос, и скажите как вы сами предпочитаете делать ?

Пример изначально показался скучным( в который раз), но в итоге понравился ( в который раз такое)

K&RМассив day_tab является первым двухмерным массивом с которым мы имеем дело. По определению в С двухмерный массив по существу является одномерным массивом, каждый элемент которого является массивом. Поэтому индексы записываются как



По мне так раз по существу n-мерные массивы одномерны, то запись вторая была бы логична. Некоторый аналог сложной индексации внутри массива.
Вопрос: Фраза выделенная красным подразумевает что элементы в памяти расположены друг за другом ? Вот мой тест:


а что делает мой 060 ? Скрин прикрепил, но не понял отобразится он туту или нет сразу

Пробую вывести значения двухмерного массива через указатели как будто бы работаю с линейным массивом




Этот код идёт по подмассивам массива ? и причём он никогда не остановится, потому не while

Окей, я понял что не всё так просто как говорят Керниган и Ритчи, и я сделал так



Но, почему у меня на экране только один массив ? где весь ?

То есть он нашёл нуль внутреннего подмассива и остановился, вероятно всего так, и на 060 этот нуль как раз и находится, теперь нужно понять почему так, почему для записи с именем массива и в цикле while (*(pday_tb+i)!='\0')
компилятор не понимает где конец именно этого двухмерного массива

White Owl, спасибо.

Я прочитал, и в нём расхождение. Потому в мою голову и закрались сомнения. Сначала должно быть использовано значение и потом будет инкремент. Но, на страницах 56-57, где как раз рассказывается про побочный эффект, написано:
K&R...примером типичной неудачной ситуации является оператор


Возникает вопрос, старое или новое значение i служит в качестве индекса. Компилятор может поступать разными способами, и в зависимости от своей интерпретации выдавать разные результаты...

А вот я дошёл до самой главной фразы в этой главе, видимо они больше всего относится к описанию 2хмерных массивов:
K&RЕсли двумерный массив передается функции, то описание соответствующего аргумента функции должно содержать количество столбцов; количество строк несущественно, поскольку, как и прежде, фактически передается указатель.


те я могу написать на выбор:



Судя по тому что я привёл выше из K&R, я понял что в функцию я передаю не двухмерный массив, а блок на 13 элементов(во втором и третьем случае).
Мне хочется передавать только указатель на array, и всё, а дальше вертеть им как хочу. Это возможно ? Правильно ли так рассуждать ? Как делаете вы ?

Dima T, спасибо C:

Заработало, это я исправлял индексацию, убрал лишние нули, и забыл уменьшить размер массива (

Dima_TТа же ошибка. 13 элементов а не 12.
Пиши < вместо <=, тогда код понятнее будет


дада, уже понял ( невнимательно изменил пример из K&R ((

Dima_TТа же ошибка. 13 элементов а не 12.
Пиши < вместо <=, тогда код понятнее будет



Спасибо за совет C:
Индексация мне ясна , что <= что <, все ошибки пошли от размерности массива (

Dima_T,
Вывел 16 и 17 элементы массива. Это здорово !)Сплошная индексация, или..мм. какое бы слово подобрать. Сквозная индексация, так лучше ? Или, сквозная относительная индексация. Мне нравится это свойство массивов на С

Dima_T, спасибо С:
Я понял, в целом.

Про високосные года, нашёл информацию, может быть кому-нибудь пригодится
http://ru.wikipedia.org/
По-прежнему високосным оставался год, номер которого кратен четырём, но исключение делалось для тех, которые были кратны 100. Отныне такие годы были високосными только тогда, когда делились ещё и на 400.

Иными словами, год является високосным в двух случаях: либо он кратен 4, но при этом не кратен 100, либо кратен 400. Год не является високосным, если он не кратен 4, либо он кратен 100, но при этом не кратен 400.

Экспериментировал сегодня. Исходя из того какая логика накладывается на n-мерные массивы f e :day_tb[1][3], day_tb[0][16], ожидал аналогичное на одномерные, но не получил то что хотел.
Два вопроса:
1.


На что указывает test[16]? У меня отобразилось число порядка миллиона, вместо ожидаемой 3.

2. Почему нельзя обратиться к одномерному массиву таким образом : ar[1][2] ? Исходя из общей логики массивов на С это ожидалось

Anatoly Moskovsky,
вы мне что-то не договариваете, или в K&R не договаривают.
я не придавал значения операции []. это ключевая фраза. Нужно сначала понять её. Для меня a[x] это return *(a[0]+x). Но судя по вашим словам я неправильно её понимаю

И сейчас вы связали напрямую указатели и массивы. То о чём я раньше спорил

Anatoly MoskovskyВо-вторых, если у вас в массиве не указатели, то конечно так обратиться нельзя. Потому что в С, к не-указателю нельзя применить операцию [].


Или вы выделили операцию [] отдельно.

В общем я слабо понял Вас. Наверное невнимательно что-то прочитал. Сейчас попробуй найти в книге что делает операция [].

Невнимательность (
Мне Dima_T объяснял это

Каким образов это ложное(в том смысле что по факту никакого приведения не происходит) приведение типов уводит от рекурсии через саму себя ?

Dima_TЕсли ты изначально объявил одномерный массив, то как компилятор узнает чему равно M ?


Всё верно. Теперь понял логику )

Происходит приведение по типу int* к int *

аа, верно.
ну да, имя массива это уже указатель
int a[1];
int* b=a;//так надо
а что я делаю когда пишу
int* b=&a;//я пытаюсь записать адрес по которому хранится адрес начала массива a ?

int a[300];
int* b=a; // b разве не указатель на массив ?
сейчас b содержит адрес первого элемента массива ?? я ведь правильно понимаю ?

Я аж испугался что что-то не понимаю, проверил !



Два абсолютно одинаковых адреса. Вы не до конца что-то мне говорите. Либо я что-то не знаю, а вы думаете что я знаю. Одно из двух на 100 процентов..




И всё-таки, что тут происходит ?




Всем спасибо!
Всем хороших выходных C:

SS

Здравствуйте.

Anatoly Moskovsky
int a[1]; // массив, имеет тип: int [1]
&a; // указатель на массив, имеет тип: int (*)[1]
int* b; // указатель на значение, тип int*
b = a; // компилятор неявно преобразует из int [1] в int* (поскольку такое преобразование часть языка)
b = &a; // компилятор не может неявно преобразовать из int (*)[1] в int*
// поскольку такого неявного преобразования в языке нет


K&RОчевидно существует очень тесное соответствие между индексацией и арифметикой указателей. в действительности компилятор преобразует ссылку на массив в указатель на начало массива. В результате этого имя массива является
указательным выражением.

И теперь исходя из комментария от K&R ваша запись

b = &a;


Вообще не имеет никакого смысла. Исходя из того что я знаю.

Например запись



ясны и несут очевидный смысл.

Когда мне может понадобиться

b = &a;


?

И

SashaMercuryКаким образов это приведение типов уводит от рекурсии через саму себя ?

Я перечитал ваше сообщение

Anatoly MoskovskyТаким образом получаем:
*(&a[0] + x)



Да, тут забыл еще одно преобразование, для устранения рекурсии определения [], через самого себя.

Адрес 0-го элемента &a[0] вычисляется так (element_type *)&a
(т.к. адрес массива и 0-го элемента совпадают в физическом представлении)

Т.е. итоговая формула такая:
*((element_type *)&a + x)



с учётом того что выв мне написали сегодня


Ооооо!!
Я понял, мне это нравится !!!! Я его полностью понял, от рекурсии до каждой скобки! Очень хорошее выражение, теперь мне оно очень нравится !)))
Мне кажется вместо всяких тестов на знание Си, можно показать это выражение ( и ещё плюс тот отличнейший пример от Дмитрия), и понять понимает ли человек язык хотя бы средне или нет

Сегодня с трудом заснул, думал про эту формулу. Насколько тут всё здорово.
Anatoly Moskovsky, а где вы это прочитали ? Что компилятор так преобразует ? Может я что-то завышаю, но я на 90 процентов уверен, что если спросить 100 среднестатистических программистов почему int a[x]~*((element_type_x*)&a+x), то ответит максимум 5.
K&R ещё не до конца изучил, неужели дальше это будет ?

под тильдой я имел ввиду эквивалентность как математический символ, а не оператор C

У меня следующее предположение, 0 приводится к указателю, и при добавлении единички работает арифметика указателей, то есть добавляют 4 байта на int, и возвращается 4.Возникает два вопроса
1)Почему (int*)a=a (где а in Z, не переменная)
2)почему возможен возврат числа не кратному 4, но видимо ответ из 1 вопроса

Если мне есть ещё смысл думать, то я подумаю, если я вообще не в ту степь смотрю, то вы лучше подскажите

f e:
printf("%i",(int*)17+10 );

вернёт 57

SS

Дайте какое-нибудь задание C:

SSПочему (int*)a=a (где а in Z, не переменная


a in Z, это как в Tex, число "а" принадлежит целым числам, но не переменная, то есть не объявлена как int a;
f e: (int*)100. 100-это и есть a


Dima_TНаверно есть смысл прекращать теорию изучать и написать что-нибудь простое, для закрепления теории на практике.

Дайте какое-нибудь задание C:

Я вышел из дома, компилятора тут нет, только C# к сожалению. Попробую предположить.

3["abcdef"]. Видим операцию [], значит получим *(3+"abcdef")..мне кажется что abcdef запишется в памяти в соответствии с ASCII, и будет прочитано число как int.Хотя стоп, это 6 байт,а int 4 байта.Нет. Вероятнее добавится 6 байт, даже 7, ещё конец массива. На выходе будет 10. Верно ?