Что означает "параметризованная функция"?

@java_user · Регистрация: 07.04.2016

Студворк — интернет-сервис помощи студентам

Привет! Я читал различные статьи где описывали сортировку данных и встретил вот такую штуку:

C
1
qsort() — параметризованная функция, благодаря чему она может обрабатывать широкий набор типов данных, но вместе с тем вследствие этого она работает медленнее, чем эквивалентная функция, рассчитанная на какой-то один тип данных.

@Kastaneda · 04.04.2017, 12:02

Судя по описанию имелось ввиду, что она имеет шаблонные параметры, благодаря чему может работать с любым типом (соответсвующим type requirements).
Кстати вот это

Сообщение от java_user

но вместе с тем вследствие этого она работает медленнее, чем эквивалентная функция, рассчитанная на какой-то один тип данных.

чистая ложь, никакого замедления нет.

@GbaLog- · 04.04.2017, 12:04

Kastaneda, но qsort не шаблонная, она просто в качестве последнего аргумента принимает указатель на функцию, который в свою очередь принимает 2 указателя на const void и возвращает int.
думаю медленнее она из-за кастов из войд куда-то там.
http://en.cppreference.com/w/cpp/algorithm/qsort

@GoldenId · 04.04.2017, 12:05

Сообщение от Kastaneda

Судя по описанию имелось ввиду, что она имеет шаблонные параметры, благодаря чему может работать с любым типом

если так, гуглите "template"

@Mirmik · 04.04.2017, 12:16

qsort - это функция из стандартной библиотеки си. Шаблоны тут не причем. Замедляется она из-за использования указателей на функцию сравнения.
Касты из войд времени вроде бы не занимают. Хотя хз... Может и занимают.
А вот вызов функции через указатель - занимает. Впрочем, немного...

Сложно сказать, что имел ввиду автор, когда назвал сию функцию параметризованной. То есть понятно, что это он и имел ввиду, но смысл фразы неочевиден.

@java_user · 04.04.2017, 12:17 **[ТС]**

Сообщение от GoldenId

если так, гуглите "template"

Насколько мне известно "template" нет в Си, а qsort - это стандартная функция Си и она не шаблонная.

@Kastaneda · 04.04.2017, 12:19

Сообщение от GbaLog-

Kastaneda, но qsort не шаблонная

А, блин, да, я попутал. Тогда мой ответ выше не правильный.

Сообщение от GbaLog-

думаю медленнее она из-за кастов из войд куда-то там.

Думаю тут в другом дело, в первом посте у ТС'а правильно написано, что она медленней из-за того, что предназначена для всех типов сразу. Т.е. в С++ (в шаблонной версии сортировки) есть возможность сделать специализацию под конкретный тип, которая будет работать максимально быстро (ну или как минимум быстрее, чем обобщенный вариант) с этим типом. Знания о типе позволяют сделать обмен 2х элементов наименее затратно, например для целочисленных типов это можно сделать через ^ (xor), для других типов через доп. переменную и т.д. А тут void* полностью скрывает тип и нет возможности выбрать быструю реализацию для типа.

Добавлено через 35 секунд
GoldenId, Mirmik, java_user, да да, ошибку признал

@GbaLog- · 04.04.2017, 12:21

Сообщение от Kastaneda

Нет, в первом посте у ТС'а правильно написано, что она медленней из-за того, что предназначена для всех типов сразу.

да, я тоже попутал чего-то.

@Mirmik · 04.04.2017, 12:32

Kastaneda, qsort требует явно указать функцию сравнения, которая как раз может быть оптимизирована под реальный тип. Дело не в этом а в самом использовании указателя на функцию и, возможно, в том, что размер объекта задаётся рантайм переменной, а не константой компиляции (если размер жестко вписан в код, это однозначно не медленнее, хотя не факт, что быстрее).

