多态lambda的非类型模板参数

Question

有可能写这样的东西吗？

[](std::index_sequence<std::size_t ...I> s) {
};

还是这个？

[]<std::size_t ...I>(std::index_sequence<I...> s) { 
}

C++14或C++17中的语法是什么？还是根本不可能？基本上，我只想将I作为模板参数包，而lambda只是实现这一点的一种方式。或者，是否有语法可以实现以下内容？

std::index_sequence<std::size_t ...I> x = std::make_index_sequence<10>{};
// I now is a local template parameter pack

Answer 1

GCC提供后一种语法作为扩展，但它不是标准的：

template <typename... Ts>
void foo(const std::tuple<Ts...>& t) {
    auto l = [&t]<std::size_t ...I>(std::index_sequence<I...> s) { 
        std::initializer_list<int>{ (std::cout << std::get<I>(t), 0)... };
    };
    l(std::index_sequence_for<Ts...>{});
}

实时演示

Answer 2

不完全相同，但也许您可以使用助手函数来推送序列，如下所示：

#include <functional>
#include <cstddef>
#include <iostream>
auto lambda = [](auto... I){
    int arr[] = { (std::cout << I << std::endl, 0)... };
    (void)arr;
};
template<std::size_t... I>
constexpr auto f(std::index_sequence<I...>) {
    return lambda(I...);
}
int main() {
    f(std::make_index_sequence<3>());
}