C++模板非const参数循环编译失败的最短解决技巧

问题分析 #

原代码无法编译的核心原因有两点：

1. 值捕获导致的const限制：lambda用[v,i]值捕获了i，默认const的lambda中，这个拷贝的i是const属性，无法传递给increment函数要求的非const引用参数；同时修改拷贝的i也不会影响外部变量，不符合需求。
2. 模板参数展开错误：lambda的模板参数Is...和参数中的std::index_sequence<k...>不匹配，展开逻辑无效。

最短可行修正方案 #

仅需修改lambda捕获方式、修正模板参数展开逻辑，并补充必要头文件：

#include <iostream>
#include <utility> // 必须包含，std::index_sequence系列工具在此头文件中

template<size_t k> void increment(size_t* v, size_t& i){ v[k]=i*i++; }

int main(){
    const size_t N = 10;
    size_t v[N], i=0;

    [v, &i]<std::size_t... Is>(std::index_sequence<Is...>){
        (increment<Is>(v, i), ...);
    }(std::make_index_sequence<N>{});
    
    for(size_t k=0;k<N;++k){ std::cout << v[k] << " , "; }
}

修正说明 #

• 引用捕获i：将[v,i]改为[v, &i]，让lambda内部直接使用外部变量i的引用，既满足increment对非const引用的要求，又能保证修改作用到外部的i上。
• 修正模板展开：将参数中的std::index_sequence<k...>改为std::index_sequence<Is...>，展开时用Is作为increment的模板参数，确保遍历0到N-1的所有索引。
• 补充头文件：std::index_sequence和std::make_index_sequence属于<utility>头文件，原代码的<memory>不保证包含该工具，必须显式引入。

内容的提问来源于stack exchange，提问作者user21835096