クラスの外部スコープのtemplate-patameterに基づく

Question

クラス関数の宣言と定義の両方で、クラスのテンプレートパラメータに基づいてtypedefを使用するにはどうすればよいですか？

私のクラスがあるとします

template<class T> 
class A 
{ 
    typedef T::T1 X; 
    typedef T::T2 Y; 

    X& f1(Y& y); 
    Y& f2(Y& y); 

    // More declarations 
}; 

ので定義で、私は書くことができません。

typedef typename T::T1 X; 
typedef typename T::T2 Y; 

template<class T> 
X& A<T>::f1(Y& y) {...} 

template<class T> 
Y& A<T>::f2(Y& y) {...} 

を（私の場合はTがMaxSimplePathVertex<VertexType<VertexIDType>>ある、と私は3つの以上のtypedefがあり、とても面倒です）。

私はすべてのtypedefをに複製することができますが、それぞれの機能定義はですが、それは優雅な解決策のようには見えません。

もちろん、私は#define X T1を行うことができますが、普通はそのようなものには#defineを使用することをお勧めします。

だから最高の解決策は何ですか？

Answer 1

戻り値の型のテンプレートとメンバのtypedefを処理する場合、後続の戻り値の型は実際の日の節約になります。あなたは、単にメンバ関数名の後に表示され

template<class T> 
auto A<T>::f1(Y& y) -> X& {...} 

template<class T> 
auto A<T>::f2(Y& y) -> X& {...} 

物事はあなたが彼らの前にA<T>::を配置する必要がないことを意味A<T>テンプレート、で検索していると言うことができます。

Answer 2

完全にスペルそれを、戻り値の型は、メソッドの定義を先行する場合、型は現在の名前空間ではなく、クラスのメソッドの名前空間に評価されるため：

template<class T> 
class A 
{ 
    typedef typename T::T1 X; 
    typedef typename T::T2 Y; 

    X& f1(Y& y); 
    Y& f2(Y& y); 

    // More declarations 
}; 

template<class T> 
typename A<T>::X& A<T>::f1(Y& y) {} 

template<class T> 
typename A<T>::Y& A<T>::f2(Y& y) {} 


struct Foo 
{ 
    using T1 = int; 
    using T2 = double; 
}; 

int main() 
{ 
    A<Foo> a; 
} 

しかし、我々は、末尾の復帰を使用それが簡単になるので、型は、戻り値の型は、メソッドのクラスのコンテキストで評価されています

template<class T> 
class A 
{ 
    typedef typename T::T1 X; 
    typedef typename T::T2 Y; 

    X& f1(Y& y); 
    Y& f2(Y& y); 

    // More declarations 
}; 

template<class T> 
auto A<T>::f1(Y& y) -> X& // <-- this X is a A<T>::X 
{} 

template<class T> 
auto A<T>::f2(Y& y) -> Y& {} 


struct Foo 
{ 
    using T1 = int; 
    using T2 = double; 
}; 

int main() 
{ 

    A<Foo> a; 
}