用作模板函数输入的函数的 void 返回值被视为参数

Question

假设您有一些带有一些方法的目标类：

class Subject
{
public:
  void voidReturn() { std::cout<<__FUNCTION__<<std::endl; }
  int  intReturn()  { std::cout<<__FUNCTION__<<std::endl; return 137; }
};

和一个 Value 类（在概念上与 Boost.Any 类似）：

struct Value
{
  Value() {}
  Value( Value const & orig ) {}
  template< typename T > Value( T const & val ) {}
};

我想使用 Subject 类中的方法生成一个 Value 对象：

Subject subject;
Value intval( subject.intReturn() );
Value voidVal( subject.voidReturn() );  // compilation error

我在 VC+ 中收到以下错误+2008：

error C2664: 'Value::Value(const Value &)' : cannot convert parameter 1 from 'void' to 'const Value &'
Expressions of type void cannot be converted to other types

和 gcc 4.4.3：

/c/sandbox/dev/play/voidreturn/vr.cpp:67: error: invalid use of void expression

当您想在模板类中使用它时，上下文是这样的：

template< typename Host, typename Signature > class Method;

// Specialization for signatures with no parameters
template< typename Host, typename Return >
class Method< Host, Return () >
{
public:
  typedef Return (Host::*MethodType)();
  Method( Host * host, MethodType method ) : m_Host(host), m_Method(method) {}

  Value operator()() { return Value( (m_Host->*m_Method)() ); }
private:
  Host       * m_Host;
  MethodType   m_Method;
};

在返回某些内容（即 intReturn）的方法上使用此 Method 类看起来像：

Method< Subject, int () > intMeth( &subject, &Subject::intReturn );
Value intValue = intMeth();

但是，使用 voidReturn 执行此操作方法：

Method< Subject, void () > voidMeth( &subject, &Subject::voidReturn );
Value voidValue = voidMeth();

产生与上面类似的错误。

一种解决方案是进一步部分专门化 void 返回类型的 Method：

template< typename Host >
class Method< Host, void () >
{
public:
  typedef void Return;
  typedef Return (Host::*MethodType)();
  Method( Host * host, MethodType method ) : m_Host(host), m_Method(method) {}

  Value operator()() { return (m_Host->*m_Method)(), Value(); }
private:
  Host       * m_Host;
  MethodType   m_Method;
};

除了感觉丑陋之外，我还想专门化 X 个签名参数的 Method 类，这已经涉及大量代码重复（希望 Boost.Preprocessor 可以在这里提供帮助），然后添加 void 返回类型的专门化只会使重复工作加倍。

是否有办法避免对 void 返回类型进行第二次专门化？

Answer 1

您可以使用 Return 并专门化 operator() 处理。无需复制整个模板。

// I think it's a shame if c++0x really gets rid of std::identity. It's soo useful!
template<typename> struct t2t { };

// Specialization for signatures with no parameters
template< typename Host, typename Return >
class Method< Host, Return () >
{
public:
  typedef Return (Host::*MethodType)();
  Method( Host * host, MethodType method ) : m_Host(host), m_Method(method) {}

  Value operator()() { return call(t2t<Return>()); }

private:
  Value call(t2t<void>) { return Value(); }

  template<typename T>
  Value call(t2t<T>) { return Value((m_Host->*m_Method)()); }

private:
  Host       * m_Host;
  MethodType   m_Method;
};

Answer 2

不，绝对没有办法传递void。这是语言中的不规则现象。

函数参数列表(void) 被翻译为()。 Bjarne 更喜欢后者而不是前者，并且不情愿地允许 C 约定作为一种非常有限的语法糖。您甚至不能替换 void 的 typedef 别名，并且您当然不能有任何其他参数。

我个人认为这是一个坏主意。如果您可以编写 void(expr)，那么您应该能够“初始化”void 类型的匿名参数。如果您还可以编写一个具有任意数量的 void 参数的函数，那么就会有一种方法以未指定的顺序执行多个表达式，这会以某种方式表达并发性。

至于处理不同大小的参数列表（也称为可变参数），请在开始尝试学习 Boost 预处理器之前参阅 C++0x 中的可变参数模板。