c++ - 如何在库中强制包含 "unused"对象定义

Question

我的问题与这些类似，但似乎并不完全相关:

How to force inclusion of an object file in a static library when linking into executable?

Forcing symbol export with MSVC

我得到的是这样的:

struct thingy;
struct container
{
  static container& instance(); // singleton

  int register_thingy(thingy*);
};

struct thingy
{
  virtual ~thingy() {}
  virtual int id() const = 0;
};

//template trick to force registration.
template < typename Derived >
struct registered_thingy : thingy
{
  registered_thingy() : my_id(my_static_id) {} 

  int id() const { return my_id; }
private:
  int my_id;
  static int my_static_id;
}
template < typename Derived >
int registered_thingy<Derived>::my_static_id = 
  container::instance().register_thingy(new Derived);

现在，在 concrete_thingy.cpp 文件中我有:

struct my_concrete_thingy : registered_thingy<my_concrete_thingy>
{
  my_concrete_thingy() {} // registered_thingy's constructor not called otherwise
};

当然，上面这些完全没用，但是这里抽象出了真实的行为。

这在作为一个整体编译的应用程序中使用时非常有效。现在的问题是，到目前为止，我无法在将库中 collection 背后的行为封闭起来的同时使用此技术。换句话说，我有一个包含 concrete_thingy.cpp 的 thingys.lib 文件，但是当它链接到可执行文件时不会发生注册。 collection 最终存在并且工作正常，但它是空的。

现在，这是一个 STATIC 库，而不是 DLL。这可能会稍微改变问题，并且上面链接中提到的技术似乎并不适用。其中一个当然是关于函数的，我不知道如何将它应用于这些 C++ 结构。

我尝试在 concrete_thingy.cpp 中对以下三行(当然是单独的)使用 #pragma comment 方法，但均无效:

#pragma comment (linker, "/export:concrete_thingy")
#pragma comment (linker, "/export:concrete_thingy::my_static_id")
#pragma comment (linker, "/export:registered_thingy<concrete_thingy>::my_static_id")

如果 concrete_thingy.cpp 在可执行文件而不是库中，一切正常。

那么，这是我的问题:

1) 是否可以做我想做的事？我猜是的，但我只是不知道怎么做。

2) 如果可能的话，我将如何让 MSVC++ 2010 做到这一点？

3) 如果可能的话，我怎样才能以便携的方式做到这一点？

简而言之，我正在尝试做的事情类似于创建一个创建抽象实现的抽象工厂。它对这些使用全局初始化技巧注册的实现一无所知。这应该都在一个静态库中，应用程序可以链接到这些实现，并且这些实现应该可以通过该工厂获得。除了他们自己，没有人对这些实现一无所知，因此正常的链接导致它们和它们的全局注册消失。

这不是我想要的，但已经足够接近了。

编辑:============================================= =======

看起来这种行为是“设计使然”的。 MS 认识到无论是否使用都会导致副作用的对象构造，他们利用标准中的漏洞允许它们不包括未使用任何内容的翻译单元:\

https://connect.microsoft.com/feedback/viewfeedback.aspx?FeedbackID=244410&wa=wsignin1.0&siteid=210

显然，/OPT:NOREF 选项旨在在这种情况下不执行任何操作。

Answer 1

好吧，其他的答案都是很好的尝试，但最终没有结果。我将使用 retrofit 技巧，但其余部分似乎是转移注意力的；这是有道理的，因为有问题的模板实际上并没有在其他任何地方使用，所以它没有明确实例化的事实不应该有所作为......全局的声明仍然发生在翻译单元中，它有副作用...我认为标准不允许对其进行优化。

不幸的是，标准没有说明是否需要包含翻译单元，这是最终的问题。我认为 C++0x 正在为此做一些事情，但也许不会……无论如何，MS 可以自由地完全不包含该单元，并且由于它不包含全局最终不包含在可执行文件中，因此没有其他废话发生。

我决定要做的，当然还有很多其他方法，就是创建一个文件“标签”变量。然后将该标签分配给一个可全局访问的函数(它必须分配或分配自或引用被优化掉)。然后必须从可执行文件中调用该函数。

我决定这样做是因为剩下的仍然像往常一样工作。如果我只是编写一个手动注册类型的注册函数，我最终不会最终改变行为。另外，我还可以通过这种方式做其他事情……我只需要确保任何可能属于这种性行为类别的东西都有一个标签，并且可以访问该标签。

我将编写一堆辅助宏来使这几乎没有痛苦。