テンプレートメンバ関数の呼び出しでエラーが発生するのはなぜですか？

Question

template <class T> 
class Test{ 

public: 
    Test(T){ } 

    template <class U> 
    U to() const{ return U(0); } 
}; 


template <class Real> 
class Base{ 

    typedef Test<Real> TST; 

protected: 
    Base(const TST& t){ 

    _i = t.to<int>(); // <- but this gives error 
    } 

    int _i; 
}; 


template <class Real, class T> class Child; 

template <class Real> 
class Child<Real, int> : public Base<Real>{ 

    typedef Base<Real> F; 
    typedef Test<Real> TST; 

public: 
    Child() : F(TST(23.0)){ } 
}; 



int main(int argc, char* argv[]){ 

    Child<double, int> rw; 

    Test<double> t1(3.3); 
    int i = t1.to<int>(); // <- this works 

    return 0; 
} 

toを主な仕事に呼びますが、Base()で呼び出されたときの理由はわかりません。私が手にエラーがある：tはRealはテンプレート引数であるタイプTest<Real>であるので、tの種類は、実際に依存タイプです

t1.cpp: In constructor ‘Base<Real>::Base(const TST&)’: 
t1.cpp:20:15: error: expected primary-expression before ‘int’ 
t1.cpp:20:15: error: expected ‘;’ before ‘int’ 

Answer 1

ので。あなたは使ってコンパイラがtoを知っているようにテンプレート関数をされて必要があります。

_i = t.template to<int>(); 

そうでなければあなたはコンパイラが想定しているものです（多少の誤差を引き起こす）toと呼ばれるtのメンバー、上operator<を使用しようとすることができあなたがそれをマークしない限りtemplate。 mainから呼び出された場合、タイプt1はTest<double>であり、テンプレート引数に依存しないので、コンパイラはそれ自身のテンプレート関数を理解することができます。