最常用且稳妥的做法是双指针:用i遍历数组,pos记录下一个非零元素应放位置,遇非零则nums[pos++]=nums[i],最后将pos至末尾补零;swap单指针法易破坏非零元素相对顺序。

用双指针原地移动零,不改变非零元素顺序
最常用也最稳妥的做法是双指针——一个遍历,一个指向下一个该放非零数的位置。关键不是“把零往后挪”,而是“把非零数往前填”,最后再把后面补零。这样既稳定(保持相对顺序),又 O(1) 空间、O(n) 时间。
-
i从头遍历数组,pos记录下一个非零元素应放的位置(初始为 0) - 遇到
nums[i] != 0,就执行nums[pos++] = nums[i] - 遍历完后,从
pos到末尾全部设为 0
示例:
vector<int> nums = {0,1,0,3,12};
int pos = 0;
for (int i = 0; i
<h3>为什么不能用 swap + 单指针从左往右扫?</h3>
<p>有人想边扫边交换:遇到零就和后面第一个非零交换。这看似直观,但容易破坏顺序——比如 <code>{0,0,1}</code>,第一次交换变成 <code>{0,1,0}</code>,第二次再交换就变成 <code>{1,0,0}</code>,虽然结果对,但中间状态不可控;更糟的是 <code>{0,1,0,2}</code> 会变成 <code>{1,0,2,0}</code>,<code>2</code> 跑到了 <code>1</code> 前面,顺序错了。</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/shouce/1510" title="C函数速查手册(CHM版)"><img
src="https://img.php.cn/upload/manual/000/000/001/5d6de31fedca2993.png" alt="C函数速查手册(CHM版)" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/shouce/1510" title="C函数速查手册(CHM版)" class="overflowclass">C函数速查手册(CHM版)</a>
<p class="overflowclass">C函数速查手册(CHM版)</p>
</div>
<a rel="nofollow" href="/xiazai/shouce/1510" title="C函数速查手册(CHM版)" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<ul>
<li>swap 方法只有在“保证每次只交换到当前最靠前的零之后”时才安全,实现起来反而更绕</li>
<li>标准库 <code>std::stable_partition</code> 可以做到,但它内部也是双指针或类似逻辑,且要求可移动/可复制,不一定比手写快</li>
<li>如果真要用 <code>std::stable_partition</code>,写法是:<code>std::stable_partition(nums.begin(), nums.end(), [](int x) { return x != 0; });</code>
</li>
</ul>
<h3>用 std::remove_if + fill 会出什么问题?</h3>
<p><code>std::remove_if</code> 本身不删除元素,只是把满足条件的元素“搬走”,返回新逻辑尾迭代器。它不保证被搬走的元素值不变,也不清零——所以常见错误是只调用 <code>remove_if</code> 就以为完事了。</p>
<ul>
<li>正确组合是:<code>auto new_end = std::remove_if(nums.begin(), nums.end(), [](int x){return x==0;});</code>
</li>
<li>然后必须手动 <code>std::fill(new_end, nums.end(), 0);</code>
</li>
<li>漏掉 <code>fill</code>,数组后半段还是原来的垃圾值(比如 <code>{1,3,12,3,12}</code>)</li>
<li>注意:<code>remove_if</code> 是稳定操作,顺序保留,这点没问题</li>
</ul>
<h3>边界情况和性能提醒</h3>
<p>空数组、全零、全非零这三种情况,双指针解法天然兼容,不用额外判断。但要注意 <code>vector</code> 的 <code>size()</code> 返回 <code>size_t</code>,循环中若用 <code>int i</code> 和 <code>size_t</code> 比较,可能触发隐式转换警告或负数截断(尤其在开启 Wsign-compare 时)。</p>
<ul>
<li>建议统一用 <code>size_t i = 0</code> 或直接用基于范围的 for 循环(需配合索引变量)</li>
<li>如果数组很大且零极少,双指针仍要扫完整个数组;没有“跳过连续零”的捷径——因为你要保证非零元素顺序,就不能跳</li>
<li>原地操作意味着不能依赖额外容器,所有方案都得在 <code>nums</code> 上直接改</li>
</ul>
<p>真正容易被忽略的,是那个补零的循环起始位置——它必须严格等于双指针留下的 <code>pos</code>,而不是 <code>pos+1</code> 或 <code>pos-1</code>,否则要么漏补、要么越界写零。</p></int>C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










