Практика языка C (МФТИ, 2023-2024). Семинар 3.1. Линейный поиск и простые сортировки.

Рет қаралды 6,932

Konstantin Vladimirov

Күн бұрын

Пікірлер: 25

@АндрейВасильев-ъ9э Жыл бұрын

Классный сериал👍

@siarheimarozau6763 8 ай бұрын

На рисунке на 52 минуте мне кажется что логичнее написать в первой строчке int *arr[3]; int *pa = &arr[0]; вместо int *arr[3]; int *pa = &arr3[0];

@ddvamp 5 ай бұрын

51:10 Константин, как заметили ниже, здесь что-то не так. Во-первых, &arr3[0] это указатель на массив, а &arr3 это указатель на указатель на массив (int (**) [3]). Вероятно вы имели в виду &arr[0] и &arr. Во-вторых, адрес массива нельзя записать в int *, там должен быть как раз int (*parr3)[3]

@tilir 4 ай бұрын

Да при изложении на доске тут есть опечатки. Но на то и доска, а не слайды.

@МаксимРябцев-п9с 2 ай бұрын

Спасибо за уроки! Где вы делаете презентации?

@tilir 2 ай бұрын

powerpoint, шаблон basic

@vdalart Жыл бұрын

5:50 const int * const cpca можно инициализировать и &a, и &b - ошибки не будет

@tilir 11 ай бұрын

Спасибо, внёс в errata.

@antonzhurba865 Жыл бұрын

как для практической части не раскрыта тема const для первого курса, когда всё таки его писать и когда его стоит упустить? Также упомянул бы основные проблемы что связанные (потеряна константности, "const poisoning").

@tilir Жыл бұрын

Мы ещё много раз вернёмся к const. Пока правило простое: не собираемся изменять -- ставим const.

@ДенисСомин Жыл бұрын

Спасибо большое за лекцию, было, хоть и не сложно, но интересно. Осталась правда пара вопросов: 1) можно ли написать свою обёртку над qsort, принимающая последним аргументом int (*)(), таким образом нам для каждого компаратора не пришлось бы писать эти явные преобразования из void * в TYPE *? (Вопрос, конечно, почему разработчики qsort так не сделали (скорее всего из-за ухудшения читаемости прототипа функции)) 2) вы рассказали о расстановке квалификатора const и его смысл, однако не объяснили семантику выражения const void *ptr, правда это больше не вопрос, конечно, а придирка) 3) касательно сидекл и динамических массивов, что вы думаете по поводу указателя на vla в роли матрицы? т.е. int (*matrix)[m] = malloc(sizeof *matrix * n); это хорошая практика или же нет?

@tilir Жыл бұрын

(1) Вы имели в виду int(*)(...)? Это добавить оверхеда которого и так немало. Каст же бесплатный. (3) Плохая практика. Работа VLA не гарантируется на конформной реализации в C и VLA явно запрещены в C++.

@ДенисСомин Жыл бұрын

@@tilir с vla понял, а касательно первого вопроса - нет, я имел в виду именно int (*)(), т.е. определение функции-обёртки выглядело бы так: void qsort_(void *arr, size_t num, size_t size, int cmp()) { qsort(arr, num, size_t, cmp); } Либо же ввести макрос а-ля #define QSORT_CB(CMP) (int (*)())CMP и потом вызывать qsort(arr, num, size, QSORT_CB(cmp)); ну либо макрос на сам кусорт Хотя первый вариант мне нравится больше, там же обёртка заинлайнится. И в сухом остатке мы получаем преимущество в виде экономии двух строк для каждого компаратора. т.к. имхо const int *lhsi = lhs; const int *rhsi = rhs; выглядит ужасно

@tilir Жыл бұрын

@@ДенисСомин а как может работать компаратор без аргументов?

@ДенисСомин Жыл бұрын

@@tilir так в си же объявление функции как int foo(); - синонимично тому, что для функции не предоставлено информации о количестве и типе аргументов, т.е. её можно вызвать с любыми аргументами, а определение int foo() {} да, синонимично функции не принимающей аргументов. UPD: и да, тип int (*)() является совместимым с любым типом int (*)(parameter type list)

@tilir Жыл бұрын

Я к слову был уверен что это уже запретили году этак в 99м. Это немыслимо дурной хак, подписывающий вас на все возможные проблемы с ABI. Функция без аргументов это void, всё остальное не должно применяться.

@ivankrutov8789 Жыл бұрын

Слайд 16. Кажется нужно заменить ++j на --j.

@tilir Жыл бұрын

Спасибо, занёс в errata

@ShtrikeBirb Жыл бұрын

Кстати, а пузырек не выиграет у других в плане утилизации кэша?

@tilir Жыл бұрын

Нет конечно. Там каждая итерация проходит полное расстояние.

@victormustya1745 Жыл бұрын

На 17 слайде косяк: следующий минимальный элемент 3, хотя в массиве есть 2 не на своём месте.

@tilir Жыл бұрын

Мы вслепую запускаем bubble sort каждый раз от конца массива. Он подхватывает в данном случае 3 и начинает её топить обменами вниз. Причём даже когда она перестаёт топиться, он идёт дальше. По дороге он установит и двойку.

@victormustya1745 Жыл бұрын

@@tilirв случае bubble sort да. А в случае selection sort надо выбирать сначала двойку.