テンプレート関数の参照型変換？

Question

#include <iostream> 
const char* max(const char* a, const char* b) { 
    return strcmp(a,b) < 0 ? b : a; 
} 

template <typename T> 
const T& max(const T& a, const T& b, const T& c) 
{ 
    return max(max(a,b),c); 
} 

int main() 
{ 
    char* a = "abc"; 
    char* b = "cde"; 
    char* c = "def"; 
    const char* r = max(a,b); 
    char* s = max(a,b,c); 
    return 0; 
} 

はコンパイルできません。

max3a.cpp:9:12: error: invalid conversion from 'const char*' to 'char*' [-fpermissive]

return max(max(a,b),c); 

私は

template <typename T> 
const T& max(const T& a, const T& b, const T& c) 
{ 
    (const T)return max(max(a,b),c); 
} 

にテンプレート機能を変更する場合、それが正常にコンパイルされます。

Tがchar *場合、max(max(a,b),c)のタイプはconst Tある、const char*あります。どうして？

Answer 1

Tはchar *（charへのポインタ）である場合、max<T>()の戻り型がないchar const *（定数チャーへのポインタ）あります。

（定数ポインタのcharへの参照）です。

あなたが暗黙的に変更可能な文字からポインタに定数文字へポインタを変換することはできませんので、あなたは、エラーが発生します。