C++ - significato di una dichiarazione che unisce typedef e typename

Question

In un file C++ di intestazione, sto vedendo questo codice:

typedef typename _Mybase::value_type value_type; 

Ora, mi pare di capire, citando «C++ il riferimento completo» di Schildt . typename può essere sostituito con la classe parola chiave, il secondo utilizzo di typename è informare il compilatore che un nome utilizzato in una dichiarazione modello è un nome di tipo piuttosto che un nome oggetto.

Analogamente, è possibile definire nuovi nomi di tipi di dati utilizzando la parola chiave typedef. Non sei effettivamente creando un nuovo tipo di dati, ma piuttosto definendo un nuovo nome per un tipo esistente .

Tuttavia, è possibile spiegare esattamente qual è il significato della riga di codice sopra, dove typedef e typename vengono combinati insieme. E cosa implica il "::" nella dichiarazione?

Answer 1

typedef sta definendo un nuovo tipo da utilizzare nel codice, come una stenografia.

typedef typename _MyBase::value_type value_type; 
value_type v; 
//use v 

typename qui è lasciare che il compilatore sa che value_type è un tipo e non un oggetto all'interno di _MyBase.

lo :: è lo scopo del tipo. È un po 'come "è in" così value_type "è in" _MyBase. o può anche essere pensato come contiene.

Answer 2

il typename sta dicendo che _Mybase::value_type è il nome di tipo in modo che lo typedef può fare affidamento su questo fatto.