继承函数的重载解析

Question

我希望有一个结构，它接受任意数量的lambdas，并作为所有调用操作符的中心调用点。

如果使用与构造时给出的任何 lambda 不匹配的参数列表调用调用运算符，则应调用默认调用运算符。

我以为下面的代码可以完全做到这一点。每个 lambda 的调用运算符都通过使用“提升”到 Poc 类中。

template <typename ...Lambdas>
struct Poc : Lambdas...
{
    using Lambdas::operator() ...; // Lift the lambda operators into the class

    template <typename ...Ts>
    auto operator() (Ts...)
    {
        std::cout << "general call" << std::endl;
    }
};

// Deduction guide
template <typename ...Ts>
Poc(Ts... ts)->Poc<Ts...>;

int main()
{
    auto l_int = [](int) {std::cout << "int" << std::endl; };

    Poc poc{l_int};
    poc(1);//calls the default operator. why?

    return 0;
}

当我在结构中没有默认的call操作符时，一切都像预期的那样工作(使用有效的参数列表)。如果我将它添加到结构中(如上面的代码所示)，默认操作符每次都会被调用，不管我用哪个参数调用它。

在我的理解中，lambda-call-operators和structs(默认)call-operators出现在同一个作用域中。因此，它们都应该被视为过载解决方案。因为lamdba-操作符比通用的默认操作符更具体，所以应该选择它。

显然情况并非如此。为什么会这样？

我在Microsoft Visual C、Clang和GCC上进行了测试（都是最新版本）。

编辑：

• MSVC 15.8.9
• GCC 9.0.0（通过Wandbox）
• Clang 8.0.0（通过Wandbox）

Answer 1

当您发现它时，这很简单：您的运算符不具有常量资格，而lambda的运算符是（除非您将lambda定义为可变）。因此，它更适合您的非常量 Poc 实例。

只需添加缺少的< code>const:

auto operator() (Ts...) const