cmp函数必须是静态或全局函数，不能是非静态成员函数；需满足严格弱序；用于c风格数组时须传入指针范围且签名正确；lambda捕获需避免悬空引用。
cmp函数必须是静态或全局，不能是普通成员函数
类内定义的普通成员函数隐含 this 指针，而 std::sort 要求比较函数可直接调用（无绑定对象），传入两个参数。直接写成非静态成员函数会编译报错：error: reference to non-static member function must be called。
解决方式只有两种：
- 把
cmp声明为static成员函数（可访问类内static成员，但不能访问实例变量） - 定义为全局函数、
lambda（需捕获时注意生命周期）、或functor（重载operator()）
lambda作为cmp传给sort要避免悬空引用
如果在函数内用局部变量构造 lambda 并传给 std::sort，比如按某个外部阈值排序，需确保 lambda 不捕获局部地址或引用——否则 sort 执行时可能已析构。
正确写法示例（按绝对值升序）：
std::vector<int> arr = {-3, 1, -2, 4};
std::sort(arr.begin(), arr.end(), [](int a, int b) {
return std::abs(a)
<p>若需捕获变量，务必用值捕获：<code>[threshold](int a, int b) { return a threshold; }</code>，而非 <code>[&threshold]</code>。</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架"><img
src="https://img.php.cn/upload/skill/000/000/081/178988956499722.jpg" alt="C++ 算法竞赛自动化测试数据生成与校验框架" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架" class="overflowclass">C++ 算法竞赛自动化测试数据生成与校验框架</a>
<p class="overflowclass">根据原题生成新题面、验证器及完整测试数据，自动套用 testlib 模板，用于用户要求生成测试数据时。</p>
</div>
<a rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<h3>cmp函数必须严格弱序，否则sort行为未定义</h3>
<p><code>std::sort</code> 要求比较函数满足：对任意 <code>a</code>、<code>b</code>、<code>c</code>，<code>cmp(a, a)</code> 必须为 <code>false</code>；若 <code>cmp(a, b)</code> 和 <code>cmp(b, c)</code> 为真，则 <code>cmp(a, c)</code> 也必须为真；且 <code>cmp(a, b)</code> 与 <code>cmp(b, a)</code> 不能同时为真。</p>
<p>常见错误写法：</p>
<ul>
<li>用 <code> 替代 <code> → 违反“自反性”，<code>cmp(x,x)</code> 返回 <code>true</code></code></code>
</li>
<li>比较浮点数直接用 <code> 而不加 epsilon 容差 → 因精度问题导致弱序失效</code>
</li>
<li>在比较中调用随机或状态依赖函数（如 <code>time(0)</code>）→ 排序结果不可预测甚至崩溃</li>
</ul>
<h3>数组原生指针排序要显式传入长度，且cmp签名不能错</h3>
<p>C 风格数组（如 <code>int arr[5]</code>）不能直接用 <code>std::sort(arr, cmp)</code>。必须传迭代器范围：<code>std::sort(arr, arr + 5, cmp)</code>，其中 <code>arr</code> 是 <code>int*</code>，<code>arr + 5</code> 是尾后指针。</p>
<p><code>cmp</code> 函数签名必须是 <code>bool(int, int)</code> 或等价形式（如 <code>bool(const int&, const int&)</code>）。若误写成 <code>bool(int*)</code> 或带额外参数，编译器会报错不匹配函数模板参数。</p>
<p>例如合法定义：</p>
<pre class="brush:php;toolbar:false;">bool cmp(int a, int b) { return a % 10
C++ 数组排序的坑不在语法多难，而在 cmp 的生存期、调用契约和指针边界这三处——漏掉任一，轻则结果错乱，重则运行时崩溃。C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
