如何让GNU__attribute__((构造函数））在库中工作

如果我在一个链接中将所有对象文件链接在一起，我可以让GNU __attribute__((constructor))工作（对于C++程序），但如果我将包含构造函数的对象文件存储在库中，然后链接库而不是对象文件，它就不再工作了。我做错了什么？

Makefile.am:

SUBDIRS = src

src/Makefile.am:

bin_PROGRAMS = hello
hello_SOURCES = hello.cc register.cc register.hh myfunc.cc

src/hello.cc:

#include <iostream>             // for cout
#include <map>
#include "register.hh"
int main(int argc, char* argv[])
{
  std::cout << "Hello, World!" << std::endl;
  std::cout << "Have " << functions.size() << " functions registered."
    << std::endl;
  for (Function_map::iterator it = functions.begin(); it != functions.end(); ++it) {
    std::cout << "Registered " << (*it).first << std::endl;
    (*it).second();
  }
  return 0;
}

src/register.cc:

#include <map>
#include <string>
#include "register.hh"
Function_map functions;
void register_function(const std::string& name, Function f)
{
  functions[name] = f;
}

src/register.hh:

#ifndef REGISTER_H_
#define REGISTER_H_
#include <map>
#include <string>
typedef void (*Function)();
typedef std::map<const std::string, Function> Function_map;
extern Function_map functions;
void register_function(const std::string& name, Function f);
#endif

src/myfunc.cc:

#include "register.hh"
#include <iostream>
void myfunc()
{
  std::cout << "This is myfunc!" << std::endl;
}
__attribute__((constructor))
void register_myfunc()
{
  register_function("MYFUNC", myfunc);
}

配置.ac:

AC_PREREQ([2.69])
AC_INIT([hello], [1.4], [bugs@my.domain])
AC_CONFIG_SRCDIR([src/hello.cc])
AC_CONFIG_HEADERS([config.h])
AC_CONFIG_AUX_DIR([auxiliary])
AM_INIT_AUTOMAKE([-Wall -Werror])
AC_PROG_CXX
AM_PROG_AR
AC_CONFIG_FILES([Makefile
                 src/Makefile])
AC_OUTPUT

因此所有C++文件都被编译成对象文件，这些对象文件被链接到"hello"可执行文件中。

由此产生的"hello"程序的输出为：

Hello, World!
Have 1 functions registered.
Registered MYFUNC
This is myfunc!

如果我将src/Makefile.am更改为

bin_PROGRAMS = hello
hello_SOURCES = hello.cc register.cc register.hh
hello_LDADD = liblibrary.a
noinst_LIBRARIES = liblibrary.a
liblibrary_a_SOURCES = myfunc.cc

（即，myfunc.cc编译成存储在liblibrary.a中的myfunc.o，并将其与其他对象文件链接到"hello"中），然后"hello"的输出为

Hello, World!
Have 0 functions registered.

所以现在没有执行register_myfunc函数。为什么不呢？

编辑于2015-02-22（回应Basile Starynkevitch的回答）：我使用的是GNU/Linux（Fedora 20）系统。我尝试使用libtools构建一个共享库，但没有成功。我调整src/Makefile.am如下：

bin_PROGRAMS = hello
hello_SOURCES = hello.cc register.cc register.hh
hello_LDADD = liblibrary.la
noinst_LTLIBRARIES = liblibrary.la
liblibrary_la_SOURCES = myfunc.cc
liblibrary_la_LDFLAGS = -shared -fPIC

（首先只使用-shared，后来也使用-fPIC），并将LT_INIT添加到config.ac中，但这并没有改变结果。我将尝试您在C++中提到的"带有显式构造函数的静态数据"技巧，但我仍然有兴趣了解如何使我的示例与__attribute__((constructor))一起工作。

编辑于2015-02-23我尝试了"带有显式构造函数的静态数据"技巧，但得到了与以前相同的结果：如果所有对象文件都显式链接到一个可执行文件中，则它有效，但如果我想要自动构建的东西通过库链接到可执行文件，则无效。

添加hello_LDFLAGS = -Wl,--whole-archive（David Grayson建议）会导致许多"多重定义"错误。Automake将这些标志放在链接命令的开头附近，这样它就不仅仅适用于库。Automake建议不要在指定了要链接的库的hello_LDADD中直接包含链接器标志。可以用显式Make规则覆盖Automake规则（我可以将链接器标志放在我想要的位置），但这样我可能会面临其他标准Make规则（由Automake提供）行为不端的风险。

我会看看是否可以使用dlopen使其工作。