做 C++模板与 VCL 类配合得很好吗？

Question

我正在尝试使用 C++ 模板“mixins”来创建一些具有共享附加功能的新 VCL 组件。示例...

template <class T> class Mixin : public T
{
private:
  typedef T inherited;

// ...additional methods

public:
  Mixin(TComponent *owner) : inherited(owner)
  {
  // .. do stuff here
  };
};

像这样使用：

class MyLabel : public Mixin<TLabel>
{
  ....
}

class MyEdit : public Mixin<TEdit>
{
  ....
}

现在，一切都编译得很好，并且 mixin 的东西似乎可以工作 - 直到我尝试使用 TStream->WriteComponent 将组件保存到流中，其中继承的属性（例如 TLabel.Width/Height） /等）不要写。即使使用像上面所示的“空”混合也是如此。

当直接从 TForm、TEdit 等派生类时，我的代码工作正常 - 并且该类已正确注册到流系统。

Answer 1

快速/简单的答案是：不；在处理模板时，编译器不会生成正确的描述符来使流式处理工作。然而，由于这个问题之前已经出现过，所以我在封面下偷看以找出丢失的内容。我发现它已经快到了。这里有更多信息。

首先，编译器永远不会将基于模板的类型视为 Delphi。例如，执行如下操作：

void testing()
{
  __classid(Mixin<Stdctrls::TLabel>); // Error Here
}

...，您将看到错误

“Error E2242 test.cpp 53: __classid 需要 Delphi 样式类类型（即标记为 __declspec(delphiclass) 的类或派生自System::TObject) in function testing()"

这基本上表示编译器不认为该类型/类与 Delphi 类 [即派生自 TObject 的类] 兼容。在内部，符号上只有一个标志，表明该类型是否与 delphi 兼容。我注意到，如果我强迫编译器沿着层次结构向上走，我可以欺骗编译器将类型标记为 delphi 样式。如果我创建对象的实例，这是它必须做的事情。因此，通过这个 hack，错误就消失了：

void testing()
{
  typedef Mixin<Stdctrls::TLabel> __ttype;
  std::auto_ptr<__ttype> c2(new __ttype(0));
  __classid(Mixin<Stdctrls::TLabel>); // No more errors here
}

但实际上更好的是直接在模板上使用 __declspec(delphiclass)，如下所示：

template <class T> 
class __declspec(delphiclass) Mixin : public T {
private:
  int i;
  typedef T inherited;
public:
  __fastcall Mixin(TComponent *owner) : inherited(owner) {};
};

所以现在编译器将类型视为 delphi 风格的类而无需 hack，我偷看了再多一点，发现您可能遇到的问题：Delphi 类具有 TTypeData.PropCount 字段 - http:// docwiki.embarcadero.com/VCL/en/TypInfo.TTypeData - 这是类属性的总和，包括其基类的属性。由于计算各种信息的方式，当涉及模板时，编译器会为该字段写出“0”:(

您可以通过打印 PropCount 来看到这一点，如下所示：

#include <Stdctrls.hpp>
#include <cstdio>
#include <memory>
#include <utilcls.h>

class TCppComp : public Classes::TComponent {
  int i;
public:
  __fastcall TCppComp(TComponent* owner): Classes::TComponent(owner) {};
__published:
  __property int AAAA = {read=i, write=i};
};

template <class T> 
class __declspec(delphiclass) Mixin : public T {
private:
  int i;
  typedef T inherited;
public:
  __fastcall Mixin(TComponent *owner) : inherited(owner) {};
};

typedef Mixin<TCppComp> TMixinComp;

void showProps(TClass meta) {
  PTypeInfo pInfo = PTypeInfo(meta->ClassInfo());
  int Count = GetPropList(pInfo, tkAny, NULL);
  TAPtr<PPropInfo> List(new PPropInfo[Count]);
  std::printf("Class: %s - Total Props:%d\n", 
                   AnsiString(pInfo->Name).c_str(), Count);  
  GetPropList(pInfo, tkAny, *(reinterpret_cast<PPropList*>(&List)));
  for (int i = 0; i < Count; i++) {
    AnsiString propName(List[i]->Name);
    std::printf("\t%s\n", propName.c_str());
  }
}

void test() {
  showProps(__classid(TCppComp));
  showProps(__classid(TMixinComp));
}

int main() {
  test();
  return 0;
}

当运行上述打印时：

  Class: TCppComp - Total Props:3
    AAAA
    Name
    Tag
  Class: @%Mixin$8TCppComp% - Total Props:0

IOW ，Mixin 显示为“0”个已发布属性，而其基本类型为 3:(

我怀疑流系统依赖于这个计数，这就是为什么继承的属性没有在您的设置中写出。

我考虑过在运行时调整生成的描述符，但是因为我们将它们写入 _TEXT，所以它必然会触发 DEP。

我将查看计算 PropCount 的逻辑，看看是否有某种方法可以让它计算出正确的数字。如果时间允许，请为此打开一个 QC：现在我已经看到了下面的内容，我相信不需要太多的努力就能让其按预期工作，

干杯，

Bruneau

PS：在我的示例中，我什至让 Mixin 发布了一个属性，并且编译器为该属性生成了正确的描述符；然而，总数仍然为零。