Впрочем, я также хочу отметить, что не факт, что сортировка с применением с++ алгоритмов будет работать быстрее. Зависит от того, насколько хорошо оптимизатор это дело отрабатывает .

@Kastaneda · 04.04.2017, 12:40

Сообщение от Mirmik

qsort требует явно указать функцию сравнения, которая как раз может быть оптимизирована под реальный тип.

Но сравнение 2х элементов быстрее обмена 2х элементов, поэтому думаю функция сравнения тут роли не играет.

Сообщение от Mirmik

Дело не в этом а в самом использовании указателя на функцию

Оверхед не большой, к тому же в С++ тоже можно свой компаратор передавать, вызов которого может быть еще медленней, чем вызов функции по указателю.

@Mirmik · 04.04.2017, 12:58

А еще qsort использует побайтовое копирование вместо вызова конструкторов... что естественно.

@avgoor · 04.04.2017, 17:50

Сообщение от Kastaneda

Оверхед не большой

"Фишка" быстрой сортировки в том, что внутренний цикл очень маленький, чем он меньше - тем лучше. Поэтому во всех реализациях обмены происходят даже для равных элементов. Это получается быстрее, т.к. не нужно дополнительного условия на "скрещивание" указателей. Поэтому дополнительный вызов функции во внутреннем цикле сильно просаживает производительность.

Новые блоги и статьи Все статьи Все блоги /
Модель заражения группы наркоманов alhaos 17.04.2026 Условия задачи сформулированы тут Суть: - Группа наркоманов из 10 человек. - Только один инфицирован ВИЧ. - Колются одной иглой. - Колются раз в день. - Колются последовательно через. . .	Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.
Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .	Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .	Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .

Что означает "параметризованная функция"?

Решение

Решение

Решение

@GbaLog- Любитель чаепитий 3745 / 1801 / 566 Регистрация: 24.08.2014 Сообщений: 6,020 Записей в блоге: 1
	04.04.2017, 12:04
	Сообщение было отмечено java_user как решение Решение Kastaneda, но `qsort` не шаблонная, она просто в качестве последнего аргумента принимает указатель на функцию, который в свою очередь принимает 2 указателя на `const void` и возвращает `int`. думаю медленнее она из-за кастов из войд куда-то там. http://en.cppreference.com/w/cpp/algorithm/qsort 2

@Mirmik techpriest 634 / 213 / 57 Регистрация: 27.02.2014 Сообщений: 1,180
	04.04.2017, 12:16
	Сообщение было отмечено java_user как решение Решение qsort - это функция из стандартной библиотеки си. Шаблоны тут не причем. Замедляется она из-за использования указателей на функцию сравнения. Касты из войд времени вроде бы не занимают. Хотя хз... Может и занимают. А вот вызов функции через указатель - занимает. Впрочем, немного... Сложно сказать, что имел ввиду автор, когда назвал сию функцию параметризованной. То есть понятно, что это он и имел ввиду, но смысл фразы неочевиден. 1

@Mirmik techpriest 634 / 213 / 57 Регистрация: 27.02.2014 Сообщений: 1,180
	04.04.2017, 12:32
	Kastaneda, qsort требует явно указать функцию сравнения, которая как раз может быть оптимизирована под реальный тип. Дело не в этом а в самом использовании указателя на функцию и, возможно, в том, что размер объекта задаётся рантайм переменной, а не константой компиляции (если размер жестко вписан в код, это однозначно не медленнее, хотя не факт, что быстрее). Впрочем, я также хочу отметить, что не факт, что сортировка с применением с++ алгоритмов будет работать быстрее. Зависит от того, насколько хорошо оптимизатор это дело отрабатывает . 1

@Mirmik techpriest 634 / 213 / 57 Регистрация: 27.02.2014 Сообщений: 1,180
	04.04.2017, 12:58
	А еще qsort использует побайтовое копирование вместо вызова конструкторов... что естественно. 1

Опции темы