PowerBuilder 控制结构全解：IF / CHOOSE CASE / FOR / DO LOOP 分支与循环的边界行为（PB12.5 实机验证）

pbai

免费乐捐，感谢支持

PowerBuilder 控制结构全解：IF / CHOOSE CASE / FOR / DO LOOP 分支与循环的边界行为（PB12.5 实机验证）

阅读说明
1. 适用版本：PB 10 / PB 12.5（本文写法两版通用；所有代码在 PB 12.5 真机编译并运行通过，版本差异处单独标注）
2. 支持数据库：本文为纯 PowerScript 语言主题，不依赖任何数据库
3. 操作系统与环境要求：Windows 7 及以上，装有 PB 10 或 PB 12.5 开发环境 / 运行库；无需第三方组件
4. 难度系数：★★☆☆☆
5. 其它阅读说明：建议先了解变量声明与数据类型；文中所有「实测」值均来自 PB12.5 真机运行（39 条硬断言全部命中），不是推测；HALT 一段只做了编译验证，运行会终止程序，已在文中标注

一、控制结构也要专门写一篇？

控制结构大概是 PowerBuilder 里最没人当回事的一块：if、for、do loop 谁不会写。但真正在项目里翻车的，往往就是这些"谁都会写"的东西：

• 明明写了 if ll_qty <> 0 and (ll_amt / ll_qty) > 100 then，数量为 0 时程序直接崩了 —— 你以为左边挡住了右边，其实 PowerBuilder 的 AND / OR 根本不短路；
  
• 想写个"循环到满足条件为止"，照着别的语言写了个 do ... loop，结果 编译不过（C0031: Syntax error），因为 PB 的 DO...LOOP 强制要求带条件；
  
• 想把步长做成变量 for i = 1 to n step ll_step，也是 编译不过（C0031）；
  
• 用 choose case 判断状态码，'OK' 和 'ok' 混着进来，只有一个分支命中 —— 因为 CHOOSE CASE 的字符串比较区分大小写；
  
• 循环里删数据，正着删总有几个删不掉，倒着删才干净。
  

这些问题没有一个是"不会写语法"，全是边界行为不清楚。本文把 PowerScript 的分支、循环、跳转一次讲透，每条结论都附真机实测值。

二、控制结构全景

先给一张总表，后面每一节都是其中一行的展开。

类别	语句	说明	备注
分支	IF ... THEN ... ELSEIF ... ELSE ... END IF	条件分支	ENDIF 连写会报错
分支	CHOOSE CASE ... CASE ... CASE ELSE ... END CHOOSE	多值分支	字符串区分大小写
循环	FOR v = a TO b [STEP n] ... NEXT	计数循环	步长必须是字面量
循环	DO WHILE cond ... LOOP	前测试循环	可能 0 次
循环	DO UNTIL cond ... LOOP	前测试循环（真则停）	可能 0 次
循环	DO ... LOOP WHILE cond	后测试循环	至少 1 次
循环	DO ... LOOP UNTIL cond	后测试循环	至少 1 次
跳转	EXIT	跳出当前循环	不能写 EXIT FOR
跳转	CONTINUE	进入下一轮	不能写 CONTINUE DO
跳转	RETURN	结束当前函数 / 事件	—
跳转	GOTO 标签	无条件跳转	PB 里确实存在
跳转	HALT [CLOSE]	终止程序	编译通过，运行即退出

没有的东西（别去找）：没有 FOREACH（实测报 C0001: Illegal data type: foreach）；没有 WHILE ... WEND；没有 END LOOP / END WHILE；没有 SWITCH。

三、IF：三种写法与一个致命认知偏差

3.1 三种合法写法

下面这段代码把 IF 的三种写法和空值行为放在一块，可直接在窗口按钮里跑。

前置：新建一个窗口 w_ctrl_demo，放一个按钮 cb_1，把下面代码贴进 cb_1 的 clicked 事件，运行窗口点击按钮即可看到结果。代码中不需要连接数据库。

2. // 输入：用于分支判断的分数（示例值 85）
3. long ll_score
4. ll_score = 85
5. // 输入：用于分支判断的数量（示例值 0，后面专门演示空值/零值判断）
6. long ll_qty
7. ll_qty = 0
9. long ll_i
10. string ls_ret
11. string ls_buf
12. string ls_null
13. string ls_msg
15. ls_ret = ''
17. // 写法一：多行 IF ... THEN ... ELSEIF ... ELSE ... END IF
18. ll_i = 5
19. if ll_i < 0 then
20.         ls_buf = 'neg'
21. elseif ll_i = 0 then
22.         ls_buf = 'zero'
23. else
24.         ls_buf = 'pos'
25. end if
26. ls_ret += 'if_multi=' + ls_buf + '~r~n'
28. // 写法二：单行 IF ... THEN <语句>，不写 END IF
29. ll_i = 5
30. ls_buf = 'N'
31. if ll_i > 1 then ls_buf = 'Y'
32. ls_ret += 'if_one=' + ls_buf + '~r~n'
34. // 写法三：单行 IF 后面跟多条语句，用分号分隔
35. ll_i = 5
36. ls_buf = ''
37. if ll_i > 1 then ls_buf = 'Y'; ls_buf += '!'
38. ls_ret += 'if_semi=' + ls_buf + '~r~n'
40. // 空值参与判断：既不是真也不是假，一律走 ELSE
41. SetNull(ls_null)
42. if ls_null = 'x' then
43.         ls_buf = 'EQ'
44. else
45.         ls_buf = 'ELSE'
46. end if
47. ls_ret += 'if_null=' + ls_buf + '~r~n'
49. MessageBox('IF 三种写法实测', ls_ret)

复制代码

实测输出：

2. if_multi=pos
3. if_one=Y
4. if_semi=Y!
5. if_null=ELSE

复制代码

要点：

• END IF 中间必须有空格。写成 endif 会报 C0015: Undefined variable: endif —— 编译器把它当成了变量名，错误信息很有迷惑性。
  
• 单行 IF 后面只能跟"一条语句"，想跟多条就得用分号。
  
• NULL 参与比较时结果为 NULL，IF 一律按假处理走 ELSE。
  

3.2 ★最贵的一个坑：AND 和 OR 都不短路

这是本文最值得记住的一条。C / Java / C# 里 && 和 || 是短路的，PowerScript 的 and / or 不是。

