Pascal - 分配给函数调用

Question

我正在查看 CodeGear C++ Builder 头文件的源代码。在 Source/vcl/forms.pas 中，我找到以下代码行：

procedure TApplication.CreateForm(InstanceClass: TComponentClass; var Reference);
var
  Instance: TComponent;
begin
  Instance := TComponent(InstanceClass.NewInstance); // 메타클래스 이용하여, 인스턴스화
  TComponent(Reference) := Instance;
  try
    Instance.Create(Self); // 폼 생성
  except
    TComponent(Reference) := nil;
    raise;
  end;
  if (FMainForm = nil) and (Instance is TForm) then
  begin
    TForm(Instance).HandleNeeded; // 윈도우핸들을 생성
    FMainForm := TForm(Instance);
  end;
end;

从上下文来看，我认为正在发生的是，此过程创建了 InstanceClass 类型的实例并返回该实例通过参考实例。在我的调用中，InstanceClass 不是 TForm，因此后半部分并不重要。

我对 TComponent(Reference) := Instance; 感到困惑。 从语法上看，这里发生了什么？这是通过引用进行赋值吗？这是分配一个新的 TComponent 并为实例化器参数 Reference 分配值吗？ TComponent() 是类型转换吗？

Answer 1

1. 在过程的签名中，形式参数reference并不指示数据类型，而是被声明为var可用参数。
2. 无类型参数在 Pascal 中不合法，但在方言中允许，例如 GNU Pascal 和 FreePascal。
   在那里，这样的变量参数接受任何数据的实际参数类型。
   编译器不会强制/限制允许的数据类型，但它必须是可寻址的（即不允许使用文字）。
3. dataTypeName(expression) 确实是类型转换（在 Pascal 中也是非法的，但某些方言允许）。
   具体来说，dataTypeName(variableName) 是一个变量类型转换。
   它将被视为 variableName 属于指定的数据类型。
   这是必要的，因为在这种特殊情况下，reference 没有关联的数据类型。
   没有关联的数据类型意味着，在如何访问相关变量方面没有商定的规则（即任何读/写访问都是不可能的）。
4. 该过程可能创建一个TComponentClass的实例，即。 e.参数 InstanceClass 的数据类型，但您应该真正阅读 NewInstance 方法的文档。
   我只能告诉你它是 TComponent 的后代，否则类型转换为不相关的类几乎没有意义。

Answer 2

Reference 参数是无类型的 var 参数。在C++术语中，它大致相当于void*，即任何变量的地址都可以绑定到它。该代码将 Reference 类型转换为 TComponent*& 或 TComponent** 的等效项，然后分配 Instance< /code> 变量（TComponent* 指针）指向调用者传递的变量。

该代码大致与 C++ 中的以下代码等效（除了 C++ 中不存在元类和虚拟构造函数，因此该代码实际上在 C++ 中不可用）：

void __fastcall TApplication::CreateForm(TComponentClass* InstanceClass, void* Reference)
{
    // this just allocates a block of memory of the required size...
    TComponent* Instance = static_cast<TComponent*>(InstanceClass->NewInstance());

    // *static_cast<TComponent**>(Reference) = Instance;
    reinterpret_cast<TComponent*&>(Reference) = Instance;

    try
    {
        // This is calling the class' virtual constructor
        // on the allocated memory.  In C++, this would be
        // similar to calling 'placement-new' if the class
        // type was known statically here...

        // new(Instance) InstanceClass->ClassType()(this);
        Instance->Create(this);
    }
    catch (...)
    {
        // *static_cast<TComponent**>(Reference) = NULL;
        reinterpret_cast<TComponent*&>(Reference) = NULL;
        throw;
    }

    if ((!FMainForm) && (dynamic_cast<TForm*>(Instance) != NULL))
    {
        static_cast<TForm*>(Instance)->HandleNeeded();
        FMainForm = static_cast<TForm*>(Instance);
    }
}

// Application.CreateForm(TForm, Form1);
Application->CreateForm(__classid(TForm), reinterpret_cast<void*>(&Form1));