Как поменять местами указатели?

Я делаю это так:

type
  TGeneric = class
  public
    class procedure Swap<T>(var Left, Right: T); static;
  end;

class procedure TGeneric.Swap<T>(var Left, Right: T);
var
  temp: T;
begin
  temp := Left;
  Left := Right;
  Right := temp;
end;

Это можно использовать для замены значений любого типа. Возможность, которая заставит плакать любого Java-программиста! ;-)

На мой взгляд, компилятор производит довольно эффективный код. Я не думаю, что вам нужно беспокоиться о способности компилятора создавать эффективный код для выполнения назначений.

Для 32 бит с T = Pointer имеем:

push ebx
mov ecx,[eax]
mov ebx,[edx]
mov [eax],ebx
mov [edx],ecx
pop ebx
ret 

Для 64 бит с T = Pointer имеем:

mov rax,[rcx]
mov r8,[rdx]
mov [rcx],r8
mov [rdx],rax
ret

FWIW, мне не нравятся ваши версии с использованием const параметров. Код в вопросе должен использовать var. Но безопасность типов этой универсальной версии, конечно, предпочтительнее.

Ответ Дэвида — это самый разумный подход к решению проблемы.

Однако, чтобы выяснить, почему ваш код не работает, обратите внимание на две вещи.

• Integer — это 32-битный тип как для x86, так и для x64.
• В x64 аргументы передаются (по порядку) в RCX, RDX, R8 и R9

При компиляции для x86 ваш код работает. При компиляции для X64 вы предполагаете, что аргументы передаются в RAX и RDX (например, EAX, EDX в x86), что неверно. Итак, ваш код должен выглядеть так

  xchg rax, [rcx]
  xchg rax, [rdx]
  xchg [rcx], rax

Вы заметите, что без изменений это также не работает - теперь и I1, и I2 равны нулю. Это связано с тем, что вы предположили, что Integer является 64-битным типом, что, в отличие от указателей, не является таковым (и вы вообще не выполняете проверку типов - см. еще раз преимущества решения Дэвида). Если переопределить:

var
  {$if defined(CPUX86)}
    I1, I2: Integer;
  {$else}
    I1, I2: Int64;    
  {$ifend}

Потом вдруг все работает как положено. К настоящему времени также должно быть ясно, почему это не самый элегантный подход.