可以使用参数包编译 c++17 lambda 继承的编译器

Question

我读到了using function declaration，我想编译最后一个例子。这是：

#include <iostream>
template <typename... Ts>
struct Overloader : Ts... {
    using Ts::operator()...; // exposes operator() from every base
};

template <typename... T>
constexpr auto make_overloader(T&&... t) {
    return Overloader<T...>{std::forward<T>(t)...};
}

int main() {
    auto o = make_overloader([] (auto const& a) {std::cout << a;},
                             [] (float f) {std::cout << 13 << f;});
}

即使我已经知道并理解它会做什么，我还是想编译和测试它。 但是，clang-4.0 和 g++-7.0 目前似乎都无法编译它。有什么地方可以用任何编译器试试吗？

Answer 1

P0195，建议的语言扩展允许：

template <typename... Ts>
struct Overloader : Ts... {
    using Ts::operator()...; // <== ill-formed without p0195
};

几周前（2016 年 11 月）在 Issaquah 才被 C++ 接受。 gcc 或 clang 还没有实现它并不奇怪。给他们时间。

目前的解决方法是为Overloader 创建一个线性层次结构。