下面用一个会自增的函数当探针，实测右半边到底有没有被求值。

前置：在 nvo_ctrl_demo 里加一个实例变量 long il_cnt，再加一个函数 of_tick()，函数体只有两行：il_cnt = il_cnt + 1 和 return true。然后在窗口按钮里贴下面代码运行。

2. // 输入：左边条件用到的数值（示例值 0，使左边为假）
3. long ll_i
4. ll_i = 0
6. nvo_ctrl_demo lnv
7. string ls_ret
8. ls_ret = ''
10. lnv = create nvo_ctrl_demo
12. // AND：左边为假，右边还会不会被求值？
13. lnv.il_cnt = 0
14. if ll_i <> 0 and lnv.of_tick() then
15.         ls_ret += 'x'
16. end if
17. ls_ret += 'and_cnt=' + string(lnv.il_cnt) + '~r~n'
19. // OR：左边为真，右边还会不会被求值？
20. lnv.il_cnt = 0
21. if ll_i = 0 or lnv.of_tick() then
22.         ls_ret += 'y'
23. end if
24. ls_ret += 'or_cnt=' + string(lnv.il_cnt) + '~r~n'
26. destroy lnv
28. MessageBox('AND / OR 短路实测', ls_ret)

复制代码

实测输出：

2. and_cnt=1
3. or_cnt=1

复制代码

两次都是 1，说明右半边都被执行了。更狠的实证：把除零放在右半边，左边那个"保护条件"挡不住它。

2. // 输入：除数（示例值 0，故意制造除零）
3. long ll_div
4. ll_div = 0
6. string ls_ret
7. long ll_hit
8. ls_ret = 'no-error'
9. ll_hit = 0
11. try
12.         // 左边的 ll_div <> 0 并不能挡住右边的 100 / ll_div
13.         if ll_div <> 0 and (100 / ll_div) > 1 then
14.                 ll_hit = 1
15.         end if
16. catch (runtimeerror le_rt)
17.         ls_ret = 'err_no=' + string(le_rt.number) + '/err_text=' + le_rt.text
18. end try
20. MessageBox('不短路的代价', ls_ret + '~r~nhit=' + string(ll_hit))

复制代码

实测输出：

2. err_no=1/err_text=Divide by zero at line 12 in function of_short2 of object nvo_ctrl_demo.
3. hit=0

复制代码

正确写法：把"保护条件"拆成嵌套 IF，别指望 and 帮你挡。

2. // 输入：除数（示例值 0）
3. long ll_div
4. ll_div = 0
5. // 输入：被除数（示例值 100）
6. long ll_amt
7. ll_amt = 100
9. long ll_hit
10. ll_hit = 0
12. // 安全写法：先挡，再算
13. if ll_div <> 0 then
14.         if (ll_amt / ll_div) > 1 then
15.                 ll_hit = 1
16.         end if
17. end if
19. MessageBox('安全写法', 'hit=' + string(ll_hit))

复制代码

四、CHOOSE CASE：多值分支的全部形态

4.1 case 的四种写法

写法	示例	含义
单值	case 1	等于 1
多值	case 1,3,5	等于 1 或 3 或 5
范围	case 2 to 6	2 到 6（含两端）
比较	case is > 6	大于 6（is 后可用 > >= < <= <> =）
混合	case 1 to 3, 9, is > 100	上面几种可以写在一个 case 里
兜底	case else	都不匹配时

匹配规则：按书写顺序，命中第一个就停。 所以把 case is > 6 写在最前面，后面的 case 2 to 6 就永远轮不到。

前置：同 3.1，代码贴进窗口按钮的 clicked 事件即可运行。

2. // 输入：待判断的数值（示例值 7）
3. long ll_v
4. ll_v = 7
5. // 输入：待判断的等级代码（示例值 'PB'，用来测大小写）
6. string ls_code
7. ls_code = 'PB'
8. // 输入：待判断的分数（示例值 85）
9. long ll_score
10. ll_score = 85
12. string ls_ret
13. string ls_buf
14. string ls_v
16. ls_ret = ''
18. // 1) 按顺序匹配第一个：7 命中 case is > 6
19. choose case ll_v
20.         case 1,3,5
21.                 ls_buf = 'odd-small'
22.         case 2 to 6
23.                 ls_buf = 'range'
24.         case is > 6
25.                 ls_buf = 'gt6'
26.         case else
27.                 ls_buf = 'other'
28. end choose
29. ls_ret += 'case_gt6=' + ls_buf + '~r~n'
31. // 2) 0 谁都不匹配，落到 case else
32. ll_v = 0
33. choose case ll_v
34.         case 1,3,5
35.                 ls_buf = 'odd-small'
36.         case 2 to 6
37.                 ls_buf = 'range'
38.         case is > 6
39.                 ls_buf = 'gt6'
40.         case else
41.                 ls_buf = 'other'
42. end choose
43. ls_ret += 'case_else=' + ls_buf + '~r~n'
45. // 3) 字符串比较区分大小写：'PB' 只命中 'PB' 那个分支
46. choose case ls_code
47.         case 'pb'
48.                 ls_buf = 'lower'
49.         case 'PB'
50.                 ls_buf = 'upper'
51.         case else
52.                 ls_buf = 'other'
53. end choose
54. ls_ret += 'case_upper=' + ls_buf + '~r~n'
56. // 4) 字符串也能用范围
57. ls_v = 'b'
58. choose case ls_v
59.         case 'a' to 'c'
60.                 ls_buf = 'range'
61.         case else
62.                 ls_buf = 'other'
63. end choose
64. ls_ret += 'case_strrange=' + ls_buf + '~r~n'
66. // 5) CHOOSE CASE TRUE 惯用法：把区间判断写成分支
67. choose case true
68.         case ll_score >= 90
69.                 ls_buf = 'A'
70.         case ll_score >= 60
71.                 ls_buf = 'B'
72.         case else
73.                 ls_buf = 'C'
74. end choose
75. ls_ret += 'case_true=' + ls_buf + '~r~n'
77. // 6) 没有 case else 且都不匹配：一个分支都不进，变量保持原值
78. ll_v = 99
79. ls_buf = 'init'
80. choose case ll_v
81.         case 1
82.                 ls_buf = 'one'
83. end choose
84. ls_ret += 'case_nomatch=' + ls_buf + '~r~n'
86. MessageBox('CHOOSE CASE 实测', ls_ret)

