Cerca nel sito:
ricerca
avanzata

Frasi Celebri...

Un solo pensiero dell'uomo vale pi? dell'universo intero.

Giovanni Croce 

Sondaggio:

Quale tra queste ? la pi? bella?

Monica Bellucci
Jennifer Lopez
Paola Barale
Selen
Sabrina Ferilli
Luisa Corna
Laura Freddi
Susanna Messaggio

visualizza risultati


 

La keyword typename

 

Consideriamo il seguente esempio:


  template < class T >
  class TMyTemplate {
    public:
      /* ... */
    private:
      T::TId Object;
  };


E` chiaro dall'esempio che l'intenzione era quella di utilizzare un tipo dichiarato all'interno di T per istanziarlo all'interno del template.
Tale codice puo` sembrare corretto, ma in effetti il compilatore non produrra` il risultato voluto. Il problema e` che il compilatore non puo` sapere in anticipo se T::TId e` un identificatore di tipo o un qualche membro pubblico di T.
Per default il compilatore assume che TId sia un membro pubblico del tipo T e` l'unico modo per ovviare a cio` e` utilizzare la keyword typename introdotta dallo standard:


  template < class T >
  class TMyTemplate {
    public:
      /* ... */
    private:
      typename T::TId Object;
  };


La keyword typename indica al compilatore che l'identificatore che la segue deve essere trattato come un nome di tipo, e quindi nell'esempio precedente Object e` una istanza di tale tipo. Si ponga attenzione al fatto che typename non sortisce l'effetto di una typedef, se si desidera dichiarare un alias per T::TId il procedimento da seguire e` il seguente:


  template < class T >
  class TMyTemplate {
    public:
      /* ... */
    private:
      typedef typename T::TId Alias;

      Alias Object
  };


Un altro modo corretto di utilizzare typename e` nella dichiarazione di template:


  template < typename T >
  class TMyTemplate {
    /* ... */
  };


In effetti se teniamo conto che il significato di class in una dichiarazione di template e` unicamente quella di indicare un nome di tipo che e` parametro del template e che tale parametro puo` non essere una classe (ma anche int o una struct, o un qualsiasi altro tipo), si capisce come sia piu` corretto utilizzare typename in luogo di class. La ragione per cui spesso troverete class invece di typename e` che prima dello standard tale keyword non esisteva.

 

successivo
–«  INDICE  »–

 

 

 

 
Powered by paper&pencil (carta&matita ) - Copyright © 2001-2019 Cataldo Sasso