使用模板调用运算符和通用 lambda 重载结构 - gcc vs clang

Question

我发现了一个代码片段，它可以在 clang++ 4（和主干） 中正常编译和工作，但在 g++ 7（和主干）中无法编译。假设我有以下 struct 类型：

struct a { void foo() { } };
struct b { void bar() { } };
struct c { void bar() { } };

我想用 lambda 创建一个 重载集 来显式处理 a，而 b 和 c 是 "caught" 使用 auto 参数的通用 lambda：

auto ol = overload([](a x)   { x.foo(); },
                   [](auto x){ x.bar(); })

当我调用 ol(a{}):

clang++ 编译并按预期运行：a "matches" 第一个 lambda，而 b 和 c匹配第二个
g++编译失败，报如下错误：
```
error: 'struct a' has no member named 'bar'
           [](auto x){ x.bar(); };
                       ~~^~~
```
编译器似乎试图实例化第二个 lambda，即使第一个 lambda 更匹配。希望这是一个错误，因为它对我来说似乎不直观。

请注意，如果我使用一些老式的 struct 实例而不是 lambda 表达式，那么两个编译器都可以正常工作：

struct s0
{
    auto operator()(a x) const { x.foo(); }
};

struct s1
{
    template <typename T>
    auto operator()(T x) const { x.bar(); }
};

auto os = overload(s0{}, s1{});
os(a{}); // OK!

我希望 lambda 大致相当于 s0 和 s1，所以这更令人惊讶。

这是我生成重载集的方式：

template <typename... Fs>
struct overloader : Fs...
{
    template <typename... FFwds>
    overloader(FFwds&&... fs) : Fs{std::forward<FFwds>(fs)}...
    {
    }

    using Fs::operator()...;
};

template <typename... Fs>
auto overload(Fs&&... fs)
{
    return overloader<std::decay_t<Fs>...>{std::forward<Fs>(fs)...};
}

这里是 live example on gcc.godbolt.org，显示了编译器之间的不同行为。

这是一个 g++ 错误吗？ 或者标准中是否有某些东西使 lambda 在这种情况下的行为与 struct 实例不同？

Answer 1

我认为这是一个 gcc 错误（提交为 80767), running afoul of [temp.inst]/9:

An implementation shall not implicitly instantiate a function template, a variable template, a member template, a non-virtual member function, a member class, a static data member of a class template, or a substatement of a constexpr if statement, unless such instantiation is required.

通用 lambda 的 operator() 与 auto = a 的实例化不是必需的，因此不应对其进行实例化。

使用模板调用运算符和通用 lambda 重载结构 - gcc vs clang

Overloading structs with template call operator and generic lambdas - gcc vs clang

c++

lambda

overloading

language-lawyer

c++17