La deducción de argumentos de la plantilla falla en MSVC: ¿error?

Question

La siguiente falla al compilar el compilador VC++ 8.0 con un error (no he probado en el último compilador Visual Studio todavía.)

error C2440: const no se puede convertir de': 'retorno' char *' a ' const char (&) [6]'

template <typename T> 
inline T const& compare (T const& a, T const& b) 
{ 
    return a < b ? b : a; 
} 

int main() 
{ 
    ::compare("string1", "string2"); 
} 

Dentro de la plantilla de función, parece cadenas son const char (&)[6].

Por lo que sé, cuando se aplica el operador <, la matriz debe decaer a puntero. Entonces, ¿podría este error ser debido a un posible error?

Answer 1

Es ciertamente un error en el compilador de Microsoft.

Aquí hay una gran diferencia en C y C++.

e0 ? e1 : e2 

En C++, una condtional-expresión produce lvalue, menos al menos una de las expresiones de la segunda parte (después de '?') es un valor p, mientras que en C, una condicionalidad expresión siempre produce rvalue, no importa qué. Eso significa que, el siguiente código es perfectamente válido en C++, pero es un error en C:

int a=10, b=20; 
(a<b?a:b) = 100; //ok in C++, but error in C 

En C++, no se trata a un error, precisamente por la expresión (a<b?a:b) es la expresión de valor-I, así como se puede poner en el lado izquierdo de una tarea.

Volviendo ahora a la pregunta original. En su caso, a y b son matrices de tipo char (&) [6], y la expresión a<b? a : b debe producir un valor l, ya que no es necesario conversión de matriz a puntero. Pero en el compilador de Microsoft, parece que hay una conversión de matriz a puntero.

Para verificarlo, se puede escribir la siguiente:

template <typename T, int N> 
inline void f(T const (&a)[N]) {} 

template <typename T> 
inline T const& compare (T const& a, T const& b) 
{ 
    f(a < b ? b : a); //is the argument `char*` OR `char (&)[6]`? 
    return a < b ? b : a; 
} 

y da no error ya sea (en GCC), lo que significa la expresión del cual se establece f() es una matriz, no un puntero.

Answer 2

Por lo que sé, cuando se aplica el operador <, la matriz debe decaer al puntero.

Ese es el problema, es que se descomponían en una const char * pero por otra parte está tratando de convertir eso en const char [8] para el valor de retorno.

no estoy seguro de lo que la norma dice acerca de esto, pero si lo cambia a cualquiera:

compare<char *>("string1","string2"); 

o

compare(static_cast<const char *>("string1"),static_const<const char *>("string2")); 

A continuación, el parámetro de plantilla T habrá char * lugar char [8].