帕斯卡是倒数而不是倒数？太奇怪了

Question

手表显示计数器 j 正在下降而不是上升...知道为什么吗？谢谢

program NEACardTrick;

{$APPTYPE CONSOLE}

uses
  SysUtils,
  Math;

type
  Tcards = array[1..21] of string;    
var
   cards: Tcards = ('H A', 'H 2', 'H 3', 'H 4', 'H 5', 'H 6', 'H 7',
             'S A', 'S 2', 'S 3', 'S 4', 'S 5', 'S 6', 'S 7',
             'D A', 'D 2', 'D 3', 'D 4', 'D 5', 'D 6', 'D 7');
   shuffledCards:Tcards;
   i,j,y, x: integer;


function get_cards(var cards: array of string): Tcards;    
begin    
  y := 1;
  Repeat
    Randomize;
    x := RandomRange(1,21);
    If cards[x] <> 'Done' then
    begin
      shuffledCards[y] := cards[x];
      y := y + 1;
      cards[x] := 'Done';
    end    
  Until y >= 21;        
  result := shuffledCards;
end;

procedure PrintCards(var shuffledCards: Tcards);
var
  j: integer;
begin
  for j := 1 to 21 do
    writeln(shuffledCards[j]);
end;

begin    
  get_cards(cards);
  PrintCards(shuffledCards);
  readln;
end.

Answer 1

您的诊断不正确。索引变量在该循环中计数。

如果不使用循环变量，编译器可能会将循环计数器优化为运行它选择的任何顺序。但是在您的循环中使用了索引变量，因此它必须增加。

Answer 2

您在 Delphi 7 中对 procedure PrintCards() 中的 j: integer 变量的观察与调试器观察中显示的完全一样。但是，请放心，for 循环正常工作。

在您的代码中，您赋予了 j 两项职责，1) 作为循环控制和 2) 作为 shuffledCards[] 数组的索引。

编译器将您的 delphi 代码翻译成尽可能高效（但当然是正确的）机器代码。安排一个循环，检测 ZF（零标志）作为循环终止条件，而不是与 const 值进行显式比较，是提高效率的一种方法。因此，任务 1) 通过递减循环控制解决，在本例中为寄存器 esi（参见下面的反汇编）。

对于第二个任务，不能使用esi寄存器，因为它的计数方向错误。因此，另一个寄存器 ebx 用于职责 2)。它被设置为指向数组第一个元素（索引为 1 的元素）的指针。然后在循环中的每一轮 ebx 递增以指向下一个元素。

这是 PrintCards() 过程的反汇编：

Project2.dpr.38: begin
0040876C 53               push ebx
0040876D 56               push esi
0040876E 57               push edi
0040876F 8BF8             mov edi,eax

Project2.dpr.39: for j := 1 to 21 do
00408771 BE15000000       mov esi,[=10=]000015    // Initialize loop control

00408776 8BDF             mov ebx,edi          // set up pointer to array
Project2.dpr.40: writeln(shuffledCards[j]);
00408778 A160934000       mov eax,[[=10=]409360]  // loop start
0040877D 8B13             mov edx,[ebx]
0040877F E8B4B8FFFF       call @WriteOLString
00408784 E8CFA5FFFF       call @WriteLn
00408789 E8B69EFFFF       call @_IOTest

0040878E 83C304           add ebx,          // advance array element pointer
Project2.dpr.39: for j := 1 to 21 do
00408791 4E               dec esi              // decrement loop control
00408792 75E4             jnz -c             // jump if not zero to loop start

Project2.dpr.41: end;
00408794 5F               pop edi
00408795 5E               pop esi
00408796 5B               pop ebx
00408797 C3               ret

在第 39 行打断点，然后运行。当停在第 39 行时，调出 CPU 视图（View - Debug Windows - CPU 或 Ctrl-Alt-C）。然后单步(F8)跟随寄存器的变化，自己看

j 的调试器监视显示 esi 的值，因此您看到该值从 21 下降到 1（实际上您可以看到最后的 0 在上次之后出现dec esi 被执行）。

帕斯卡是倒数而不是倒数？太奇怪了

Pascal is counting backwards not upwards? so wierd

delphi

delphi-7