Quand un type de retour const interfère-t-il avec l'instanciation du modèle?

Question

De Herb Sutter de GotW #6

retour par valeur devrait normalement être const pour les types de retour non BUILTIN. ...

Note: Lakos (. Pg 618) fait valoir contre le retour valeur const, et note qu'il est redondant pour builtins de toute façon (par exemple, le retour "const int"), qu'il note peut interférer avec instanciation de modèle.

Alors que Sutter semble être en désaccord sur l'opportunité de retourner une valeur const ou valeur non const lors du retour d'un objet d'un type non construit par la valeur avec Lakos, il convient généralement que le retour d'une valeur const d'un intégré dans le type (par exemple const int) n'est pas une bonne idée. Bien que je comprenne pourquoi cela est inutile parce que la valeur de retour ne peut pas être modifiée car il s'agit d'un rvalue, je ne peux pas trouver un exemple de la façon dont cela pourrait interférer avec l'instanciation du modèle.

Veuillez me donner un exemple de la façon dont avoir un qualificateur const pour un type de retour peut interférer avec l'instanciation du modèle.

Answer 1

Voici un exemple simple impliquant des pointeurs de fonction:

const int f_const(int) { return 42; } 
int f(int) { return 42; } 

template <typename T> 
void g(T(*)(T)) 
{ 
    return; 
} 

int main() 
{ 
    g(&f_const); // doesn't work: function has type "const int (*)(int)" 
    g(&f);  // works: function has type "int (*)(int)" 
} 

Notez que Visual C++ 2010 accepte de manière incorrecte les deux. Comeau 4.3.10 et g ++ 4.1.2 n'acceptent pas correctement l'appel g(&f_const).