c++ - C++11 可选模板类型参数？

Question

如果我想编写一个具有可选类型参数的类，我可以执行以下操作：

template<typename T>
struct X
{
        T t;
};

template<>
struct X<void>
{

};

int main()
{
        X<int> a;
        X<void> b;
};

有没有办法写出来，这样 void 是不必要的？IE：

int main()
{
        X<int> a;
        X b;
};

我试过这个：

template<typename T = void>
struct X
{
    T t;
};

template<>
struct X<void>
{

};

int main()
{
    X<int> a;
    X b;
};

但我得到：

test.cpp: In function ‘int main()’:
test.cpp:16:4: error: missing template arguments before ‘b’
test.cpp:16:4: error: expected ‘;’ before ‘b’

score 4 · Accepted Answer

从技术上讲，您需要编写：

X<> b;

但是您可以使用 typedef 简单地修复这种丑陋：

typedef X<> Y;

然后你可以这样做：

Y b;

score 1 · Accepted Answer

如果这是可能的：

template <typename T>
using X = std::is_void<T>::value ? _X<> : _X<T>

但这并不能编译，所以不幸的是你被困typedef在另一个答案中。

2 回答 2