Conflit entre le type de retour et la déduction de type retour

Question

J'écris un code dans lequel le type de retour d'une fonction est plutôt compliqué. Je voudrais utiliser auto pour en déduire le type de retour, mais ce n'est évidemment pas possible dans une déclaration forward. Donc, j'espérais au moins double emploi avec le contenu de la déclaration de retour et procédez comme suit,

int q = 5; // veeery complicated type 

/* Declaration - the best we can do */ 
auto f() -> decltype(q); 

/* Later, in a different file */  
auto f() { 
    return q; 
} 

Cela produit l'erreur suivante dans GCC 7,

error: ambiguating new declaration of ‘auto f()’ 
note: old declaration ‘int f()’ 

Bien sûr, je pourrais répéter

dans la définition (qui fonctionne), mais pourquoi devrais-je besoin lorsque le type de retour est déjà uniquement donné par l'instruction return? Comment est le type de f dans ma définition finalement plus ambigu que int f()?

Answer 1

Le problème ici est qu'un retour arrière n'est pas le même que le type de retour purement déduit. Dans [dcl.spec.auto]/2

[...] Si la fonction declarator comprend un retour-arrière de type (8.3.5), qui spécifie le type de retour de la fonction déclarée

Alors

auto f() -> decltype(q); 

est vraiment

int f(); 

qui est différent de

auto f() 

Il est également [dcl.spec.auto]/13

redéclarations ou spécialisations d'une fonction ou d'un modèle de fonction avec un type de retour déclaré utilise un type d'espace réservé doit utiliser également cet espace réservé, pas un type déduit. [Exemple:

auto f(); 
auto f() { return 42; } // return type is int 
auto f();    // OK 
int f();     // error, cannot be overloaded with auto f() 
decltype(auto) f();  // error, auto and decltype(auto) don’t match 

Ce qui est un peu opposé de ce qui se passe ici, mais il n'exemplifient plus que ce n'est pas permis