c++中编辑距离可优化至o(min(m,n))空间：先交换使短串为s1，再用一维dp数组+双变量滚动更新；需转utf-32防多字节错误，用at()替代[]防越界。
要在C++中高效计算两个字符串的编辑距离，必须避开二维DP导致的内存爆炸问题——当输入串长度达10⁴时，标准vector
先做输入预处理：确保短串作列方向
第一步：比较两字符串长度，若s1比s2长，立即交换参数并递归调用。【不执行这步，后续滚动数组长度仍为大值，空间优化彻底失效】
第二步：设m = s1.length()（此时s1为较短串），n = s2.length()，只申请长度为m + 1的一维向量dp，而非m×n二维表。
第三步：用std::iota初始化dp，使dp[j] = j（表示空串变s1.substr(0,j)需j次插入）。
用单数组+双变量实现滚动更新
方法一：原地复用dp数组，仅靠两个临时变量维护关键状态
① 外层循环遍历长串s2的每个字符，索引i从1到n（注意：i是1-based位置）
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
② 每轮开始前，用top = dp[0]缓存“左上角初始值”，再令dp[0] = i（表示s2.substr(0,i)变空串需i次删除）
③ 内层循环j从1到m，对每个位置执行：
– 先保存当前dp[j]到old（它就是下一轮所需的“上方值”）
– 计算新dp[j] = s1[j-1] == s2[i-1] ? top : std::min(std::min(dp[j-1], dp[j]), top) + 1
– 更新top = old（为下个j准备新的左上角）
这一步必须用s1[j-1]和s2[i-1]访问字符——写成s1[j]或s2[i]会越界且漏比首字符，调试时几乎必崩。
防坑加固：UTF-8与越界检查
若输入含中文、emoji等UTF-8多字节字符，直接用std::string::operator[]会切开码点，导致s1[j-1] == s2[i-1]恒为false，距离被严重高估。
正确做法：在调用levenshtein前，将输入转为std::u32string。不要用(s1.begin(), s1.end())构造——UTF-8不能按字节迭代；改用std::from_bytes（C++23）或utf8cpp库解码。
开发阶段可在循环内将s1.at(j-1)替换s1[j-1]，让越界时抛std::out_of_range异常，快速定位错误索引。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
