TI-Basic循环内变量重赋值机制及素数程序合理性问询

嘿，当年折腾过TI-83计算器的我来给你拆解这个问题，太熟悉这种老TI-Basic代码的坑了！

先明确90年代主流机型（比如TI-83/84）的TI-Basic规则——这玩意儿没有局部变量，所有变量都是全局的，For循环的行为也和现代语言不一样：

• 循环边界是一次性固定的：当你进入For(I, 起始值, 终止值, 步长)时，计算器会立刻把起始、终止、步长三个值存在内部寄存器里，之后哪怕你修改了用来计算终止值的变量（比如这里的N），循环的实际终止条件也不会变。
• 循环变量可以被手动修改，但下一次迭代仍按步长递增：比如你在循环里把I改成1，下一次循环计算器会执行I = 当前I值 + 步长，也就是1+2=3，而不是回到循环的初始起始值重新开始。

先复盘程序意图：输入整数N，输出≥N的最小素数。思路是先把N转成奇数，再检查每个奇数是否为素数，不是就跳去下一个奇数重新检查。但这里有几个明显的问题：

1. 致命Bug：循环上限未更新，导致漏检因数
   比如初始N=9（奇数），进入循环时终止值是2+iPart(√9)=2+3=5。循环中发现9能被3整除，于是N变成11，I被设为1。下一次循环I变成3，此时检查11的因数，终止值还是5（因为是初始计算的），刚好能覆盖到√11≈3.316的整数部分，没问题。但如果N被改成27：

   • 此时√27≈5.196，需要检查到I=5才能确认是否为素数，但循环终止值还是之前的5，看似没问题？不对，要是N被改成35：
   • √35≈5.916，iPart是5，终止值应该是7，但循环还是用初始的5，这时候检查到I=5时，35能被5整除，N变成37，I设为1，下一次I到3，终止值还是5，37的√≈6.08，这时候循环只检查到5，确实37是素数，没问题？但如果N被改成25：
   • 初始N=25，终止值是2+5=7，循环中I=5时发现25能被5整除，N变成27，I设为1，下一次I=3，终止值还是7，检查3、5、7：27/3=9是整数？不对，程序里的逻辑是当I能整除N时，才会修改N和I。哦，27除以3是整数，所以会触发Then块，N变成29，I设为1，这时候又重新检查。但如果遇到一个合数，它的最小因数大于初始的循环上限呢？比如初始N=21，终止值是2+iPart(√21)=2+4=6，循环中I=3时发现21能被3整除，N变成23，终止值还是6，检查3、5，23是素数，没问题。但如果初始N=49，终止值是2+7=9，循环中I=7时发现49能被7整除，N变成51，I设为1，下一次I=3，终止值还是9，51/3=17是整数，触发修改，N变成53，检查到I=9，53是素数。好像这个Bug在很多情况下不会暴露，但如果初始N是一个很大的数，比如N= (1001)^2=1002001，初始终止值是2+1001=1003，循环中发现能被1001整除，N变成1002003，此时√1002003≈1001.001，iPart是1001，终止值应该是1003，但循环还是用初始的1003，这时候检查到I=1003，1002003/1003=999，是整数，会触发修改，N变成1002005，继续检查。但如果N变成一个合数，比如1003009（假设它的最小因数是1009，大于初始的终止值），那循环会错误地认为它是素数，因为终止值还是初始的1003，没检查到1009。

2. 逻辑缺陷：漏掉了偶素数2
   如果输入N=2，程序会直接把N改成3，但2本身就是素数，这是一个小但明显的错误。

3. 不良编程风格：用For循环硬凑重启逻辑
   程序作者把I设为1，本质是利用TI-Basic的循环变量递增规则，让下一次I回到3，试图重启对新N的检查。但这种方式完全违背了For循环的设计意图——For循环是用来做固定次数的迭代，而这里需要的是"直到找到素数为止"的循环，应该用Do-While或者Repeat循环，每次检查新的N时重新计算平方根作为终止条件，逻辑会清晰太多，可读性和可维护性极差。

• 为什么要重赋值I为1？作者想让下一次循环的I变成3（1+步长2），从而从最小的奇因数开始检查新的N，但这是一种非常hack的写法，完全依赖对TI-Basic循环行为的细节了解，换个语言或者不熟悉TI-Basic的人根本看不懂。
• 重赋值N和I的影响：N是全局变量，修改后直接影响所有后续用到N的地方；I作为循环变量，修改后当前循环会用新值，但下一次迭代会按步长递增这个新值，而不是回到循环的初始起始值。
• 循环上限是否保持初始值？是的，TI-Basic的For循环在初始化时就把终止值固定死了，不管后续N怎么变，都不会更新。
• 你说的示例1和示例2：TI-Basic的行为更接近示例1的前半部分，但不会无限循环。比如n=3，For(i,1,n)，初始终止值是3，所以循环会执行i=1、2、3，哪怕循环里n变成4、5，循环到i=3就会停止，输出是1,3；2,4；3,5，然后结束。
• 局部变量问题：TI-83/84系列的TI-Basic没有局部变量，所有变量都是全局的，不存在作用域隔离，循环里的I、N和外面的是同一个变量。
• 程序是否实现了"发现N有因数时重启循环"？表面上做到了从3开始检查新的N，但因为循环上限没有更新，没有正确实现完整的因数检查，会在某些极端情况下漏检，导致错误判断素数。

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