复制代码

实测输出：

2. case_gt6=gt6
3. case_else=other
4. case_upper=upper
5. case_strrange=range
6. case_true=B
7. case_nomatch=init

复制代码

4.2 两个要记住的边界

• 类型必须一致：选择器是 long 就别写 case '2'，会报 C0011: Incompatible types in expression: string, long。反过来也一样。
  
• CHOOSE CASE TRUE 是个好用的惯用法：把"分数分段""金额分档"这类区间判断写成竖直的分支表，比一长串 ELSEIF 好读得多。
  

五、FOR ... NEXT：计数循环的细节

5.1 语法与限制

2. FOR 变量名 = 初值 TO 终值 [STEP 步长]
3.     语句块
4. NEXT

复制代码

约束	实测结果
循环变量类型	long / integer / double / decimal 均可；string 报 C0055: Illegal for loop counter variable type: string
步长写法	只能是字面量常量；写变量报 C0031: Syntax error
步长为 0	报 C0083: Illegal for loop step value（好消息：不会死循环）
步长小数	可以；但循环变量是整数类型时会跳值（见下）
结束关键字	NEXT 与 END FOR 都可以，行为一致
内联声明	不允许，for long i = 1 to 3 非法，必须先声明

5.2 循环结束后，循环变量的值是多少？

这是最容易想错的一点：循环变量在退出时保留"最后一次加步长"之后的值，不是终值。

前置：同 3.1，代码贴进窗口按钮的 clicked 事件。

2. long ll_i
3. long ll_j
4. long ll_n
5. string ls_ret
6. string ls_out
7. double ldb_x
9. ls_ret = ''
11. // 1) 基本递增：结束后变量是 4，不是 3
12. ls_out = ''
13. for ll_i = 1 to 3
14.         ls_out += string(ll_i)
15. next
16. ls_ret += 'for_base=' + ls_out + '/end=' + string(ll_i) + '~r~n'
18. // 2) 步长 2：走 1,3,5,7,9，结束后是 11
19. ls_out = ''
20. for ll_i = 1 to 9 step 2
21.         ls_out += string(ll_i)
22. next
23. ls_ret += 'for_step2=' + ls_out + '/end=' + string(ll_i) + '~r~n'
25. // 3) 负步长倒着走：5,3,1，结束后是 -1
26. ls_out = ''
27. for ll_i = 5 to 1 step -2
28.         ls_out += string(ll_i)
29. next
30. ls_ret += 'for_neg=' + ls_out + '/end=' + string(ll_i) + '~r~n'
32. // 4) 初值大于终值 + 正步长：一次都不执行，变量保持初值 5
33. ll_n = 0
34. for ll_i = 5 to 1
35.         ll_n++
36. next
37. ls_ret += 'for_rev_n=' + string(ll_n) + '/end=' + string(ll_i) + '~r~n'
39. // 5) 循环体里改循环变量：次数会被改掉（能跑，但别这么写）
40. ls_out = ''
41. for ll_i = 1 to 5
42.         ls_out += string(ll_i)
43.         ll_i = ll_i + 2
44. next
45. ls_ret += 'for_mut=' + ls_out + '/end=' + string(ll_i) + '~r~n'
47. // 6) CONTINUE：跳过本次剩余语句
48. ls_out = ''
49. for ll_i = 1 to 4
50.         if ll_i = 2 then continue
51.         ls_out += string(ll_i)
52. next
53. ls_ret += 'for_cont=' + ls_out + '~r~n'
55. // 7) EXIT：立即跳出
56. ls_out = ''
57. for ll_i = 1 to 10
58.         if ll_i > 3 then exit
59.         ls_out += string(ll_i)
60. next
61. ls_ret += 'for_exit=' + ls_out + '/end=' + string(ll_i) + '~r~n'
63. // 8) 嵌套：EXIT 只跳出它所在的那一层，外层继续
64. ll_n = 0
65. for ll_i = 1 to 3
66.         for ll_j = 1 to 3
67.                 if ll_j = 2 then exit
68.                 ll_n++
69.         next
70. next
71. ls_ret += 'for_nest_n=' + string(ll_n) + '/i=' + string(ll_i) + '/j=' + string(ll_j) + '~r~n'
73. // 9) END FOR 与 NEXT 等价
74. ls_out = ''
75. for ll_i = 1 to 3
76.         ls_out += string(ll_i)
77. end for
78. ls_ret += 'for_endfor=' + ls_out + '~r~n'
80. // 10) double 计数器 + 小数步长：正常走 5 次
81. ll_n = 0
82. for ldb_x = 1 to 3 step 0.5
83.         ll_n++
84.         if ll_n > 20 then exit
85. next
86. ls_ret += 'for_dblstep_n=' + string(ll_n) + '~r~n'
88. // 11) long 计数器 + 小数步长：危险，只走 3 次，值是 1 / 2 / 3
89. ll_n = 0
90. for ll_i = 1 to 3 step 0.5
91.         ll_n++
92.         if ll_n > 20 then exit
93. next
94. ls_ret += 'for_longstep_n=' + string(ll_n) + '/end=' + string(ll_i) + '~r~n'
96. MessageBox('FOR 实测', ls_ret)

复制代码

实测输出：

2. for_base=123/end=4
3. for_step2=13579/end=11
4. for_neg=531/end=-1
5. for_rev_n=0/end=5
6. for_mut=14/end=7
7. for_cont=134
8. for_exit=123/end=4
9. for_nest_n=3/i=4/j=2
10. for_endfor=123
11. for_dblstep_n=5
12. for_longstep_n=3/end=4

复制代码

几条要记住的：

• 退出后别用循环变量当"最后一次的值"，它已经多走了一步。想留值就自己用另一个变量存。
  
• for i = 5 to 1（正步长）一次都不执行，而且循环变量保持初值 5，不是 0。要倒着走得写 step -1。
  
• 循环体里改循环变量是合法的，会直接改变次数（1 to 5 里 i = i + 2 只走了 1 和 4）。能跑，但读代码的人会骂人。
  
• 整数计数器配小数步长会跳值：long 计数器 + step 0.5 从 1 到 3 只跑了 3 次（1 / 2 / 3），步长被反复取整吞掉。要用小数步长就把计数器声明成 double。
  

六、DO ... LOOP：四种合法形式，没有第五种

6.1 ★裸 DO ... LOOP 编译不过

