如何在C ++中重载std :: function签名

Question

我知道这个问题之前已被问过，但尽管我是一位经验丰富的编码员，但我不理解答案，也没有办法回答这些先前的问题，要求澄清。 没有“回复”链接或任何东西。 此外，这些问题还很旧。 所以，我重新问这个问题。

我有一个类，我正在重载+ =运算符。 我想要一个重载来获取一个裸函数指针，另一个需要一个std :: function：

void operator+=(void (*handler)());
void operator+=(function<void (void *, T)> handler);

用法：

MyClass a;
a += [](){ DoSomething(); };
a += [](void *x, T y){ DoSomething(); };

遗憾的是，代码无法编译，因为编译器无法确定第二个重载是否不适合第一个+ =调用。

如何定义我的operator + =成员函数来纠正这个问题？ 我不想改变运算符的使用方式（例如通过使用显式转换）。 我希望他们像上面所说的那样工作。

此外，还有以下过载也很方便：

void operator+=(function<void()> handler);

但同样，我不能基于函数<>模板的签名重载。

有关更多示例，请参阅此主题： std :: function的模板参数（签名）是否是其类型的一部分？ （我尝试实现该线程中提到的各种解决方案， 但没有一个会编译 ）

我已经用多种语言编程多年了，但我的C ++技能有点生疏。

Answer 1

以下代码适用于g ++ 4.7.2：

#include <functional>
#include <iostream>

template <typename T>
typename std::enable_if<std::is_convertible<T, void(*)()>::value>::type
foo(T&&)
{
    std::cout << "foo(void(*)())" << std::endl;
}

void foo(std::function<void(void*,int)>)
{
    std::cout << "foo(std::function<void(void*,int)>)" << std::endl;
}

int main()
{
    foo([]{});
    foo([](void*,int){});
}

问题是由std::function的构造std::function引起的，它被声明为template <class F> function(F); 。 该构造函数接受所有内容作为其参数。 如果该参数没有合适的operator() ，则在构造函数的实例化期间会生成错误。

不幸的是，重载解析过程不需要实例化任何模板函数，因此编译器认为所有内容都可以转换为任何std::function类型。

Answer 2

好的，如果你有一个std::vector<std::function<void()>>你甚至不需要一堆重载。 最简单的方法是定义一个模板化operator+= ，可能“保护” std::enable_if只能为可调用对象或函数指针打开。 所以传递lambdas或原始指针将在assign（push_back / emplace_back）上为你做自动转换。 传递std::function将按预期分配。