/* main.cpp */ 

#include <iostream>

using namespace std;

/* main() */ 

template <class T>
void test(const T &) { cout << "1\n" ; }

void test(const char *) { cout << "2\n" ; }

int main()
 {
  test("x");
  
  char *c=0;
  
  test(c);
 
  return 0;
 }

> template <class T>
> void test(const T &) { cout << "1\n" ; }
>
> void test(const char *) { cout << "2\n" ; }
>
> int main()
>  {
>   test("x");
>  char *c=0;
>  test(c);
>  return 0;
>  }
>

• Почему при вызове test("x") должна быть вызвана вторая функция. После вывода аргумента шаблона компилятор стоит перед выбором из двух сигнатур:
  

  typedef const char T [2];
  void test(const T&);
  void test(const char *);

  
  Т.к. cv-квалификаторы, примененные к массивам, переносятся на их элементы (8.3.4/1), это эквивалентно:
  

  void test(const char (&) [2]);
  void test(const char *);

  
  Что дает неоднозначность, как я уже описал выше
  Автор: Павел Кузнецов
  Дата: 30.05.04
  . Однако т.к. первая функция является специализацией шаблона, то "выигрывает" вторая.
  
• Почему при вызове test(c) должна быть вызвана первая функция. После вывода аргументов шаблона компилятор имеет дело с двумя сигнатурами:
  

  typedef char* T;
  void test(const T&);
  void test(const char*);

  
  Соответственно:
  

  void test(char* const&);
  void test(const char*);

  
  Здесь уже ситуация отличается: преобразование char* -> const char* является Qualification conversion и, хотя имеет тот же ранг Exact Match, что и array-to-pointer conversion, относится к категории Qualification Adjustment, а не Lvalue Transformation. Это означает, что исключение относительно Lvalue Transformations из 13.3.3.2/3 на него не действует, и, соответственно, первая сигнатура "побеждает".