См собственного типа для параметра шаблона шаблона

Question

Вот простейший случай того, что я пытаюсь сделать:

template <template <typename...> class Wrapper> 
struct WrapperTraits { }; 

template <typename... Whatever> 
struct Foo { 
private: 
    // I want Foo here to refer to the template, and not the current 
    // concrete type (which is injected into the namespace by default) 
    using Traits = WrapperTraits<Foo>; 
}; 

int main() 
{ 
    return 0; 
} 

А вот ошибка лязга 3.6 (он компилирует штраф на GCC 4.8 и 5.2):

error: template argument for template template parameter must be a class template or type alias template 
using Traits = WrapperTraits<Foo>; 
^ 
1 error generated. 
Compilation failed 

Вот пример вопроса о godbolt: https://goo.gl/cSx6QR

Спасибо за вашу помощь!

Answer 1

Никогда не думал, понял. Необходимость охвата его к пространству имен он находится в:

template <template <typename...> class Wrapper> 
struct WrapperTraits { }; 


template <typename... Whatever> 
struct Foo { 
private: 
    using Traits = WrapperTraits<::Foo>; // explicit namespace 
}; 


int main() 
{ 
    return 0; 
}