Warum ist ein Typ-Qualifier auf einem Rückgabetyp bedeutungslos?

Question

Sagen, ich habe dieses Beispiel:

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

Was ist der richtige Weg, es zu tun, um die Compiler-Warnung „Qualifier auf Rückgabetyp ist sinnlos“ zu vermeiden?

Answer 1

Die Art und Weise, wie Sie es geschrieben haben, hieß es "der zurückgegebene Zeigerwert ist const". Aber nicht-type rvalues ​​sind nicht modifizierbar (von C geerbt), und daher sagt der Standard, dass nicht-klasse type rvalues ​​niemals const-qualifiziert sind (ganz rechts const wurde ignoriert, auch wenn sie von dir spezifiziert wurden), da const irgendwie überflüssig wäre . Man braucht es nicht schreiben - Beispiel:

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(); 

Beachten Sie, dass für die Art von „g“, die const ist signifikant, aber für rvalue Ausdrücke erzeugt von Typ int const die const ignoriert. Also folgende ist ein Fehler:

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

Es gibt keine Möglichkeit, mir bekannt ist, dass Sie die „const“ anders als immer in der Art von „g“ beobachten konnten selbst (und vorbei &f zu einer Vorlage und ableiten seine Art , beispielsweise). Beachten Sie, dass "char const" und "const char" den gleichen Typ bedeuten. Ich empfehle Ihnen, sich mit einer Idee zufrieden zu geben und diese im gesamten Code zu verwenden.

Answer 2

In C, weil Funktion Rückgabewerte und qualifizierende Werte bedeutungslos ist.
Es kann in C++ anders sein, überprüfen Sie andere Antworten.

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 */ 

Nur Objekte können sinnvoll qualifiziert werden.

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

Keine der vorherigen Antworten beantworten tatsächlich den "richtigen Weg, es zu tun" -Teil der Frage.

Ich glaube, die Antwort ist:

char const * foo(){ 

, die sagt, dass Sie einen Zeiger einen konstanten Charakter zurückkehren.