为什么从 C++ 中的 lambda 类型继承时需要类内使用声明？ [复制]

Question

我想制作一个实用程序，允许将多个 lambda 表达式组合成一个重载的仿函数。在 C++17 中其实很简单，只需要 5 行代码：

template <typename... Funcs>
struct overload : public Funcs... {
    using Funcs::operator()...;
    constexpr overload(Funcs&&... funcs) noexcept : Funcs{funcs}... {}
};

我想知道为什么需要使用声明？最初，当我写这篇文章时，我没有包含 using Funcs::operator()...; 行，编译器 (GCC) 抱怨 operator()() 模棱两可。

为什么这里需要使用声明？据我所知，类内使用声明用于在派生类中生成基类public 的protected 成员。由于 lambda 类型已经将 operator()() 声明为 public，因此 using 声明不应该有所作为。

Here is an example usage code (godbolt):

auto f = overload{
    [](int){return "int ";},
    [](char){return "char ";},
    [](float){return "float ";},
    [](){return "void ";}
};
std::cout << f(3) << f('a') << f();

Answer 1

呼叫接线员有名字。它的名字是operator()。在考虑派生类的接口时，派生的 operator() 名称是名称查找的唯一候选者。

每个基类的operator() 必须导入派生类的命名空间，否则它不是名称查找的候选对象。

和这个是一样的：

struct base
{
  void foo();
};

struct derived : base
{
  // uncomment next line to allow this to compile
  // using base::foo;

  void foo(int);
};

void test(derived& d)
{
    // matches the signature of the base class's foo(), 
    // not the derived classes foo(int)
    d.foo();
}

在上述声明中，derived::foo 是不可用的 base::foo 的影子