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

Question

注意:我正在向clang打开一个问题,但我想确保我的代码也是有效的.

---

我试图回答另一个答案,我在玩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 编译它,叮叮4.0 崩溃.
请注意,使用以下定义编译都很好:

auto l = [](int) {};

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

---

这是我刚刚打开的问题的链接.

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;
}