是否可以使用没有参数的模板专门化？

Question

我为自己做了这个语法，因为我认为它对于以后来说更方便。

temolate<typename U> struct identity{typedef U type;}; 
temolate<typename T, typename identity<T>::type value=0> struct my{ 
    typedef std::vector<T> vec; 
    typedef std::array<T,value> arr; 
    typedef std::set<T> set; 
    // and so forth 
}; 

我用它：

int main(){ 
    my<int>::vec v; // okay 
    my<int,3>::arr a; // okay 
    // and so forth 
} 

但我也希望这样做的语法：
（专攻的我上面）

template<??????????> // what should I do here? 
struct my<?????????>{ // or may be here 
    typedef int i; 
    typedef float f; 
    typedef double d; 
    // and so forth; 
} 

所以，我可以做此：

int main(){ 
    my::i a; // for int, what should I do? 
    my::f b; // for float, and 
    my::d c; // for double, and 
    // AND I ALSI CAN 
    my<int>::vec v; // already I know 
    my<int,3>::arr a; // and know 
} 

这可能吗？

---

我看到这里：
Default template parameter partial specialization 之前我问。所以我知道my<>::i是可能的。

而且我也知道了如何使用

使用别名与我只问这是可能的吗？

using myy = my<int>; 

：与其说NO给我的，你让我downvote

Answer 1

你，你是愿意接受sligtly不同的名称，你可以使用声明做同样的事情用一个那么请参考类型：

myy::i 

Answer 2

您可以预设，您T到一个特殊的类型（这里default_type），然后专门为它：

template<typename U> struct almost_identity{typedef U type;}; 

class default_type{}; 

template<> struct almost_identity<default_type>{ typedef int type; }; 

template<typename T = class default_type, typename almost_identity<T>::type value = 0> struct my{ 
    typedef std::vector<T> vec; 
    typedef std::array<T,value> arr; 
    typedef std::set<T> set; 
    // and so forth 
}; 

template<> 
struct my<default_type, 0> 
{ 
    typedef int i; 
    typedef float f; 
    typedef double d; 
}; 

demo

这将允许您使用my<>::i。

如果你绝对想要my::i和my<int>::vec是正确的，那么据我所知，没有办法做到这一点。