Как подключить (импортировать) функцию WinApi в Delphi

КАК. Само объявление функции ниже неверно. Он просто был дословно скопирован из текста вопроса, чтобы продемонстрировать логику ошибки компиляции.

Выдайте ошибку компиляции: «E2033 Типы фактических и формальных параметров var должны быть идентичны» - относится к @ hProv и @ dwProvType.

И это правильно. Функция (как было объявлено) возвращает указатель, а не целое число. Ваш код

var hProv:NativeUInt;
const pProv = @hProv;
if not CryptAcquireContext(pProv,...

var dwProvType: DWORD;
const pPropType = @dwPropType;
while CryptEnumProviders(... @dwProvType, ...

Но функция не может записывать значения в константу. Правильный код должен быть

var hProv: NativeUInt;
VAR pProv: PNativeUInt;
pProv := @hProv;           (** see remarks **)
if not CryptAcquireContext(pProv,...

var dwProvType: DWORD;
VAR pPropType: ^DWORD;
pPropType := @dwPropType;  (** see remarks **)
while CryptEnumProviders(... @dwProvType, ...

А на самом деле. поскольку эти параметры предназначены только для OUT, вам не нужно присваивать им значения - эти отмеченные строки следует опустить. Я поместил их только для того, чтобы подчеркнуть разницу между переменными и константами; Следовательно, hProv и dwProvType также должны быть удалены - они не используются.

1) Как правильно сделать. MSDN OUT = Delphi OUT или VAR?

Delphi плохо поддерживает OUT. За исключением некоторых узких случаев, таких как IUnknown, Delphi принимает OUT как синоним для VAR.

• Лично я считаю, что вам следует указать OUT - только для самодокументированного кода.
• Другие утверждают, что использование OUT вместо VAR в Delphi просто обманывает себя.

Если вы из страны C ++, то VAR-параметр является прямым аналогом ссылочных типов C ++, как в int Name(int& var; char& Var);

Однако, как указал Дэвид Хеффернан, для C ++ эти _In_ и _Out_ являются просто документацией для намерений, они не влияют на скомпилированный код. Итак, на самом деле объявления 1-го параметра для CryptAcquireContext должны читаться - в зависимости от ваших предпочтений как /*Out*/ HCRYPTPROV *phProv или /*Out*/ HCRYPTPROV &hProv, которые в Delphi будут соответствовать соответственно const phProv: PNativeUInt или out hProv: PNativeUInt. В зависимости от вашего настроения вы либо передаете (по значению, константа) указатель на контейнер результата, либо передаете сам контейнер (по ссылке, изменчивый). Бинарные эти параметры одинаковы.

И я верю, что FPC H2Pas и Jedi API Lib дадут правильное заявление и не пропустят ошибку, как это сделал я.

2) Надо ли писать Const? IN = Delphi Const?

ИМХО: Лучше сделайте - для самодокументирования кода. Однако речь идет о двоичной совместимости передачи разных значений в данном соглашении о коде. Я не думаю, что CONST (или его отсутствие) будет серебряной пулей для обеспечения правильной передачи любого типа данных. В общем, я думаю, это вопрос личного вкуса и самодисциплины.

3) Типы с указателями. DWORD = Delphi Dword. В порядке. DWORD * = Delphi PDWROD (или все отмеченные * = тип указателя Delphi)?

По умолчанию Delphi наследует от Паскаля представление о том, что «каждый указатель не имеет типа». Для меня это разрушает безопасность типов Паскаля, и в своих проектах я всегда проверяю Typed Pointers в параметрах или помещаю прагму {$T+} в исходные тексты.

Итак, в зависимости от настройки компилятора DWORD* может быть Pointer или ^DWORD; тип PDWORD - это просто именованный псевдоним (C ++: typedef) для ^DWORD.

Объявите тип для HCRYPTPROV:

type
  HCRYPTPROV = NativeUInt;

Затем объявите функции:

function CryptAcquireContext(
    out hpProv: HCRYPTPROV; 
    Container: PWideChar;
    Provider: PWideChar;
    ProvType: DWORD;
    Flags: DWORD
):BOOL; stdcall; external Advapi32dll name 'CryptAcquireContextW';

function CryptEnumProviders(
    Index: DWORD;
    Reserved: PDWORD;
    Flags: DWORD;
    out ProvType: DWORD;
    pszProvName: PWideChar;
    var pcbProvName: DWORD
):BOOL; stdcall; external Advapi32dll name 'CryptEnumProvidersW';

Обратите внимание, что параметры var и out передаются как указатели на фактический параметр. Таким образом, в вашем коде у вас было бы слишком много косвенного обращения.

В моем переводе здесь я принял следующую политику:

• Параметры значения не используют const. Кажется, мало пользы от внешнего объявления.
• Параметры указателя передаются с помощью var или выходят по выбору. Для таких простых типов, как эти, out и var имеют одинаковую реализацию, и единственная причина для использования того или другого - документировать семантику параметра.
• Необязательные параметры указателя объявляются как указатели, позволяющие вызывающему объекту передать значение nil.