C++ 11/14/17：テンプレートパラメータとしてのテンプレートクラスポインタ

Question

テンプレートクラスポインタを使用してテンプレート関数を宣言できますか？このようなもの：

template <typename FirstType, typename ... TypesRemaining> 
class MyClass 
{ 
    // ... 
}; 

template <int n, template <typename FirstType, typename ... TypesRemaining> typename MyClass<FirstType, TypesRemaining...>::*ptr> myFunction() { 
    // ... 
} 

ポインタタイプを宣言するには 'using'を使用できますか？このような何か：

template <typename FirstType, typename ... TypesRemaining> 
class MyClass 
{ 
    // ... 
}; 

template<typename FirstType, typename ... TypesRemaining> 
using ptrMyClass = MyClass<FirstType, TypesRemaining...>*; 

template <int n, template <typename FirstType, typename ... TypesRemaining> typename ptrMyClass<FirstType, TypesRemaining...> ptr> myFunction() { 
    // ... 
} 

Answer 1

あなたはこのようなものは、（打ち鳴らすと罰金コンパイルし、GCCとICEいます）を行うことができます。

template <typename FirstType, typename... TypesRemaining> 
class MyClass 
{ 
    // ... 
}; 

template<int n, auto ptr> class 
myFunction_impl; 

template 
< 
    int n 
, typename FirstType 
, typename... TypesRemaining 
, MyClass<FirstType, TypesRemaining...> * ptr 
> class 
myFunction_impl<n, ptr> 
{ 
    public: static void 
    impl(void) 
    { 
     // ... 
    } 
}; 

template<int n, auto ptr> auto 
myFunction(void) 
{ 
    return(myFunction_impl<n, ptr>::impl()); 
} 

int main() 
{ 
    myFunction<0, static_cast<MyClass<int, int, int> *>(nullptr)>(); 
    return 0; 
} 

Online compiler link