kmeans()循环不收敛主因是质心更新时误用未同步的新标签，导致分组依据失效；应严格分两阶段：①全部点重新分配标签，②统一用新标签重算质心，并辅以标签稳定性与位移双条件判断收敛。
为什么 kmeans() 循环不收敛？检查质心更新是否用了旧标签
常见现象是聚类结果在几轮后停滞，或质心坐标疯狂跳变。根本原因常在于：计算新质心时，仍用上一轮未更新的 labels 数组去分组点——但该数组可能已在本轮开头被重写，而你误把它当作“本轮真实归属”来用。
正确做法是：先完整遍历所有点，用当前质心算出每个点的新标签，存入临时数组；确认全部点都完成归属判定后，再统一用这个新标签数组重新计算所有质心。否则会出现“边分组边改标签，分组依据已失效”的竞态逻辑。
- 每次迭代必须严格分两阶段：① 所有点重新分配 → ② 所有质心一次性重算
- 避免在循环中直接修改
labels[i]后立刻用它参与质心累加（这会让同一轮里部分点按新标签、部分按旧标签归组） - 若用
std::vector<:vector>>存数据，注意内层 vector 大小要一致（比如每点都是 2 维或 3 维），否则sqrt(sum(pow(x_i - c_i, 2)))会越界
欧式距离计算别手写循环：用 std::inner_product 更安全
手动写 for 循环算平方和容易漏掉维度检查，尤其当点向量长度和质心向量长度不一致时，运行时崩溃或静默错误都很常见。C++ 标准库的 std::inner_product 能天然对齐两个范围，还能复用已有迭代器逻辑。
示例：计算点 p 到质心 c 的平方欧氏距离（避免开方节省性能）：
double sq_dist = std::inner_product(
p.begin(), p.end(), c.begin(), 0.0,
std::plus{},
[](double a, double b) { return (a - b) * (a - b); }
);
- 不用自己写
for (size_t i = 0; i ，省去下标越界风险 - 如果
p.size() != c.size()，std::inner_product在短序列结束时自动停止，不会崩溃（但结果错误——所以仍需在调用前断言尺寸一致） - 返回的是平方距离，K-means 中比较大小完全够用，比每次调用
sqrt()快 2–3 倍
质心初始化不能全设为零：用 std::uniform_real_distribution 在数据范围内采样
所有质心初始值设成 {0,0} 或固定值，会导致大量点距离相等，std::min_element 返回首个索引，造成严重偏差——第一簇永远吃掉最多点，后续迭代难以修正。
正确做法是从原始数据点中随机选 k 个作为初始质心（k-means++ 改进版更优，但随机采样已解决 90% 的发散问题）：
- 先遍历一遍数据，记录每维的最小/最大值：
min_val[i],max_val[i] - 用
std::random_device+std::mt19937初始化引擎，对每维用std::uniform_real_distribution(min_val[i], max_val[i])生成坐标 - 或者更简单：用
std::shuffle打乱数据索引，取前k个点的值直接赋给centroids - 切忌用
rand() % 100这类整数随机数填充浮点质心——范围错、精度丢、分布不均
判断收敛别只看质心位移：必须同时检查标签稳定性
仅监控质心坐标的 L2 变化量（如 max_norm_diff ）不够。某些数据集会出现质心微调但点的大规模重分配，此时算法实际未稳定，却提前退出。
健壮的收敛条件应是“标签不再变化”或“变化点比例低于阈值”，因为 K-means 的目标是最小化簇内平方和，而标签决定该目标函数值：
- 每次迭代后用
std::equal(labels_old.begin(), labels_old.end(), labels_new.begin())判断是否全等 - 若不等，统计不同位置数量：
std::inner_product(labels_old.begin(), labels_old.end(), labels_new.begin(), 0, std::plus{}, std::not_equal_to{}) - 建议设置双条件：位移 且 标签变化率
维度高、样本少时，质心可能在几个位置间震荡，标签反复切换——这时需要加最大迭代轮数兜底，否则死循环。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