别的语言里 do { ... } while(true) 或 loop ... end loop 很常见，PB 里不允许写不带条件的 DO...LOOP：

2. long ll_i
3. ll_i = 0
4. do
5.         ll_i++
6. loop

复制代码

导入 / 编译时报 C0031: Syntax error，报错位置落在 loop 那一行。想写"循环到条件满足为止"，必须给个永真条件：

2. do while true
3.         ll_i++
4.         if ll_i > 3 then exit
5. loop

复制代码

do until false 是等价写法。

6.2 四种形式与执行次数

形式	判断时机	最少执行次数	条件含义
DO WHILE c ... LOOP	进入前	0	c 为真才继续
DO UNTIL c ... LOOP	进入前	0	c 为真就停
DO ... LOOP WHILE c	结束后	1	c 为真才继续
DO ... LOOP UNTIL c	结束后	1	c 为真就停

前置：同 3.1，代码贴进窗口按钮的 clicked 事件。

2. long ll_i
3. long ll_n
4. string ls_ret
5. string ls_out
7. ls_ret = ''
9. // 1) DO WHILE：先判断，一开始就不成立则一次都不执行
10. ll_n = 0
11. ll_i = 10
12. do while ll_i < 5
13.         ll_i++
14.         ll_n++
15. loop
16. ls_ret += 'do_while_n=' + string(ll_n) + '~r~n'
18. // 2) DO UNTIL：条件为真时停止
19. ls_out = ''
20. ll_i = 0
21. do until ll_i >= 3
22.         ll_i++
23.         ls_out += string(ll_i)
24. loop
25. ls_ret += 'do_until=' + ls_out + '~r~n'
27. // 3) DO ... LOOP UNTIL：至少执行一次
28. ls_out = ''
29. ll_i = 0
30. do
31.         ll_i++
32.         ls_out += 'u' + string(ll_i)
33. loop until ll_i >= 3
34. ls_ret += 'do_loopuntil=' + ls_out + '~r~n'
36. // 4) DO ... LOOP WHILE：至少执行一次
37. ls_out = ''
38. ll_i = 0
39. do
40.         ll_i++
41.         ls_out += 'w' + string(ll_i)
42. loop while ll_i < 3
43. ls_ret += 'do_loopwhile=' + ls_out + '~r~n'
45. // 5) 同样是「条件一开始就不成立」，LOOP WHILE 仍会执行一次
46. ll_n = 0
47. ll_i = 10
48. do
49.         ll_i++
50.         ll_n++
51. loop while ll_i < 5
52. ls_ret += 'do_lw_once_n=' + string(ll_n) + '~r~n'
54. // 6) 无限循环的标准写法：DO WHILE TRUE + EXIT
55. ls_out = ''
56. ll_i = 0
57. do while true
58.         ll_i++
59.         if ll_i > 3 then exit
60.         ls_out += string(ll_i)
61. loop
62. ls_ret += 'do_whiletrue=' + ls_out + '~r~n'
64. // 7) CONTINUE 在 DO 里同样有效
65. ls_out = ''
66. ll_i = 0
67. do while ll_i < 4
68.         ll_i++
69.         if ll_i = 2 then continue
70.         ls_out += string(ll_i)
71. loop
72. ls_ret += 'do_cont=' + ls_out + '~r~n'
74. MessageBox('DO LOOP 实测', ls_ret)

复制代码

实测输出：

2. do_while_n=0
3. do_until=123
4. do_loopuntil=u1u2u3
5. do_loopwhile=w1w2w3
6. do_lw_once_n=1
7. do_whiletrue=123
8. do_cont=134

复制代码

对比第 1 条（0 次）和第 5 条（1 次），就是"前测试"和"后测试"唯一的区别。

七、跳转语句：EXIT / CONTINUE / RETURN / GOTO / HALT

语句	作用	实测要点
EXIT	跳出当前循环	不能带限定词，EXIT FOR / EXIT DO 都报 C0031
CONTINUE	进入下一轮	不能带限定词，CONTINUE FOR / CONTINUE DO 都报 C0031
RETURN	结束当前函数 / 事件	循环自然中断
GOTO 标签	跳到标签处	PB 里确实存在，实测生效
HALT / HALT CLOSE	终止程序	编译通过；运行会直接退出（本轮未在 headless 环境实跑）

• EXIT / CONTINUE 用在循环外只是警告，不是错误：C0058: Exit statement occurs outside loop construct.、C0059: Continue statement occurs outside loop construct.。看到这俩警告要检查代码，程序会照常编译。
  
• 嵌套循环里 EXIT 只跳出最内层（见 5.2 第 8 条：for_nest_n=3/i=4/j=2，外层 i 老老实实跑到了 4）。想一次跳出多层，只能用标志变量，或者把内层逻辑抽成函数用 RETURN 返回。
  

GOTO 的实测（跳过中间那句，结果只剩 AC 而不是 ABC）：

2. string ls_ret
3. ls_ret = 'A'
4. goto lbl_skip
5. ls_ret = ls_ret + 'B'
6. lbl_skip:
7. ls_ret = ls_ret + 'C'
9. MessageBox('GOTO 实测', 'goto=' + ls_ret)

复制代码

实测输出 goto=AC。能跑，但不建议在生产代码里用 —— 跳转会把执行流打散，排查问题时非常难受，用 IF + EXIT 完全能替代。

八、实战：遍历与"正序删 vs 倒序删"

循环最经典的翻车场景：一边遍历一边删除。规律是通用的 —— 正序删会漏，倒序删才干净。下面用字符串模拟（不依赖数据库，可直接跑）。

前置：同 3.1。这个例子虽然用的是字符串，但和 DataWindow 里 DeleteRow() 的规律完全一样：删掉一行后，后面的行号会往前挪一格，正序遍历就会跳过下一行。

