Здравствуйте, _vanger_, Вы писали:

__>Ух ты! А почему, когда длины строк равны, они интерпретируются как string, а если различны, как char*?

Строковые литералы имеют тип массивов. А это значит, что литералы разной длины имеют разный тип. Такой вот ускользающий от внимания факт. И фокус в том, что во втором варианте используются неконстантные указатели. Поэтому шаблонный вариант дает лучшее соответствие типов формальных и фактических параметнов, но подходит он только для литералов одинакового типа, то есть, одинаковой длины. Но если мы добавим еще одну перегрузку с константыми указателями, то в обоих случаях будет использоваться только она, как дающая наилучшее соответствие формальных и фактических параметров:

https://ideone.com/CCBEMy

#include <iostream>

template <typename T>
int foo(T&, T&) { return 1; }

int foo(char*, char*) { return 2; }

int foo(const char*, const char*) { return 3; }


int main()
{
   std::cout << foo("Hello", "World") << std::endl;
   std::cout << foo("Hello", "World!") << std::endl;
}