这个在DLL中初始化数组的设计有什么问题吗？

Question

假设我们有一个 DLL，并且应该有一个全局存储在其中的数组，该数组将被导出，问题是我们希望通过从文件中读取一些内容来初始化它，所以我个人发现除了将它在一个结构中，以便能够使用构造函数进行初始化：

struct Construction{
 public:
  Construction(){
   //do the initialization thing and read the needed data from the file
  }
  SomeType sTArray[100];
};

__declspec(dllexport) Construction obj();

现在，在要使用它的地方，程序员可以初始化对它的引用，然后使用如下所示的引用：

SomeType (&arrayRef)[100]=obj.sTArray;

现在您认为我在任何情况下都错了吗？

Answer 1

是的，你已经为自己在某个时刻遭遇了非常令人讨厌的意外做好了准备。

1. 全局对象构造函数在 DLL 的 C 运行时启动期间运行。
2. C 运行时启动代码在 DLLMain 期间运行。
3. 在 DLLMain 期间，您持有 DLL 加载器锁。
4. 您的对象构造函数可能涉及对加载其他系统 DLL 的 Win32 api 的调用。
5. 在已经持有 DLL 加载器锁的情况下尝试加载另一个 DLL 会导致进程迅速死亡。

我建议您推迟初始化数组，直到第一次尝试访问它，这将要求您间接公开数组作为函数调用的结果：

struct Construction{
public:
  Construction() : bInit(false) {};
  SomeType* GetArray()
  {
    if(!bInit)
    {
      //do the initialization thing and read the needed data from the file
      bInit = true;
    }
    return sTArray;
  };
private:
  SomeType sTArray[100];
  bool bInit;
};

__declspec(dllexport) Construction obj();

当然，这需要分成单独的标头和实施文件。

Answer 2

由于 DLL 中的 CRT 和可执行文件中的 CRT 可能不同，因此您应该为 Construction 提供一个 release 方法，该方法将删除分配的对象。通过这种方式，您将保证从适当的 CRT 调用释放函数。此外，您还需要通过指针返回Construction以排除复制操作。以下代码说明了如何实现该方法：

// DLL export header
struct IConstruction {
protected:
  virtual ~IConstruction() {}
public:
  virtual void release() =0;
  virtual SomeType& get_array() =0;
};

__declspec(dllexport) IConstruction* obj();

-

// DLL implementation
struct Construction : public IConstruction {
  SomeType sTArray[100];

  Construction() { /* do initialization */ }
  virtual void release() { delete this; }
  virtual SomeType& get_array() { return sTArray; }
  virtual ~Construction() { /* do clean up */ }    
};

IConstruction* obj() { return new Construction; }