c++ - tr1::function 可以吞下返回值吗？

Question

boost::函数FAQ item 3专门针对我感兴趣的场景:

Why are there workarounds for void returns? C++ allows them! Void returns are permitted by the C++ standard, as in this code snippet:

void f();
void g() { return f(); }

This is a valid usage of boost::function because void returns are not used. With void returns, we would attempting to compile ill-formed code similar to:

int f();
void g() { return f(); }

In essence, not using void returns allows boost::function to swallow a return value. This is consistent with allowing the user to assign and invoke functions and function objects with parameters that don't exactly match.

不幸的是，这在 VS2008 中不起作用:

int Foo();
std::tr1::function<void()> Bar = Foo;

这会产生以以下内容开头的错误:

c:\Program Files\Microsoft Visual Studio 9.0\VC\include\xxcallfun(7) : error C2562: 'std::tr1::_Callable_fun<_Ty>::_ApplyX' : 'void' function returning a value

这是 VS2008 TR1 实现的失败吗？这在 VS2010 中有效吗？ TR1 是否解决了此功能？ C++0x 怎么样？

Answer 1

我相信 tr1 解决了这个问题。 N1836 (最新的 tr1 草案)说:

A function object f of type F is Callable for argument types T1, T2, ..., TN and a return type R, if, given lvalues t1, t2, ..., tNoftypesT1, T2, ..., TN,respectively,INVOKE(f, t1, t2, ..., tN)is well-formed([3.3]) and, if R is not void, convertible to R.

在您的示例中，R 是无效的，因此忽略了 Callable(可转换为 R)要求的最后一部分。

但是看起来 C++0x (C++11) 改变了规则。在 C++11 中，Callable 定义为 INVOKE(f, t1, t2, ..., tN, R)，它在 [func.require] 中定义为要求INVOKE(f, t1, t2, ..., tN) 可隐式转换为 R，当 R 为 void 时也不异常(exception)。所以在 C++11 中，您的示例应该会失败。