Перегрузка шаблона функции C ++

Question

Этот пример взят из книги шаблонов C ++ Josuttis:

 #include <iostream>
 #include <cstring>
 #include <string>

 // maximum of two values of any type (call-by-reference)
 template <typename T>
 inline T const& max (T const& a, T const& b)
 {
     return  a < b  ?  b : a;
 }

 // maximum of two C-strings (call-by-value)
 inline char const* max (char const* a, char const* b)
 { 
    return  std::strcmp(a,b) < 0  ?  b : a;
 }

 // maximum of three values of any type (call-by-reference)
 template <typename T>
 inline T const& max (T const& a, T const& b, T const& c)
 {
     return max (max(a,b), c);  // error, if max(a,b) uses call-by-value
 }

 int main ()
 {
   ::max(7, 42, 68);     // OK

    const char* s1 = "frederic";
    const char* s2 = "anica";
    const char* s3 = "lucas";
    ::max(s1, s2, s3);    // ERROR

}

Он говорит, что причиной ошибки в ::max(s1, s2, s3) является то, что для C-строк max(max(a,b),c) вызывает max(a,b), что создает новое временное локальное значение, которое может быть возвращено функцией по ссылке.

Я не понимаю, как создается новое локальное значение?

Answer 1

Для C-строк этот код создает локальное значение, то есть локальную переменную, в которой хранится адрес (указатель типа char const *):

std :: strcmp (a, b) <0? б: а; </p>

Следовательно, возврат ссылки на это (с использованием функций шаблона) приводит к ошибке. В этом случае ссылка типа char const * const & на локальный объект возвращается функцией шаблона max после того, как C-строка max вернула копию. Функции шаблона должны возвращать указатели по значению, а не по ссылке.

Функции шаблонов должны быть перегружены для типов указателей.