Question

注意：我打开了一个问题，但我想确保我的代码也有效。

我试图回复another answer，在玩lambdas和继承时发现了一些困难。
考虑以下最小的例子：

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 compiles it，clang 4.0 crashes 请注意，使用以下定义编译都很好：

auto l = [](int) {};

这是有效的代码还是我做了标准不允许的事情？

Here是我刚刚开启的问题的链接。

Answer 1

如果您需要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;
}

通用lambda，继承和尾随返回类型：这是有效的代码吗？

1 个答案: