delphi - 帕斯卡是倒数而不是向上数？太奇怪了

Question

http://rextester.com/OXRFB95557

watch 显示计数器 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

您在 Delphi 7 中对 j: integer 的观察变量 procedure PrintCards()与调试器 watch 中显示的完全相同。不过，请放心，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,$00000015    // Initialize loop control

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

0040878E 83C304           add ebx,$04          // advance array element pointer
Project2.dpr.39: for j := 1 to 21 do
00408791 4E               dec esi              // decrement loop control
00408792 75E4             jnz -$1c             // 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 (View - Debug Windows - CPU 或 Ctrl-Alt-C)。然后单步(F8)跟踪寄存器的变化，自己看看

调试器监视j显示 esi 的值，因此您会看到值从 21 下降到 1(实际上您可以看到最后一次 dec esi 执行后立即出现最后的 0)。