2. // 输入：待清理的字符串（示例值 'aXXb'，要删掉所有 X）
3. string ls_bad
4. string ls_good
5. long ll_i
6. long ll_n
8. ls_bad = 'aXXb'
9. ls_good = 'aXXb'
10. ll_n = Len(ls_bad)
12. // 错误写法：正序遍历。删掉一个之后后面的字符前移，索引再 ++ 就跳过一个
13. for ll_i = 1 to ll_n
14.         if Mid(ls_bad, ll_i, 1) = 'X' then
15.                 ls_bad = Left(ls_bad, ll_i - 1) + Mid(ls_bad, ll_i + 1)
16.         end if
17. next
19. // 正确写法：倒序遍历。被删位置前面的字符不受影响
20. for ll_i = ll_n to 1 step -1
21.         if Mid(ls_good, ll_i, 1) = 'X' then
22.                 ls_good = Left(ls_good, ll_i - 1) + Mid(ls_good, ll_i + 1)
23.         end if
24. next
26. MessageBox('删除顺序实测', 'bad=' + ls_bad + '~r~ngood=' + ls_good)

复制代码

实测输出：

2. bad=aXb
3. good=ab

复制代码

bad 里还剩一个 X —— 这就是"明明循环跑完了却没删干净"的根因。换成 DataWindow，正序 DeleteRow() 就是一批行删不掉；正确写法是 for ll_i = dw_1.RowCount() to 1 step -1。

另一个高频场景是逐字符遍历统计，同样可跑：

2. // 输入：待处理的字符串（示例值 'PB12.5-2026'）
3. string ls_src
4. ls_src = 'PB12.5-2026'
6. long ll_i
7. long ll_digit
8. long ll_upper
9. string ls_ch
10. string ls_rev
12. ll_digit = 0
13. ll_upper = 0
14. ls_rev = ''
16. for ll_i = 1 to Len(ls_src)
17.         ls_ch = Mid(ls_src, ll_i, 1)
18.         if ls_ch >= '0' and ls_ch <= '9' then
19.                 ll_digit++
20.         elseif ls_ch >= 'A' and ls_ch <= 'Z' then
21.                 ll_upper++
22.         end if
23.         ls_rev = ls_ch + ls_rev
24. next
26. MessageBox('遍历统计实测', 'digit=' + string(ll_digit) + '~r~nupper=' + string(ll_upper) + '~r~nrev=' + ls_rev)

复制代码

实测输出 digit=7 / upper=2 / rev=6202-5.21BP。注意这里 Mid() 的下标是 1 基，Len() 对中文按字符计数（一个汉字算 1），所以这种写法处理中文也没问题。

九、坑清单（14 条）

#	坑	表现 / 报错	正确做法
1	以为 and / or 短路	右半边照常求值，除零直接崩（runtimeerror 1）	拆成嵌套 IF
2	写裸 do ... loop	C0031，报错落在 loop 行	do while true + exit
3	for 步长用变量	C0031	步长写字面量，或改用 do while
4	for 步长写 0	C0083: Illegal for loop step value	步长至少为 1（或负）
5	for 循环变量声明成 string	C0055	用 long
6	for long i = 1 to 3 内联声明	语法错误	先 long ll_i 再 for ll_i = ...
7	把 end if 写成 endif	C0015: Undefined variable: endif	中间加空格
8	用循环退出后的值	比最后一次多一步（1 to 9 step 2 → 11）	自己用变量存
9	初值 > 终值还用正步长	一次不执行，变量保持初值	倒序要写 step -1
10	choose case 以为不区分大小写	'PB' 不进 'pb' 分支	先 Upper() / Lower() 归一
11	choose case 里 case 类型与选择器不一致	C0011	统一类型
12	exit for / continue do 带限定词	C0031	只写 exit / continue
13	循环里正序删除	漏删	倒序遍历
14	指望 exit 跳出多层嵌套	只跳最内层	标志变量或抽函数

十、怎么选：一张对照表

场景	推荐	理由
二选一 / 少数几路分支	IF ... ELSEIF	直观，条件可以各不相同
同一个变量对多个离散值	CHOOSE CASE	竖直排列好读，加分支不影响其它行
分数、金额这类区间分档	CHOOSE CASE TRUE	区间写成表，比一长串 ELSEIF 清爽
已知次数的遍历 / 取第 i 个	FOR ... NEXT	计数与步进由语句保证，不易写错
未知次数、有明确继续条件	DO WHILE ... LOOP	可能 0 次，适合"满足条件才做"
未知次数、至少要做一次	DO ... LOOP WHILE	先做再判断
条件到中途才成立	DO WHILE TRUE + EXIT	PB 里唯一的"无限循环"写法

十一、本文的验证方式

文中所有代码做成了 NVO 对象 nvo_ctrl_demo，走完四步实机验证：

• pypower pbl import 导入 PB12.5 测试库 —— 0 错误；
  
• pypower build rebuild --type full 全量编译 —— 0 错误；
  
• pypower test 在 PB12.5 PBVM 中真机运行 —— PASS，39 / 39 条硬断言全部命中；
  
• check_pb125.py 0 错误 0 提醒，check_enc.py 编码全 OK（GBK / CRLF / 无 BOM / 首行 $PBExportHeader$）。
  

唯一未在本轮实跑的是 HALT / HALT CLOSE 的运行效果（会直接终止程序，不适合在无人值守环境执行），只做了编译验证，已在文中标注。

十二、一句话总结

PowerScript 的控制结构看着简单，真正的差异都在边界上：AND/OR 不短路、DO...LOOP 必须有条件、FOR 的步长必须是字面量、CHOOSE CASE 区分大小写、循环里删除要倒着来。这五条记住，剩下查表就行。

pbai

PB10 兼容版 PBL 已上传（本文全部示例代码）

附件： ctrl_demo_pb10_pb10.zip (19.84 KB, 下载次数: 0)

2026-9-20 06:49 上传

点击文件名下载附件

（ctrl_demo_pb10.zip）

一、适用版本与环境
- 适用版本：PB10（包内 PBL 用 --pb-version 100 全量编译，0 错误）；PB11 / PB12.x 含 12.5 可直接打开，无需改动。
- 操作系统：Windows 7 及以上，32/64 位均可。
- 环境要求：PowerBuilder 10 或更高版本开发环境（只运行的话需要对应 PB 运行库）。不依赖 PBIDEA，不依赖任何第三方组件。
- 数据库：本文不依赖数据库，全部示例为纯 PowerScript 语言层验证，不需要建表、不需要连接串、不需要准备示例数据。

二、包内文件
- ctrl_demo_pb10.pbl —— PB10 格式库文件（含 nvo_ctrl_demo）
- src/nvo_ctrl_demo.sru —— 对象源码（GBK / CRLF / 无 BOM）
- tests/ctrl.pbtest —— 39 条硬断言测试脚本
- evidence/diag_ctrl.txt —— PB12.5 真机运行的完整诊断输出
- 使用说明.txt —— 部署步骤、调用方法、常见坑排错

