T deve essere un tipo completo da usare in `std :: declval <T>`?

Considera questo esempio (proveniente da qui ):

#include <type_traits>
#include <iostream>
template <typename U>
struct A {
};

struct B {
   template <typename F = int>
   A<F> f() { return A<F>{}; }

   using default_return_type = decltype(std::declval<B>().f());
};

int main()
{
    B::default_return_type x{};
    std::cout << std::is_same< B::default_return_type, A<int>>::value;
}

Si compila senza errori su gcc9.2 ma gcc7.2 e clang 10.0.0 si lamentano di Bnon essere completi. L'errore di Clangs è:

prog.cc:11:58: error: member access into incomplete type 'B'
   using default_return_type = decltype(std::declval<B>().f());
                                                         ^
prog.cc:7:8: note: definition of 'B' is not complete until the closing '}'
struct B {
       ^
prog.cc:16:8: error: no type named 'default_return_type' in 'B'
    B::default_return_type x{};
    ~~~^
prog.cc:17:35: error: no member named 'default_return_type' in 'B'
    std::cout << std::is_same< B::default_return_type, A<int>>::value;
                               ~~~^

— idclev 463035818
fonte

Il titolo della domanda non sembra corrispondere all'errore? A me sembra che GCC si lamenti .f(). Questo ha senso; il tipo incompleto Bnon ha un membro f.

— Salterio il

@MSalters ho pensato lo stesso, ma allora qual è il vero problema qui? Suppongo che una volta ottenuta un'istanza da std::declvalesso non ha più importanza se il tipo era completo o meno (e suppongo di sbagliarmi)

— idclev 463035818

[expr.ref] / 2 (C ++ 11) dice sull'accesso dei membri della classe: "Per la prima opzione (punto) la prima espressione deve avere un tipo di classe completo" . E Bnon è né completo né considerato completo inalias-declaration .

— Language Lawyer,

@LanguageLawyer Non ho trovato la frase che citi, ma solo "Il tipo di classe deve essere completo a meno che l'accesso dei membri della classe non compaia nella definizione di quella classe"

— idclev 463035818

@LanguageLawyer ok allora concordo sul fatto che la mia interpretazione era disattivata e sembra che qualcosa sia cambiato da c ++ 11, il che rende ok quanto sopra in standard più recenti ma non in c ++ 11. Ti dispiacerebbe scrivere una risposta?

— idclev 463035818

Risposte:

La fonte dell'errore non è std::declval, ma l'accesso al membro della classe incompleto.

Fino a quando la risoluzione di CWG1836 è stata unita 2,5 anni fa, lo standard richiedeva che la classe fosse completa in un'espressione di accesso ( E1.E2) del membro della classe .
[expr.ref] / 2 in C ++ 11 :

Per la prima opzione (punto) la prima espressione deve avere un tipo di classe completo.

[expr.ref] / 2 in C ++ 17 :

Per la prima opzione (punto) la prima espressione deve essere un valore gluteo con tipo di classe completo.

E una classe non è considerata completa al alias-declarationsuo internomember-specification .
[class.mem] / 6 in C ++ 17 :

Una classe è considerata un tipo di oggetto completamente definito ([basic.types]) (o tipo completo) alla chiusura dell'identificatore }di classe . All'interno della specifica del membro della classe , la classe è considerata completa all'interno dei corpi funzione, degli argomenti predefiniti, degli specificatori di noexcept e degli inizializzatori dei membri predefiniti (compresi tali elementi nelle classi nidificate). Altrimenti è considerato incompleto all'interno della sua stessa classe specifiche dei membri della .

— Avvocato linguistico
fonte

Da [declval] :

Note: il parametro template Tdi declvalpuò essere un tipo incompleto.

Questa formulazione è presente dal C ++ 11 (quindi non è possibile che i compilatori siano conformi a uno standard precedente)

— AndyG
fonte

fantastico, questo è quello che speravo. Sembra che gcc abbia risolto il problema, non so (ancora)

— idclev 463035818

@ formerlyknownas_463035818: il mio primo pensiero è stato che Tdovrebbe essere assolutamente un tipo completo. Sono contento di aver controllato lo standard.

— AndyG,