型依存テンプレート名の宣言の使用

Question

CRTPがテンプレート内で使用される場合（または一般にテンプレートパラメータが基本クラステンプレート引数として渡される場合）、using宣言でベースのメンバテンプレートに名前を付けることはできませんか？

template< typename d > 
struct base { 
    template<typename> 
    struct ct {}; 

    template<typename> 
    void ft() {} 
}; 

template< typename x > 
struct derived : base< derived<x> > { 
    using derived::base::template ct; // doesn't work 
    using derived::base::ft; // works but can't be used in a template-id 
}; 

using宣言文法の生産は資格-IDを内蔵していないという理由だけで、言語の穴であるように私には思えます。

using-declaration: 
    using typename(opt) nested-name-specifier unqualified-id ; // have this 
    using :: unqualified-id ; 

unqualified-id: 
    identifier 
    operator-function-id 
    conversion-function-id 
    literal-operator-id 
    ~ class-name 
    ~ decltype-specifier 
    template-id 

qualified-id: 
    nested-name-specifier template(opt) unqualified-id // want this 
    :: identifier 
    :: operator-function-id 
    :: literal-operator-id 
    :: template-id 

だけルールがusing-declaration: using typename(opt) qualified-idた場合は、唯一の結果は

• は:: ~ class-name、:: conversion-function-idを除外されるだろう、と何の意味論的な意味を成さない:: ~ decltype-specifier template-id、
• が既に明示により禁止されている:: template-idを許可します7.3.3/5、および
• この穴にパッチを当てるのに十分な仕様を既に持っているtemplateキーワードを許可します。

この分析は正しいですか？

typenameの宣言では、クラステンプレートまたはエイリアステンプレートをインポートする必要があり、typenameを含まない宣言では、関数または変数テンプレートを現在のスコープにインポートする必要があります。

 using typename derived::base::template ct; 
    using derived::base::ft; 

これには、追加の仕様が必要な場合があります。また、現在の現状は、依存するテンプレート名には常に曖昧な種類（テンプレートIDではない）があるため、typenameがctに属していることは明らかではありません。

Answer 1

次はC++ 11で正常に動作します：

#include <iostream> 

template< typename d > 
struct base { 
    template<typename> 
    struct ct {}; 

    template<typename> 
    void ft() {std::cerr << "cheesecake" << std::endl;} 
}; 

template< typename x > 
struct derived : base< derived<x> > { 
    template<typename X> 
    using ct = typename derived::base::template ct<X>; // new in C++11 
    using derived::base::ft; 
}; 

int main() 
{ 
    derived<int>::ct<float> c; 
    derived<int> a; 
    a.ft<int>(); 
} 

それはあなたが望んでいない場合は、あなたがCTとフィートを使用したいと思う方法の例をお願いできますか？