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

我发现了一个可以编译并正常工作的代码片段clang++ 4（和主干）但无法编译g++ 7（和主干）。假设我有以下内容struct types:

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

我想创建一个过载设置从 lambda 表达式中处理a明确地，同时b and c使用通用 lambda“捕获”auto范围：

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

当我调用ol(a{}):

• clang++编译并按预期运行：a“匹配”第一个 lambda，同时b and c匹配第二个。

• g++编译失败，出现以下错误：

  error: 'struct a' has no member named 'bar'
             [](auto x){ x.bar(); };
                         ~~^~~
  

  编译器似乎尝试实例化第二个 lambda，尽管第一个 lambda 匹配得更好。希望这是一个错误，因为它对我来说似乎不直观。

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

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 and 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)...};
}

这是一个活生生的例子gcc.godbolt.org，显示编译器之间的不同行为。

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

我认为这是一个 gcc bug（提交为80767），遇到了[温度设置]/9:

实现不得隐式实例化函数模板、变量模板、成员模板、非虚成员函数、成员类、类模板的静态数据成员或 constexpr if 语句的子语句，除非这样的实例化是必须的。

通用 lambda 的实例化operator() with auto = a不是必需的，因此不应实例化它。