Pourquoi je reçois zéro?

Question

Dans ce code (prêt à compiler):

 #include "stdafx.h" 
     #include <iostream> 
     #include <sstream> 

     using std::cout; 

     template<class T, int first, int second> 
     T make() 
     { 
      T result = T(); 
      std::stringstream interpreter; 
      interpreter << first << '.' << second; 
      interpreter >> result; 
      return result; 
     } 

template<int first, int second, class T = double> 
    struct Make 
    { 
     typedef T value_type; 
     static value_type value; 

    }; 

    template<int first, int second, class T> 
    T Make<first,second,T>::value = make<T,first,second>(); 



    template<int first, int second> 
    struct Real 
    { 
     typedef double type; 
     static type value; 
    }; 

     template<int first, int second> 
    typename Real<first,second>::type typename Real<first,second>::value = typename Make<first,second>::value; 


     int _tmain(int argc, _TCHAR* argv[]) 
    { 
     //cout << Make<1,2>::value << '\n';//UNCOMMENT THIS AND SEE WHAT I MEAN 
     cout << Real<1,2>::value; 
     return 0; 
    } 

S'il vous plaît voir le commentaire 4 lignes ci-dessus.

Answer 1

Cela fonctionne pour moi avec deux coups secs, enlever les décélérations TypeName redondants:

template<int first, int second> 
typename Real<first,second>::type typename Real<first,second>::value = typename Make<first,second>::value; 

Devient:

template<int first, int second> 
typename Real<first,second>::type Real<first,second>::value = Make<first,second>::value; 

(au moins dans gcc 4.4.4)

Le résultat est 1.2, 1.2 - qui est comme prévu (?)

Answer 2

Ce n'est pas prêt à compiler (vous ne vous typename où vous attendez un nom de variable). Après avoir résolu ces choses, je reçois 1.2 pour les deux:

http://codepad.org/z3UCiOfK

http://codepad.org/66xnnLbd

Edit: Il ne fonctionne pas dans VS 2005. Cela doit être un problème dans VC++ (au moins en 2005). C'est probablement lié à la façon dont ils effectuent certains traitements de modèles plus tard que la norme ne l'exige. C'est juste une supposition, cependant.

Answer 3

Si vous appelez réel < 1,2> :: valeur avant d'appeler Make < 1,2> :: valeur, il est initialisé en premier, donc il devient Make < 1,2> :: initial de la valeur non initialisée value, 0.

Si vous appelez Make < 1,2> :: value d'abord, il est initialisé correctement avec la fonction make(), il obtient la valeur 1.2. Puis, puisque le Real < 1,2> :: value est initialisé par la suite, il obtient cette valeur.