Перегрузка функций на основе аргументов Constexpr

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

Аргументы для перегрузки Constexpr

Рассмотрите сценарий, в котором функция отображает перечисление в std::string. Эффективная реализация предполагает создание массива std::strings во время компиляции. Однако, поскольку функции constexpr не могут создавать объекты, существующая реализация constexpr требует создания std::strings при каждом вызове, что приводит к снижению производительности. Перегрузка, специфичная для constexpr, позволит создавать std::strings во время компиляции, повышая эффективность.

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

Техническая осуществимость

Перегрузка функции, основанные на аргументах constexpr, технически возможны в C 11, хотя это потребует расширения стандарта. На данный момент поведение функций constexpr строго определено, и не существует механизма для различения аргументов constexpr и аргументов, не являющихся constexpr, при перегрузке функций.

Заключение

Хотя перегрузка constexpr повысит функциональность и эффективность функций constexpr, ее реализация потребует изменения стандарта C 11. Отсутствие этой функции побудило разработчиков использовать обходные пути, такие как шаблоны функций, но эти решения не обеспечивают тот же уровень удобства и гибкости, что и перегружаемые функции constexpr.