新手求助：解析sequence_m算法执行逻辑及变量含义

先明确几个核心变量的含义，纠正你的误解：

• s：传入的目标数组（比如例子里的[1, 3, 4, 5]）
• n：数组的元素总个数（例子里是4）
• i：数组的索引（位置编号），用来逐个定位数组里的元素，不是数组中的整数
• s[i]：数组s中第i个位置上的具体元素值，和计数完全无关

完整代码（中文注释版） #

sequence_m(s, n) {    
  large = s[0]    // 把数组第一个元素（索引0）设为初始"较大值"
  i = 1           // 从索引1开始遍历数组（第一个元素已经看过了）

  while (i < n) { // 只要没遍历完数组，就继续循环
    if (s[i] ≥ large) { // 检查当前位置的元素是否比记录的"较大值"大/相等
      large = s[i]      // 更新"较大值"为当前元素
      return large      // 直接返回这个值，函数立刻结束
    }
 
  i = i + 1    // 如果当前元素更小，就把索引+1，去检查下一个元素
  }    
}

逐行执行逻辑拆解 #

1. sequence_m(s, n)：定义函数，接收数组s和数组长度n两个参数。
2. large = s[0]：初始化large为数组的第一个元素，用来暂时存储目前找到的最大元素。
3. i = 1：设置遍历的起始索引为1，因为索引0的元素已经被存入large了。
4. while (i < n)：开启循环，只要索引i小于数组长度（说明还没遍历完所有元素），就继续执行循环体。
5. if (s[i] ≥ large)：对比当前索引i对应的元素和large的值。
   • 如果满足条件：更新large为当前元素，然后直接返回这个值，函数到此终止，后续代码不再执行。
   • 如果不满足条件：执行i = i + 1，把索引往后移一位，继续下一轮循环。

模拟调用sequence_m([1, 3, 4, 5], 4)的过程 #

1. 传入的s是[1,3,4,5]，n是4。
2. large被赋值为s[0]，也就是1。
3. i初始化为1。
4. 进入循环：i=1 < 4，条件成立。
5. 检查s[1]（值为3）是否≥large（值为1）：是的。
6. 更新large为3，然后执行return large——函数直接返回3，循环和后续的元素（4、5）都不会被处理。

这就是为什么调用这个函数会返回3的原因。

内容的提问来源于stack exchange，提问作者Whyte_Napkin