c++ - 奇怪的段错误问题

Question

问候，

我有一个奇怪的段错误问题。我的应用程序在运行时转储核心文件。深入研究后，我发现它死在了这个区 block 中:

#include <lib1/c.h>  
...  
x::c obj;  
obj.func1();  

我在库 lib1 中定义了类 c:

namespace x  
{  
    struct c  
    {  
        c();  
        ~c();  
        void fun1();  
        vector<char *> _data;  
    };  
}  

x::c::c()  
{  
}  

x::c::~c()  
{  
    for ( int i = 0; i < _data.size(); ++i )  
        delete _data[i];  
}  

直到我在 lib1.so 文件上运行 nm 之前我一直想不通:函数定义比我定义的要多:

x::c::c()  
x::c::c()  
x::c::~c()  
x::c::~c()  
x::c::func1()  
x::c::func2()  

在代码库中搜索后，我发现其他人在同一个命名空间中定义了一个具有相同名称的类，但是在另一个库 lib2 中，如下所示:

namespace x  
{  
    struct c  
    {  
       c();  
       ~c();  
       void func2();  
       vector<string> strs_;  
    };  
}  

x::c::c()
{
}

x::c::~c()
{
}

我的应用程序链接到 lib2，它依赖于 lib1。这种有趣的行为带来了几个问题:

1. 为什么它会起作用？我希望在链接 lib2(取决于 lib1)时出现“多重定义”错误，但从未有过这样的错误。该应用程序似乎在执行 func1 中定义的操作，只是它在运行时转储了一个核心。

2. 附加调试器后，我发现我的应用程序调用了 lib2 中 c 类的构造函数，然后调用了 func1(在 lib1 中定义)。当超出范围时，它会调用 lib2 中发生段错误的类 c 的 dtor。谁能教我这怎么可能发生？

3. 如何防止此类问题再次发生？有没有我可以使用的 C++ 语法？

忘了说我在 RHEL4 上使用 g++ 4.1，非常感谢!

Answer 1

1.

您的编译器不必诊断违反“单一定义规则”的情况。事实上，当您将多个目标文件链接在一起时，它们通常只会在链接时才为人所知。

在链接时，关于原始类定义的信息可能不再存在(在编译器步骤之后不需要它们)因此具有多个类定义通常不容易向用户标记。

2.

一旦你有了两个不同的定义，几乎任何事情都可能发生，你就处于未定义行为的领域。无论发生什么，这都是可能的结果。

3.

最明智的做法是与团队中的其他成员进行交流。同意谁将使用哪些 namespace ，您就不会遇到这些问题。否则，您将文档工具或静态分析工具指向整个项目。许多此类工具将能够诊断多个不一致的类定义。