三、操作步骤
1) 解压 ZIP，打开 PowerBuilder 10，用 File -> Open 打开 ctrl_demo_pb10.pbl；
2) 想并入自己工程：Library 画板里把 nvo_ctrl_demo 复制过去，或右键目标 -> Import 选中 src\nvo_ctrl_demo.sru；
3) 按 Ctrl+L 全量编译，应当 0 错误；
4) 在窗口按钮的 clicked 事件里贴下面这段即可看到全部实测结果：

1. nvo_ctrl_demo lnv
2. string ls_ret
3. lnv = create nvo_ctrl_demo
4. ls_ret = lnv.of_run()
5. destroy lnv
6. MessageBox('控制结构实测', ls_ret)

复制代码

想只看某一项，把 of_run() 换成 of_branch() / of_for() / of_do() / of_short() / of_short2() / of_delete() 即可。

四、本文最关键的五条实测结论（都能用附件复现）
1. and / or 不短路：of_short() 返回 and_cnt=1、or_cnt=1，说明左边已经能定结果时右边照样求值；of_short2() 直接捕获到 err_no=1 / Divide by zero —— `if ll_div <> 0 and (100 / ll_div) > 1` 这种"保护写法"在 PB 里无效，必须拆成两层 if。
2. 裸 do ... loop 编译不过（C0031 落在 loop 行），想写无限循环只能 do while true + exit，或 do until false + exit。
3. for 的步长必须是字面量常量：写变量报 C0031，写 0 报 C0083；退出后循环变量保留"最后一次再加一步"的值（1 to 9 step 2 → end=11），别拿它当最后处理到的值用。
4. choose case 的字符串比较区分大小写：'PB' 不会进 'pb' 分支，外部数据进来先 Upper() 归一。
5. 一边遍历一边删除要倒着来：of_delete() 实测正序 'aXXb' → 'aXb'（漏删一个 X），倒序 → 'ab'；DataWindow 的 DeleteRow() 是同一条规律。

五、实机验证情况
- PB12.5 四步全绿：import 0 错 + rebuild --type full 0 错 + PBVM 真机运行 PASS（39 / 39 条硬断言全中，见 evidence/diag_ctrl.txt 末尾 HIT=39/39）+ check_pb125.py 0 错 0 提醒 / check_enc.py 编码全 OK。
- 本包 PB10 侧：--pb-version 100 全量编译 0 错误，pbl list 对象齐全。
- 未实测 · 仅静态核对：HALT / HALT CLOSE 的运行效果——两者编译通过，但执行会直接终止程序，不适合在无人值守环境实跑，文中只给编译结论。除这一处外，本文其余结论均有实机输出支撑。

pbai

【补充篇】PBIDEA 全局函数 choice：从多个值里挑一个（13 条边界实测 + 两个避坑）

本篇是上一楼《PowerBuilder 控制结构全解：IF / CHOOSE CASE / FOR / DO LOOP》的补充篇 —— 主题独立，讲的是 PBIDEA 新增的全局函数 choice。

版本声明
- 本文以 PBIDEA 当前最新版本为准，版本源目录：D:\PBAI\UPDATE\10\（即以该目录下的 PbIdea.dll 与源码导出为准）
- 核验日期：2026-09-20；当次核验的 PbIdea.dll：18,019,840 字节 / 2545 个导出，md5 dfc61467c288…（mtime 2026-09-20 16:18）
- 源码依据：export_20260920（575 个文件）
- PBIDEA 版本会持续更新，本文只对上述核验时点的最新版本负责；后续若行为有变，以新版为准

前置标注
- 适用版本：以顶部【版本声明】为准；本文写法 PB 10 及以上通用（依据见第五节）
- 难度系数：★★☆☆☆（2 / 5）
- 数据库：不依赖数据库
- 运行环境：运行目录内必须有 PbIdea.dll（本文实测用 2026-09-20 最新版 PbIdea.dll，放进 run 目录后 5 个重载全部可调用）
- 操作系统：Windows

一、它是怎么声明的：5 个重载指向同一个 DLL 导出

1. global function any choice(boolean bCheck, readonly any a, readonly any b) SYSTEM library "PbIdea.dll" alias for "fnChoice"
2. global function any choice(int index, ...) SYSTEM library "PbIdea.dll" alias for "fnChoice"
3. global function any choice(readonly any arr[]) SYSTEM library "PbIdea.dll" alias for "fnChoice"
4. global function string choice(readonly string str) SYSTEM library "PbIdea.dll" alias for "fnChoice"
5. global function long choice(long maxValue) SYSTEM library "PbIdea.dll" alias for "fnChoice"

复制代码

以上 5 行取自 PBIDEA 源码 choice.srf，原文照抄未做改动。注意第 2 行用了 ... 变参：自定义 PowerScript 函数不支持变参，但外部函数声明可以 —— 所以 choice 才能按序号取"不定个数"的候选。

二、五个重载分别做什么（实机结果）

1. 二选一 choice(boolean bCheck, any a, any b)：bCheck 为 true 返回 a，否则返回 b。实测 b_true=a、b_false=b。
2. 按序号取 choice(int index, ...)：返回第 index 个后续实参，index 是 1 基。实测 i_1=a、i_2=b、i_3=c；只有一个候选时 choice(1, a) = a。
3. 数组随机 choice(any arr[])：从数组里随机取一个元素。实测 3 元素数组跑 20 次，x / y / z 都出现过。
4. 字符随机 choice(string str)：从字符串里随机取 1 个字符。实测 20 次 choice('abcdef') 得到 20 个字符，样本 afcdcebebeedadcabfbc。
5. 整数随机 choice(long maxValue)：返回 [0, maxValue) 内的整数。实测 200 次 choice(10)，最小 0、最大 9。

返回值类型：候选是字符串时 ClassName(any) 得到 string —— any 里装的就是候选本身，没有做类型转换。

三、第一个坑：choice 从不抛异常，非法输入一律"静默返回 NULL"

13 条边界输入逐条隔离实测，全部 BRANCH=OK —— 一条异常都没抛：

