c++ - 可以用参数包编译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 创建一个线性层次结构。