Шаблоны функций - Явная специализация vs Глобальные функции (C++)

Question

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

Также Явные специализации шаблонов выполняется, если мы имеем более эффективную реализацию для конкретного типа данных.

Но вместо Явной специализации мы могли бы также просто закодировать нешаблонной Функцию, которая может быть вызвана из main. Это сэкономит нам время на обработку, поскольку компилятор найдет Функции Nontemplate быстрее, чем Явно специализированные шаблонные функции, которые, в свою очередь, будут лучше с точки зрения эффективности.

Так почему же мы используем Явной Специализация, когда у нас есть альтернативы просто звонят нешаблонных Функций?

Пожалуйста, исправьте меня, если я ошибаюсь!

Edit 1: сказали мне моему профессор, что всякий раз, когда мы делаем шаблоны функций и вызвать функцию из main, компилятор сначала ищет шаблонные функции и, если его не в состоянии обнаружить, что, то он ищет шаблон функции, из которого он в свою очередь делает шаблонную функцию, а затем вызывает ее.

Answer 1

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

Явная специализация используется, когда у вас есть специальный случай, который может быть полезен при специальной обработке. Иногда это происходит, как в случае с std::vector<bool>, в то время как в других случаях это очень удобно. Это означает, что пользователю функции не нужно знать, что есть специальный случай; это просто прозрачно.

Answer 2

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

Answer 3

Это позволило бы нам сократить время обработки, поскольку компилятор будет определять глобальные функции быстрее, чем явные специализированные шаблонные функции, которые, в свою очередь, будут лучше с точки зрения эффективности.

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

Во время выполнения (когда производительность действительно имеет значение, верно?), Производительность вызова экземпляра шаблона функции должна быть не лучше производительности вызова функции nontemplate.

Почему мы используем Explicit Specialization, когда у нас есть альтернатива просто вызова глобальных функций?

В общем случае для шаблонов функций вы не используете явную специализацию, потому что это обычно путано и сложно. Стандарт ISO C++ имеет поэтическое предупреждение, чтобы быть чрезвычайно осторожным при специализировании шаблонов функций.Вы можете прочитать статью "Why Not Specialize Function Templates?" Herb Sutter для хорошего объяснения проблем и почему вы не хотите специализировать шаблоны функций.