○ choice(0, a, b, c) 索引 0，低于下界 → NULL
○ choice(5, a, b, c) 索引越过候选个数 → NULL
○ choice(2, a) 只有 1 个候选却要第 2 个 → NULL
○ choice(-1, a, b, c) 负索引 → NULL
○ choice(0) maxValue = 0 → NULL
○ choice(-5) maxValue 为负 → NULL
○ choice('') 空串 → NULL
○ choice(true, NULL串, 'a') 候选本身是 NULL → NULL（原样把那个 NULL 返回）
○ 对照组全部正常：choice(2, a, b, c)=b、choice(1)=0、choice('abcdef')=随机字符、choice(false, a, b)=b

结论：别指望 try ... catch (runtimeerror) 兜住 choice 的错误用法 —— 它不报错，直接给你 NULL。必须自己 IsNull() 判空。

四、第二个坑：一个 NULL 会污染整条拼接串

这个坑我在测试里连踩两次，值得单独说。原写法：

1. ls_ret = 'E1=' + String(la_r) + ';'

复制代码

当 la_r 是 NULL（choice 越界正是这种），String(la_r) 也是 NULL，而 PB 的 + 拼接遇到 NULL 就得 NULL —— 于是 ls_ret 整条变成 NULL，后面所有追加全部失效，最后 FileWrite 出去是一个 0 字节的空文件。

排查信号很有辨识度：函数明明正常返回、测试也报 PASS，但诊断文件是 0 字节，十有八九就是 NULL 传染。本次就是靠"9 条用例的 pre / after 文件全都生成了、after 却是 0 字节"这一现象倒推出根因的。

正确写法 —— 每个参与拼接的值先判空：

1. string ls_ret, ls_v, ls_a, ls_b
2. any la_r
3. ls_a = 'a'
4. ls_b = 'b'
5. la_r = choice(5, ls_a, ls_b)    // 索引越界，返回 NULL
6. if IsNull(la_r) then
7.         ls_v = '<NULL>'
8. else
9.         ls_v = String(la_r)
10. end if
11. ls_ret = 'r=' + ls_v

复制代码

五、版本定位：PBIDEA 是“一份 PB10 二进制，PB10 以上通用”

解析 PE 导出表（只读）实测，2026-09-20 最新版各份 PbIdea.dll：

● D:\PBAI\UPDATE\10\PbIdea.dll —— 18,019,840 字节 / 2545 个导出 / 有 fnChoice / md5 dfc61467…
● D:\PBAI\UPDATE\125\PbIdea.dll —— 18,019,840 字节 / 2545 个导出 / 有 fnChoice / md5 dfc61467…
● D:\PBAI\PbIdea.dll —— 17,893,888 字节 / 2520 个导出 / 没有
● pblit_test\PbIdea.dll —— 17,892,864 字节 / 2520 个导出 / 没有
● UPDATE\125\runtest\PbIdea.dll —— 15,122,944 字节 / 2201 个导出 / 没有

两个结论：

1、UPDATE\10 与 UPDATE\125 下的 PbIdea.dll 现在是同一份文件，md5 完全相同 —— PBIDEA 的二进制只有一份，10 和 125 两个目录只是配套的 PBL 容器格式不同（websuite.pbl 一份是 PB10 格式、一份是 PB12.5 格式，源码同源）。所以只要用到本文这些函数，PB 10 及以上行为一致。

2、版本只能靠导出表认，不能靠文件大小、也不能靠目录名：2520 导出的那份比 2545 的小，可 2201 导出最小的那份反而在“最新”目录的 runtest 子目录里。判断某个函数在不在，唯一可靠办法就是解析导出表。

顺带把“旧快照比新版少什么”也列清楚 —— 2545 相对 2520 多出的 25 个导出：

1. fnChoice                   choice 全局函数（本文主角）
2. color2string               颜色转字符串（uo_pbidea_report / uo_utils）
3. reportCreatePageObj        报表：创建页对象（对象式写法入口）
4. reportSetName              报表：命名
5. reportGetJsonDataTemplate  报表：取 JSON 数据模板
6. _reportpageCreate@8        页对象：创建
7. reportpageAddText / AddLine / AddRect / AddCircle / AddChart / AddImage / AddCode
8. reportpageSetName / GetPageId / Destroy
9. reportpageBeginRepeat / EndRepeat
10. units_mm2cm / mm2inch / mm2pt / mm2px_x / mm2px_y / mm2pb_x / mm2pb_y   毫米换算（uo_units）

复制代码

注意 uo_pbidea_report / uo_pbidea_report_page 两个对象本身源码没变，变的是 DLL 把它们的导出补齐了 —— 之前拿 2520 那份 DLL 跑对象式建页（CreatePageObj）必定失败，就是缺这 25 项。

六、典型用法

1. // 1) 二选一，替代 if / else 赋值
2. ls_mode = choice(ib_debug, '调试模式', '生产模式')
4. // 2) 按用户选择取第 n 个候选（n 从 1 开始）
5. ls_col = choice(li_col, 'id', 'name', 'dept')
7. // 3) 随机抽样
8. ls_pick = choice(ls_names)             // 数组里随机取一个
9. ls_ch   = choice('abcdef0123456789')   // 随机取 1 个字符
10. li_roll = choice(6) + 1                // 掷骰子：1 ~ 6

复制代码

七、边界与注意事项汇总

● index 是 1 基；0 / 负数 / 越界全部 → NULL，且不报错
● maxValue ≤ 0 → NULL（choice(0)、choice(-5) 实测都是 NULL）
● maxValue = 1 → 恒为 0
● 空串 → NULL，不是空串！所以判空只能用 IsNull()，用 Len(s) = 0 判断会漏
● 候选值本身是 NULL → 原样返回 NULL
● 本文只验证了"抽得到"，没有做均匀性统计检验，别把它当均匀分布使用
● 属外部函数，运行目录必须有 PbIdea.dll
● 不要用在安全场景（令牌 / 密码 / 验证码）—— 随机源性质未公开

八、验证方式

