Question

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

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

我想用lambdas创建一个重载集，它明确地处理a，而b和c被＆＃34;捕获＆＃34;使用auto参数的通用lambda：

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

当我调用ol(a{})时：

clang ++ 按预期编译和行为：a＆＃34;匹配＆＃34;第一个lambda，而b和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!

我希望lambdas大致相当于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 ++错误吗？或者标准中是否存在使lambdas在这种情况下与struct实例的行为不同的内容？

Answer 1

我认为这是一个gcc错误（以80767提交），与[temp.inst]/9发生冲突：

实现不应隐式实例化函数模板，变量模板，成员模板，非虚拟成员函数，成员类，类模板的静态数据成员或constexpr if语句的子语句，除非需要这样的实例化。

不需要使用operator()来实现通用lambda auto = a的实例化，因此不应该实例化它。

使用模板调用操作符和泛型lambdas重载结构 - gcc vs clang

1 个答案: