Question

我有三个标题文件in my project，用于描述对象Rational，Complex和RubyObject。前两个是模板。所有都可以使用复制构造函数进行互换，复制构造函数在头文件中定义 - 除了那些从Rational构造Complex和const RubyObject&的构造函数，它们被定义为in a source file。< / p>

注意：这些定义是必要的。如果他们所有进入标题，则会获得circular dependency。

前段时间，我使用源文件中定义的两个副本构造函数运行some unresolved symbol errors。我能够在源文件中包含以下函数

void nm_init_data() {
    nm::RubyObject obj(INT2FIX(1));
    nm::Rational32 x(obj);
    nm::Rational64 y(obj);
    nm::Rational128 z(obj);
    volatile nm::Complex64 a(obj);
    volatile nm::Complex128 b(obj);
}

然后call nm_init_data() from the library entry point in the main source file。这样做会强制这些符号正确链接。

不幸的是，我最近升级了GCC并且错误又回来了。事实上，它似乎发生在与GCC 4.6 (e.g., on Travis-CI)相同的地方。

但这不是版本特定的问题（正如我之前所想的那样）。我们在Travis CI's Ubuntu-based system上看到它，它运行GCC 4.6。但我们不会在具有GCC 4.8.1或4.8.2的Ubuntu机器上看到它。但我们做在使用4.8.2的Mac OS X机器上看到它 - 而不是与4.7.2相同的机器。关闭优化似乎也没有帮助。

如果我在我的库上运行nm，那么该符号肯定是未定义的：

$ nm tmp/x86_64-darwin13.0.0/nmatrix/2.0.0/nmatrix.bundle |grep RationalIsEC1ERKNS
                 U __ZN2nm8RationalIsEC1ERKNS_10RubyObjectE
00000000004ca460 D __ZZN2nm8RationalIsEC1ERKNS_10RubyObjectEE18rb_intern_id_cache
00000000004ca458 D __ZZN2nm8RationalIsEC1ERKNS_10RubyObjectEE18rb_intern_id_cache_0

我不确定为什么有两个定义的条目从属于未定义的符号，但我也不知道我对编译器的了解程度。

对于Rational模板的每个版本，复制构造函数看起来都是未定义的符号：

__ZN2nm8RationalIiEC1ERKNS_10RubyObjectE
__ZN2nm8RationalIsEC1ERKNS_10RubyObjectE
__ZN2nm8RationalIxEC1ERKNS_10RubyObjectE

“嗯，这很奇怪，”我想。 “Complex64和Complex128也在nm_init_data函数中调用，但它们都正确解析 - 并且未在nm -u输出中列出。”所以我尝试在Rational拷贝构造之前添加volatile，认为编译器可能正在优化我们不希望优化的东西。但遗憾的是，这也没有解决它。这样做，但需要注意：

void nm_init_data() {
  volatile VALUE t = INT2FIX(1);
  volatile nm::RubyObject obj(t);
  volatile nm::Rational32 x(const_cast<nm::RubyObject&>(obj));
  volatile nm::Rational64 y(const_cast<nm::RubyObject&>(obj));
  volatile nm::Rational128 z(const_cast<nm::RubyObject&>(obj));
  volatile nm::Complex64 a(const_cast<nm::RubyObject&>(obj));
  volatile nm::Complex128 b(const_cast<nm::RubyObject&>(obj));
}

需要注意的是，现在我得到完全相同的错误，但是对于Complex对象而言。哎呀！

dyld: lazy symbol binding failed: Symbol not found: __ZN2nm7ComplexIdEC1ERKNS_10RubyObjectE
  Referenced from: /Users/jwoods/Projects/nmatrix/lib/nmatrix.bundle
  Expected in: flat namespace

dyld: Symbol not found: __ZN2nm7ComplexIdEC1ERKNS_10RubyObjectE
  Referenced from: /Users/jwoods/Projects/nmatrix/lib/nmatrix.bundle
  Expected in: flat namespace

这完全是荒谬的。以下是这两个函数的定义，与nm_init_data()函数在同一源文件中：

namespace nm {
  template <typename Type>
  Complex<Type>::Complex(const RubyObject& other) {
    // do some things
  }

  template <typename Type>
  Rational<Type>::Rational(const RubyObject& other) {
    // do some other things
  }
} // end of namespace nm

提示：值得一提的是，nm_init_data()被调用时（即加载库时）不会发生错误。它发生在很久以后，在另一次调用这些麻烦的函数时。

如何一劳永逸地解决这个问题，以及其他人喜欢这个问题？

Answer 1

你提出以下要求，我怀疑。

这些定义是必要的。如果它们全部进入标题，则会获得循环依赖。

在大多数情况下，您可以通过将代码分成另一个.hpp文件来解决这种循环纠缠，该文件与包含任何需要的模板定义的类定义一起包含。

如果您的代码具有真正的循环依赖关系，则无法编译。通常，如果你的依赖关系似乎是循环的，你必须仔细观察并进入方法级别并检查它们中的哪一个需要两种类型进行编译。

所以可能是你的类型互相使用，然后在一个.cpp文件中编译所有文件（例如通过三个.hpp包含）。或者只有指向另一种类型的指针，然后使用前向声明来确保所有模板都已解析。或者第三，你有一些依赖向前的方法和一些向后依赖的方法，然后将一种方法放在一个文件中，其他方式放在另一个文件中，你再好了。

此外，您似乎应该使用前方声明来处理丢失的物品。在函数定义之后我会期待类似下面的内容。 E.g：

template nm::Complex<nm::RubyObject>::Complex(const nm::RubyObject& other);

Answer 2

Rational，Complex ...是模板

复制构造函数...在头文件中定义 - 除了从Rational构建Complex和const RubyObject&的那些，在源文件中定义。

这就是你的问题所在。由于Rational和Complex是模板，所有他们的方法需要在您的头文件中可用。

如果他们不是，那么你有时可能会逃脱它取决于调用事物的顺序和事物的连接顺序 - 但更多时候你会得到关于undefined的奇怪错误符号，这正是这里发生的事情。

只需将Rational(const RubyObject&)和Complex(const RubyObject&)的定义移到相应的标题中，一切都应该有效。

惰性符号绑定失败：找不到符号

2 个答案: