使用 std::function 进行隐式转换

Question

可能的重复：
为什么我的 C++ 编译器无法推导出模板参数用于升压功能？
不是模板参数（其类型的 std::function 的签名）？

我有以下内容：

#include <functional>

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

int main()
{
  Foo( Bar );     // Error: ambiguous
  Foo( [](){} );  // Error: ambiguous

  Foo( std::function<void()>( Bar    ) ); // Ok
  Foo( std::function<void()>( [](){} ) ); // Ok
}

我可以使 main() 中的前两行工作而无需在最后两行中进行函数样式转换吗？也许使用 std::enable_if 解决方案？

Answer 1

在 C++0x 中，可以使用 SFINAE 使其正常工作。然而，据我所知，MSVC 的 SFINAE bug 使它们无法实现，而 GCC 的库实现者似乎没有注意到，所以不幸的是这不起作用。

我猜你也可以尝试某种make_function。请原谅我的可变模板，已经有一段时间了。

template<typename T> struct function_proxy {
    T f;
    template<typename Ret, typename... T> operator std::enable_if<std::is_same<Ret, decltype(f(std::declval<T>()...))>::value, std::function<Ret(T...)>>::type () {
        return std::function<Ret(T...)>(f);
    }
};
template<typename T> function_proxy<T> make_function(T&& t) {
    return function_proxy { std::forward<T>(t); }
}

Answer 2

任何对 Foo 的调用，其参数不完全是 std::function 和 std::function 将导致未解决的重载。即使是像 Foo(1) 或 Foo("abc") 这样愚蠢的事情。这是因为 std::function 的构造函数是模板化的并且接受任何类型。 std::function(1) 在实例化时会失败，但重载决策会在实例化之前发生。

所以不，您需要以某种方式提供与其中一个函数的精确匹配。您可以引入 Foo 的其他重载实例，例如

void Foo(void (*)());
void Foo(void (*)(int));

，这将导致更好的匹配，并且歧义将不再存在。