为什么我得到错误 operator() 不能重载？

Question

我有两个operator() 的重载，一个接受一个函数引用，它接受任何类型作为其参数并返回任何类型。另一个接受一个函数引用，它接受任何类型作为其参数但返回void。在实例化我的类时，我收到以下错误：

In instantiation of 'A<void, int>':
error: 'void A<T, F>::operator()(void (&)(F)) [with T = void, F = int]' cannot be overloaded
error: with 'void A<T, F>::operator()(T (&)(F)) [with T = void, F = int]'

template <typename T, typename F> struct A {
    void operator()(T (&)(F)) {}
    void operator()(void (&)(F)) {}
};

void f(int) {}

int main() {

    A<void, int> a;
    a(f);
}

这些错误仅在第一个模板参数T 是void 时发生。我想知道我做错了什么以及为什么我不能以这种方式超载operator()？

Answer 1

好吧，如果 T 是 void，那么您有两个具有完全相同原型的函数定义 - 破坏 ODR。

尝试专门化你的结构来防止这种情况：

template <typename T, typename F> struct A {
    void operator()(T (&)(F)) {}
    void operator()(void (&)(F)) {}
};

template <typename F> struct A<void, F> {
    void operator()(void (&)(F)) {}
};