gcc 泛型lambda、继承和尾随返回类型:这个代码有效吗?

ktca8awb  于 2023-10-19  发布在  其他
关注(0)|答案(2)|浏览(116)

我试着回复another answer,在处理继承和继承时发现了一些困难。考虑以下最小示例:

template<typename Func>
struct Base: Func {
    Base(Func func): Func{func} {}

    template<typename... Args>
    auto operator()(Args... args)
    -> decltype(Func::operator()(args...), void()) {
        Func::operator()(args...);
    }
};

int main() {
    auto l = [](auto &&) {};
    Base<decltype(l)> mixin{l};
    mixin(0);
}

GCC 6.1编译它,clang 4.0崩溃(参见https://godbolt.org/z/6Gz5s66h5)。请注意,使用以下定义,两者都可以很好地编译:

auto l = [](int) {};

这是一个有效的代码,还是我正在做一些标准不允许的事情?
我将其报告为LLVM bug 31356,但我仍然想知道我的代码是否正确。

xfb7svmp

xfb7svmp1#

您打开的错误报告已在clang 14中解决。请注意,如果编译器崩溃,这 * 总是 * 一个bug,而不是你的错。
这是一个有效的代码,还是我正在做一些标准不允许的事情?
是的,它是有效的C++14代码,最近版本的clang也允许它。[](auto &&) {};[](int) {}之间的唯一区别是一个lambda有一个调用操作符,它是一个成员函数模板,而不仅仅是一个成员函数。
这不应该阻止你继承lambda的闭包类型,或者你在代码中做的任何其他事情。

解决方案

ICE似乎在解析-> decltype(Func::operator()(args...), void())时发生。你可以这样写:

template<typename... Args>
auto operator()(Args... args) -> decltype(std::declval<Func&>()(args...), void())
{
    Func::operator()(args...);
}
pzfprimi

pzfprimi2#

如果你需要一个解决clang问题的方法--下面的代码应该可以使用clang

#include <utility>
#include <iostream>

template <typename F>
struct Base : F
{
  Base (F f) : F {f} {}

  template <typename... Args>
  decltype(auto) operator () (Args&&... args)
  {
    std::cout << "(";
    F::operator () (std::forward<Args> (args)...);
    std::cout << ")" << std::endl;
  }
};

int
main ()
{
  auto l = [] (auto && i) {
    std::cout << i;
  };
  Base<decltype(l)> mixin {l};
  mixin (0);
  return 0;
}

相关问题