与えられた:
typedef boost::tuple< T1, T2, T3, ..., Tn > Tuple_Tn
ここで、型 T1、... Tn はすべて定義されています。
そして、型 T_another が与えられたので、新しいタプル型を定義したいと思います:
typedef boost::tuple< T1, T2, T3, ..., Tn, T_another > Tuple_T_plus_1
しかし、ここに私の問題があります。それを定義したい場所では、タイプ Tuple_Tn と T_another にしかアクセスできません。
つまり、 Tuple_T_plus_1 を Tuple_Tn と T_another だけで定義することは可能でしょうか?