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

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 是可能的。

而且我也知道如何使用 alias 和 using

我只是问这可能吗？与其对我说 NO，不如让我 downvote

Answer 1

您可以将您的 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 正确，那么据我所知，没有办法做到这一点。

Answer 2

你愿意接受一个稍微不同的名字，你可以使用一个using声明来做类似的事情：

using myy = my<int>;

然后将您的类型称为：

myy::i