c++ - 形成对 void 的引用

Question

我有一个模板类应该允许 void作为模板参数。此类确实有一个传递参数引用的函数，因此我执行了以下操作:

template <typename T>
struct trait
{
    typedef typename boost::conditional<
        boost::is_void<T>::value,
        void, T &
    >::type type;
};

template <typename T>
struct foo
{
    typename trait<T>::type ref()
    {
        // do something
    }
};

然而编译器声称我会形成对 void 的引用在 struct trait<void> 的实例化中.为什么会这样，我怎样才能实现我想要的？

Answer 1

好吧，当您说 T& 时，您显然在条件类型定义中形成了对 void 的引用。这似乎最好通过特化来处理:

template <typename T> struct trait { typedef T& type; };
template <> struct trait<void> { typedef void type; };