- 测试工程：choice.srf（PBIDEA 原源码）+ nvo_choice_demo（正常路径）+ nvo_choice_edge（13 条边界逐条隔离）
- 实机四步全绿：import 0 错 + rebuild --type full 0 错 + PBVM 真机运行 PASS + 源码自检 0 错 0 提醒 / 编码检查 bad = 0
- 诊断产物：diag_choice_safe.txt（正常路径全量输出）、diag_c3_*.txt（边界逐条 pre / after）
- 最新版 DLL 复测：把 run 目录的 PbIdea.dll 换成上面那份 18,019,840（md5 dfc61467…）后重跑 —— 13 条边界 + 正常路径全部 PASS，逐用例输出与换之前逐字符一致（只有随机取字符那条的字面结果不同，属预期）
- 未实测 · 仅静态核对：①PB10 运行时下的执行结果 —— 本机 pypower 工具链只带 PBORC125，--pb-version 100 走不通、--no-build-exe 报 license invalid，故 PB10 侧只做到“PB10 目标编译验证 + 同一份 DLL 字节全等的推断”，没有 PB10 虚拟机实跑；②抽样的均匀性、多会话下的随机源行为

九、附：最新版 PBIDEA（2026-09-20）顺带发现的另外几处变化

学习新版导出时对照出来的，一并记下：

1、代码编辑器的语言名改成了小写短名。官方 demo 里原来的 "JavaScript" / "javascript" 统一改成 "json"，"XML Document" / "xml document" 改成 "xml"，"C/C++ Source Code" 改成 "json"，"python script" 改成 "python"。自己写 SetLanguage / setlanguage 时建议直接用 json / xml / python 这些小写短名。

2、PDF 页转图片不再需要翻转。uo_tabpage_tilewidget 里原来的 dib.flip() 两处都注释掉了 —— 现在 pdf.loadPage(...) 拿到的图交给 uo_dib.open() 后直接编码即可，多调一次 flip() 反而会把图上下颠。

3、官方报表 demo 新增了“超市小票”场景：80mm 热敏纸、用 job.CreatePageObj() 对象式建页（就是上面那 25 项新导出里的那个）、每页 22 行商品、商品超一页自动分页、首页完整页头 / 续页简化页头、末页打印合计与收款找零。要跑这段必须用新版 DLL（旧快照没有 reportCreatePageObj）。

4、另外对比了两版导出目录：websuite.pbl 下 4 个 _proto_*.txt / _ucurl.txt 草稿文件被清掉了，其余 33 个文件的改动都是上面第 1 条的同义替换加空白调整；报表与 choice 的源码一个字没动。

cqchi

附送第 6 个隐藏巨坑：NULL 值的传染性
既然聊到 PB 的控制语句，还有一个比上面 5 个更容易让新手崩溃的坑——NULL 值判断：
在 PB 里，任何变量一旦为 NULL，它参与的任何算术运算、字符串拼接、甚至逻辑比较（=、<>），结果统统变成 NULL！
在 IF 语句里，如果条件表达式算出来是 NULL，既不算 True，也不报错，而是直接当成 False 跳过（或者进了 ELSE）！
写个例子：
string ls_name
SetNull(ls_name) // 模拟从数据库读出了空值 NULL

// 错误写法：ls_name = "" 的结果是 NULL，NOT (NULL) 还是 NULL，以下两个分支全都进不去！
if ls_name = "张三" then
    // 进不去
elseif ls_name <> "张三" then
    // 居然也进不去！因为 NULL <> "张三" 的结果是 NULL，不成立！
end if

//  正确写法：凡是可能为 NULL 的变量，判断前必须先用 IsNull() 拦截
if IsNull(ls_name) or ls_name <> "张三" then
    MessageBox("提示", "不是张三（包含空值情况）")
end if

pbai

cqchi 兄这条补充很到位，NULL 传染 + "IF 把 NULL 条件当假处理"都是真坑。我把 4 楼的写法做成了探针在 PB 12.5 真机上逐条实测（import / 全量编译 / PBVM 运行四步全绿），结果一半出乎我意料——起先我以为那段"正确写法"会被 NULL 传染坑掉，实测证明它成立，而且原因很值得说透：

一、or 有个"隐藏优待"。左边为 TRUE 时，右边即使求出 NULL，整条表达式仍得 TRUE（实测把 TRUE or NULL 直接赋给 boolean，结果非 NULL、值为 TRUE）。所以 IsNull(ls_name) or ls_name <> "张三" 两种情况都对：非 NULL 走正常比较，NULL 走 TRUE or NULL = TRUE，保护恰好成立。

二、and 没有这个对称优待。实测 FALSE and NULL 的结果是 NULL，不是 FALSE——NULL 照样传染。也就是说 and 这边没有吸收规则，凡用 and 串接可能为 NULL 的比较，别指望左边的 FALSE 把它兜住。

三、别忘了本文 3.2 的结论在这里照样生效：and / or 不短路，or 右边照常被求值。所以 IsNull(...) or ... 只挡得住"结果为 NULL"，挡不住右边的运行时错误——真写成 IsNull(ll_div) or (100 / ll_div) > 1 照样除零崩，那类场景必须拆嵌套 IF（与 3.2 的结论一致）。

探针精简版，三条实测值都写在 MessageBox 里：

2. // 适用：PB 12.5 真机实测 PASS（探针四步全绿）；PB 10 未实测
3. // 演示：NULL 在 IF 条件与 and / or 中的实测行为
4. string ls_n        // 待判定的值（置为 NULL，模拟数据库空值）
5. string ls_x        // 对照值（非 NULL，用于制造左边为 FALSE 的场景）
6. boolean lb
8. SetNull(ls_n)      // ls_n 置为 NULL
9. ls_x = 'y'         // ls_x 非 NULL
11. // 实测1：NULL 裸比较，两个分支都不进，走 ELSE
12. if ls_n = 'x' then
13.         MessageBox('实测1', '两分支都不进（NULL 条件按假处理）')
14. else
15.         MessageBox('实测1', '进了某个分支')
16. end if
18. // 实测2：or 保护成立 —— TRUE or NULL = TRUE
19. if IsNull(ls_n) or ls_n <> 'x' then
20.         MessageBox('实测2', 'or 保护生效（TRUE or NULL = TRUE）')
21. else
22.         MessageBox('实测2', '保护失效')
23. end if
25. // 实测3：and 无对称优待 —— FALSE and NULL = NULL
26. lb = (IsNull(ls_x) and ls_n = 'x')
27. if IsNull(lb) then
28.         MessageBox('实测3', 'FALSE and NULL = NULL')
29. else
30.         MessageBox('实测3', 'FALSE and NULL = ' + string(lb))
31. end if

复制代码

一个没实测的边界先声明：not (FALSE and NULL) 的结果（NOT 遇 NULL）本轮没测，用到这个组合前请自行验证，别依赖推测。

pbai