st-d::f命令赋值应该忽略返回类型吗？[重复]

Question

根据C 11或C 14标准，以下代码是否有效C？

#include <functional>

int ReturnInt()
{
  return 5;
}

int main( int argc, char **argv )
{
  std::function< void () > BoundType = ReturnInt;
  return 0;
}

该代码可以使用最新的cygwin版本的gcc（4.8.3）和clang（4.3.2）进行编译，但不适用于Visual Studio 2013、Visual Studio 2013 11月CTP或Visual Studio 14预览版。如果std:：function更改为boost:：function，它也可以在所有平台上编译。

我发现了另一个堆栈溢出问题，这表明它应该有效。

Answer 1

C 11和14中的std:：function没有您想要的行为。

它也无法检测严重的过载。

我们可以将其包装在不同的类型中，该类型既具有您想要的行为（val丢弃返回），又具有SFINAE错误过载检测，而我们如下所示：

template<class Sig>
struct checked_function;

template<class R, class... Args>
struct checked_function<R(Args...)>:std::function<R(Args...)> {
  using function = std::function<R(Args...)>;
  checked_function(std::nullptr_t):function() {}
  checked_function():function() {}
  template<class F, class=typename std::enable_if<
    std::is_convertible<
      typename std::result_of< F(Args...) >::type
      , R
    >::value
  >::type>
  checked_function( F&& f ):function( std::forward<F>(f) ) {}

  template<class F, class=typename std::enable_if<
    std::is_convertible<
      typename std::result_of< F(Args...) >::type
      , R
    >::value
  >::type>
  checked_function& operator=( F&& f ) { return function::operator=( std::forward<F>(f) ); }

  checked_function& operator=( checked_function const& o ) = default;
  checked_function& operator=( checked_function && o ) = default;
  checked_function( checked_function const& o ) = default;
  checked_function( checked_function && o ) = default;
};

template<class... Args>
struct checked_function<void(Args...)>:std::function<void(Args...)> {
  using function = std::function<void(Args...)>;
  checked_function(std::nullptr_t):function() {}
  checked_function():function() {}
  template<class F, class=typename std::enable_if<
    std::is_same<
      typename std::result_of< F(Args...) >::type
      , void
    >::value
  >::type>
  checked_function( F&& f, int*unused=nullptr ):function( std::forward<F>(f) ) {}

  template<class F>
  static auto wrap(F&& f){
    return [f_=std::forward<F>(f)](auto&&...args){
      f_( std::forward<decltype(args)>(args)... );
    };
  }
  template<class F, class=typename std::enable_if<
    !std::is_same<
      typename std::result_of< F(Args...) >::type
      , void
    >::value
  >::type>
  checked_function( F&& f, void*unused=nullptr ):
    function( wrap(std::forward<F>(f)) ) {}

   template<class F>
  typename std::enable_if<
    !std::is_same<
      typename std::result_of< F(Args...) >::type
      , void
    >::value,
    checked_function&
  >::type operator=( F&& f ) { return function::operator=( wrap(std::forward<F>(f)) ); }

  template<class F>
  typename std::enable_if<
    std::is_same<
      typename std::result_of< F(Args...) >::type
      , void
    >::value,
    checked_function&
  >::type operator=( F&& f ) { return function::operator=( std::forward<F>(f) ); }

  checked_function& operator=( checked_function const& o ) = default;
  checked_function& operator=( checked_function && o ) = default;
  checked_function( checked_function const& o ) = default;
  checked_function( checked_function && o ) = default;
};

它现在在C 14中编译（不是在C 11中，因为wrap：wrap可以在调用时用它自己的主体的副本替换，所以…）。可能会把样板文件减少很多。

它使用了一些C14特性（精确地说，在wrap中，可以使用lambda——您可以通过添加更多样板文件来消除这一点）。

还没跑。

Answer 2

代码在C 11中是未定义的行为，在C 14中格式错误。C 14将此备注添加到此构造函数的规范中：

备注：这些构造函数不应参与重载解析，除非f对于参数类型ArgTypes...和返回类型R是Callable（20.9.11.2）。

可调用在[func.wrap.func]/p2中定义：

类型为f的可调用对象f可用于参数类型ArgTypes，如果表达式调用（f，declval），则返回类型为R

要使此调用格式良好，不带R的调用的返回类型必须隐式转换为R（[func.require]/p2）。

在C 11中，这些语句是在Requry子句下的，这意味着由客户端来正确处理它们，如果客户端失败，任何事情都可能发生，包括成功编译。

LWG 2132改变了这一点。