为什么这么多指针？

Question

在搜索Win32 LDAP API函数的引用时,我发现了以下JwaWinLDAP.pas单元.

在此单元上,声明函数ldap_search_st:

function ldap_search_st(ld: PLDAP; base: PAnsiChar; scope: ULONG;
  filter, attrs: PAnsiChar; attrsonly:  ULONG; var timeout: TLDAPTimeVal;
  var res: PLDAPMessage): ULONG; cdecl;

超时:TLDAPTimeVal参数声明为:

  PLDAPTimeVal = ^TLDAPTimeVal;
  l_timeval = packed record
    tv_sec: Longint;
    tv_usec: Longint;
  end;
  LDAP_TIMEVAL = l_timeval;
  PLDAP_TIMEVAL = ^LDAP_TIMEVAL;
  TLDAPTimeVal = l_timeval;

在代码上,如果我使用类似的东西:

procedure foo;
var
  TimeVal: PLDAPTimeVal;
begin
 ldap_search_st(foo1, Nil, 0, PAnsiChar('(objectClass=*)'), Nil, 0, TimeVal, foo2);
end;

编译器给我错误:

[dcc32错误]实际和正式var参数的类型必须相同

因为超时参数.如果我将TimeVal类型更改为TLDAPTimeVal,它将编译并且应用程序正常工作.

问题是:当我在Delphi中看到类型声明时,它们总是如下:

type
 PType1 = ^Type1
 Type1 = record...

在引用的具体示例中,它可以是:

  l_timeval = packed record
    tv_sec: Longint;
    tv_usec: Longint;
  end;
  TLDAPTimeVal = l_timeval;

它会以完全相同的方式工作(我认为)......为什么这种宣言如此混乱？

Answer 1

type
 PType1 = ^Type1
 Type1 = record...

上面的类型声明声明了两种类型 - 一种是记录,另一种是特定记录类型的类型指针.它们通常成对声明,因为它们是相关的.但是如果您或任何代码不需要类型指针,则不需要声明指针类型.

函数ldap_search_st仅使用声明的记录类型.但是该单元中的一些其他函数期望指针作为参数.这就是宣言同时具备的原因.

有问题的代码是Delphi的LDAP Windows API头文件翻译.Windows API使用指针将结构传递给函数.

API翻译通常很复杂,有时候看似多余的声明.为了完整起见,翻译通常包含所有原始声明(符号) - 那些是l_timeval,LDAP_TIMEVAL并且PLDAP_TIMEVAL,虽然这些声明足以使用API​​,但还有两个额外的声明,其唯一目的是提供Delphi样式名称以获得更加用户友好的体验PLDAPTimeVal,TLDAPTimeVal

如果你看看原始的LDAP函数声明,它们都使用指针来传递结构.例如:

ULONG ldap_search_st(
  _In_  LDAP             *ld,
  _In_  PCHAR            base,
  _In_  ULONG            scope,
  _In_  PCHAR            filter,
  _In_  PCHAR            attrs[],
  _In_  ULONG            attrsonly,
  _In_  struct l_timeval *timeout,
  _Out_ LDAPMessage      **res
); 

和

ULONG ldap_connect(
  _In_ LDAP         *ld,
  _In_ LDAP_TIMEVAL *timeout
);

这两个考虑timeout参数有一个区别.

ldap_search_st期望timeout参数中的非空值- 并且该参数的Delphi转换是var timeout: TLDAPTimeVal为了更清楚地匹配该意图 - 该声明可以防止您意外地传递null.虽然TLDAPTimeVal不是指针类型,但有var关键字使我们的timeout参数表现得像一个.幕后花絮Delphi会将指针传递给结构,并与原始函数声明完美匹配.

另一方面,ldap_connect timeout可以包含空值.在这种情况下,将使用默认超时值.满足该要求的唯一方法是使用指针类型来超时结构.用另一个词PLDAPTimeVal和Delphi翻译的那个函数声明是

function ldap_connect(ld: PLDAP; timeout: PLDAPTimeval): ULONG;