Сразу предупреждаю: это все чисто теоретические рассуждения.

Базовая идея: Для функции определяем два (три-десять) разных реализаций. Компилятор сам решает какую из них взять.
Функция имеет заголовок и несколько тел. Например так:

собираем это все в библиотеку. Потом в приложении вызываем sort(a); а при итоговой сборке ставим компилятору флаг "-speed" или "-memory". В соответствии с этим флагом компилятор подхватывает либо ту, либо другую реализацию sort(array).


В плюсах этого я вижу:
- не надо задумываться во время написания какой из примитивных алгоритмов брать в каждом конкретном случае.
- Упростится кросс-платформенное написание - можно будет собирать либо для десктопа, либо для микроконтроллера из одного общего исходника, а оптимизация под платформу пойдет автоматически.

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

флаги оптимизации которые я сходу могу назвать это: -speed, -memory, -singlethread, -multithread и что-то в духе -strength=N для тяжелых алгоритмов которые могут работать тщательно, а могут быстро (типа архиваторов, преобразователей картинок и тп).

Мысли?

Ну это можно решить либо расширенным синтаксисом вызова функции. Что-то типа:



Либо переключателями в духе pragma:



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

miksoftМожно сделать все то же самое в функции-обертке.Да, можно, для рантайма будет даже удобно: есть память - жрём, нету - экономим. Но тогда мы будем тащить за собой три функции вместо одной - две реализации и один враппер выбирающий которую из реализаций использовать сейчас.

softwarerЧто касается "автоматом определить", то это нереальная лирика. Скажем, алгоритм имеет временную сложность в лучшем случае O(1), в худшем O(n*n). Какой флаг поставит ему компилятор?да, это самая сложная часть в реализации этой идеи.

MasterZivСортировки бывают stable и unstable.А градацию такого уровня можно отнести в группу strength которую я предлагал для обработчиков графики.


После прочтения уже появившихся постов, я начинаю склоняться к мысли что подобное не будет иметь большого смысла в статической компиляции. А вот для динамической компиляции или в скриптовых языках - может быть интересно.


Собственно говоря я к этой идее из-за этого и пришел. Курочу наш конторский веб-сайт в очередной раз, сражаюсь с javascript и css. У разных браузеров разные возможности и приходится делать кучу подстроек под текущую ситуацию. Вот и возникла мысль превратить фабрику в синтаксис.



О! Еще один пример вспомнил:
VHDL - практически один в один. Реальная реализация этой-же самой идеи. Но там "алгоритмы" можно довольно жестко замерить по разным параметрам и в автомате это делать легко.
А для чистого софта это действительно плоховато подходит.