delphi - 为什么有这么多指点？

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 Error] Types of actual and formal var parameters must be identical

因为超时参数。如果我将 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 header 转换。 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;