c++ - 模板化 lambda 的显式实例化

Question

这个问题在这里已经有了答案:





Familiar template syntax for generic lambdas

(1 个回答)


9 个月前关闭。




我刚刚遇到了显式实例化模板化 lambda 的问题。下面的代码无法编译，但我无法弄清楚在这种情况下出了什么问题:

        [&]<auto... II>(std::index_sequence<II...>) {
            auto check = [&]<auto I>(){
            };
            (check<II>(),...);
        }(std::make_index_sequence<N>{});

编译器错误(gcc 主干:11.0.0):

rswitch.cc: In lambda function:
rswitch.cc:42:28: error: expected primary-expression before ')' token
42 |                 (check<II>(),...);
|                            ^
rswitch.cc:42:26: error: binary expression in operand of fold-expression
42 |                 (check<II>(),...);

我看起来必须像这样使用模板消歧:

        [&]<auto... II>(std::index_sequence<II...>) {
            auto check = [&]<auto I>(){
            };
            (this->template check<II>(),...);
        }(std::make_index_sequence<N>{});

有没有其他方式来表达这一点？

Answer 1

check本身不是模板。它是一个未指定闭包类型的对象，包含

template<auto I> void operator()();

成员函数是模板。
该错误是由于尝试向 check 提供模板参数所致。 .这又不是模板本身。 lambda 函数调用运算符的模板参数需要是可推导的(即使它们被命名)，函数调用语法才能起作用。这在 C++20 中没有改变。
显式指定参数的唯一方法是非常丑陋

check.template operator()<II>()

但相反，让它可推导出可能更好。

[&]<auto... II>(std::index_sequence<II...>) {
    auto check = [&]<auto I>(std::integral_constant<decltype(I), I>){
    };
    (check(std::integral_constant<decltype(II), II>{}),...);
}(std::make_index_sequence<N>{});

指定 size_t显式也是一个选项，而不是使用 decltype(I) .