¿Por qué un calificador de tipo en un tipo de retorno no tiene sentido?

Question

Decir que tengo este ejemplo:

char const * const 
foo(){ 
    /* which is initialized to const char * const */ 
    return str; 
} 

Cuál es la forma correcta de hacerlo para evitar la advertencia del compilador "calificador de tipo de tipo de retorno no tiene sentido"?

Answer 1

La forma en que lo escribió, decía "el valor del puntero devuelto es const". Pero los valores de tipo no de clase no son modificables (heredados de C), y por lo tanto el Estándar dice que los valores de tipo no de clase nunca son calificados (la const de extremo derecho fue ignorada incluso si usted lo especificó) ya que const sería algo redundante . No se escribe él - ejemplo:

int f(); 
    int main() { f() = 0; } // error anyway! 

    // const redundant. returned expression still has type "int", even though the 
    // function-type of g remains "int const()" (potential confusion!) 
    int const g(); 

Tenga en cuenta que para el tipo de "g", la const es significativa, pero para las expresiones generadas a partir de rvalue tipo int const se ignora la const. Por lo que el siguiente es un error:

int const f(); 
    int f() { } // different return type but same parameters 

No hay manera conocida para mí se podía observar el "const" excepción de conseguir en el tipo de "g" en sí (y pasando &f a una plantilla y deducir su tipo , por ejemplo). Finalmente observe que "char const" y "const char" significan el mismo tipo. Te recomiendo que te conformes con una noción y la uses en todo el código.

Answer 2

En C, porque los valores de retorno de función y los valores de calificación no tienen sentido.
Puede ser diferente en C++, ver otras respuestas.

const int i = (const int)42; /* meaningless, the 42 is never gonna change */ 
int const foo(void); /* meaningless, the value returned from foo is never gonna change */ 

Solo los objetos pueden ser calificados significativamente.

const int *ip = (const int *)&errno; /* ok, `ip` points to an object qualified with `const` */ 
const char *foo(void); /* ok, `foo()` returns a pointer to a qualified object */ 

Answer 3

Ninguna de las respuestas anteriores en realidad responde al "camino correcto para hacerlo" parte de la pregunta.

yo creo que la respuesta a esto es:

char const * foo(){ 

que dice va a devolver un puntero a un personaje constante.