Templated function not called

Question

Я перегрузил функцию в своем классе строк, однако ее никогда не вызывают. Зачем?

template <class T> 
class StringT { 
public: 
    void assign(const T* ptr); 
    template <size_t N> void assign(const T(&ptr)[N]); 
}; 

int main() { 
    StringT<char> str; 
    str.assign("Hello World"); //calls "void assign(const T* ptr)" although type is (const char[12]) 
} 

Answer 1

Для получения дополнительной справки, некоторые конкретные ссылки на Стандарт:

13.3.3 Лучшей жизнеспособная функция

С учетом этих определений жизнеспособная функция F1 определена как лучшая функция, чем другая жизнеспособная функция F2, если для всех аргументов i ICSi (F1) не является худшей последовательностью преобразования, чем ICSi (F2), а затем. ..

• F1 не шаблон функции специализации и F2 шаблон функции специализации ...

В этом случае функция, не шаблонный (очевидно) не шаблон функции специализация и преобразование "Hello World" в char const* не хуже, чем const char[N], согласно правилам ранжирования, определенным в таблице в разделе «Стандартные последовательности преобразования». Согласно этой таблице, как No conversions required, так и Array-to-pointer conversion считаются точными совпадениями в контексте разрешения перегрузки. Аналогично, если шаблонные перегрузки заменяются на не-шаблонную перегрузку (то есть, как void assign(const T(&ptr)[12]);), то компиляция str.assign("Hello World"); завершится неудачей из-за неоднозначного вызова.

Чтобы убедиться, что функция не-шаблон не рассматриваются для перегрузки, есть следующее примечание в разделе «Явная спецификации аргумента шаблона»:

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

Для этого вы можете использовать str.assign<>("Hello World");.

Answer 2

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

Детали here

Если вы хотите сохранить функцию, не шаблонный, но принудительно назвать шаблон один попробовать

str.template assign("Hello World");