restituisce un valore senza dichiarazione di tipo return in template, si tratta di un refuso?

Question

Sto guardando il discorso Modern Template Metaprogramming di Walter E. Brown. Al 54:40 un codice è dato come di seguito

template<class T, T v> 
struct integral_constant{ 
    static constexpr T value = v; 
    constexpr operator T() const noexcept { return value; } // what does this mean? 
    constexpr T operator T() const noexcept { return value; } 
}; 

La mia domanda è che cosa significa questa linea constexpr operator T() const noexcept { return value; }, perché non v'è alcun tipo di ritorno ma è ancora tornando value? È un errore?

Answer 1

Sì, la seconda riga dell'operatore è errata e può essere eliminata completamente.

Un operatore di tipo come ad es. operator int() viene eseguito
quando l'oggetto viene colato o implicitamente convertito nel tipo:

MyClass myObject; 
int i = myObject; // here operator int() is used. 

Naturalmente, operator int() deve restituire int. Non è necessario o consentito scrivere un tipo di reso specifico per tali operatori. Nel tuo caso, non èdi float o qualcosa di specifico, ma il tipo di modello, ma è la stessa idea.

A parte il problema del tipo di ritorno, la seconda riga dell'operatore definisce nuovamente lo stesso operatore con gli stessi parametri, non possono esserci più funzioni con lo stesso nome e parametri.

E dopo l'intero struct, manca un punto e virgola.

Dopo fissazione di tali problemi, si compila: http://ideone.com/Hvrex5

Answer 2

Il primo non è un errore di battitura. Questa sintassi viene utilizzata per fornire la conversione da un oggetto della classe a un altro tipo.

Il tipo di ritorno è T

Vedi http://en.cppreference.com/w/cpp/language/cast_operator per maggiori informazioni.

Il qualificatore consexpr indica al compilatore che il valore restituito della funzione membro può essere determinato in fase di compilazione se l'oggetto su cui è stato chiamato è anche constexpr qualificato.

Il secondo non è una dichiarazione legale.