山脉数组判定逻辑是：长度≥3，存在唯一峰值索引i（0
什么是山脉数组的判定逻辑
山脉数组必须满足：长度 ≥ 3，存在唯一峰值索引 i（0 i n-1），使得数组严格递增到 i，再严格递减到末尾。关键不是“看起来像山”，而是**严格单调性 + 峰值位置合法 + 无平台（相等元素）**。
常见误判点：
– 把 [1,2,2,3,4,5] 当作山脉（错在非严格递增）
– 接受 [1,3,2,1,0]（对）但拒绝 [0,1,2,3,4,5,4,3,2,1,0]（其实也对）
– 忘记检查长度，对 [1,2,3] 直接返回 true（错，没下降段）
用一次遍历完成判断（推荐写法）
不需要先找峰再验证两段，用状态机思想更稳：定义状态 up（正在上升）、down（已过峰，正在下降）。初始为 up，遇到下降就切到 down，之后不能再上升或持平。
实操要点：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 开头必须严格上升，第一个下降点才允许切换状态；若首对就下降（如
[3,2,1]），直接 false - 一旦进入
down状态，后续所有arr[i] >= arr[i-1]都非法 - 全程禁止
arr[i] == arr[i-1]，山脉定义要求“严格”单调 - 结束时必须处于
down状态（即确实有过下降），否则如[1,2,3,4]是 false
示例代码核心逻辑：
bool validMountainArray(vector<int>& arr) {
if (arr.size() arr[i-1]) {
if (!up) return false; // 已经开始降了还升？
} else if (arr[i]
<h3>为什么不用 <code>std::is_sorted</code> 分两段验证</h3>
<p>有人想先用 <code>std::max_element</code> 找峰，再用 <code>std::is_sorted</code> 检查前后两段——这可行但有坑：</p>
<ul>
<li>
<code>std::is_sorted(arr.begin(), it, less<int>{})</int></code> 默认是“非递减”，得显式传 <code>less<int>{}</int></code> 才保证严格递增，否则 <code>[1,2,2,3]</code> 会误判通过</li>
<li>找不到唯一峰时（如多个相同最大值），<code>max_element</code> 只返回第一个，后续验证必然失败，但错误原因难定位</li>
<li>时间复杂度看似 O(n)，实际三次遍历（找峰 + 前段验 + 后段验），不如单次遍历清晰</li>
<li>边界处理繁琐：要确保峰不在首尾，且前后段长度都 ≥ 1</li>
</ul>
<h3>测试时容易忽略的边界 case</h3>
<p>光测 <code>[0,3,2,1]</code> 不够，这些才是真卡点：</p>
<ul>
<li>
<code>[1,2,3,4,5,6,7,8,9]</code>（纯升，false）</li>
<li>
<code>[9,8,7,6,5,4,3,2,1]</code>（纯降，false）</li>
<li>
<code>[1,2,3,3,4,5]</code>（上升中平台，false）</li>
<li>
<code>[1,2,3,4,5,4,4,3,2,1]</code>（下降中平台，false）</li>
<li>
<code>[1,3,2]</code>（最小合法，true）</li>
<li>
<code>[3,5,5]</code>（首对升但第二对持平，false）</li>
</ul>
<p>峰值必须是“尖”的，任何平顶、斜坡、断崖都不算。实际写的时候，宁可多写几行状态判断，也不要依赖直觉去“看形状”。</p></int>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
