C++ 中如何解决这些名称冲突？

Question

假设我有这样的物理结构：

/
  +-- conflicttest
  |     +-- A.cpp
  |     +-- A.h
  |     +-- main.cpp
  +-- libconflict
  |     +-- conflict
  |     |     +-- A.h
  |     |     +-- B.h
  |     +-- A.cpp
  |     +-- B.cpp

这些是 libconflict 的来源，深吸一口气：

libconflict 中的 class B header:

// libconflict B.h
class B
{
public:
    void bar();
protected:
    int j_;
};

class B libconflict 中的实现：

// libconflict B.cpp
#include "conflict/B.h"

void B::bar()
{
    std::cout << "B::bar" << std::endl;
}

class A libconflict 中的 标头：

// libconflict A.h
# include "conflict/B.h"

class A : public B
{
public:
    A();
private:
    int i_;
};

libconflict 中的 class A 实现：

#include "conflict/A.h"

A::A()
{
    std::cout << "libconflict A is alive" << std::endl;
    i_ = 51; // some random fields and values... I should admit I am lost
    j_ = 47;
}

现在是冲突测试的来源，几乎结束了：

conflicttest 中的 class A 标头：

// conflicttest A.h
class A
{
public:
    A();
    void foo();
};

class A< /代码>实施在冲突测试中：

// conflicttest A.cpp
#include "A.h"

A::A()
{
    std::cout << "A is alive" << std::endl;
}

void A::foo()
{
    std::cout << "A::foo" << std::endl;
}

最后，main.cpp：

// main.cpp in conflicttest
#include "conflict/A.h"

int main()
{
    B* b = new A;
    b->bar();
return 0;
}

唷...我正在使用 Visual Studio 2010 来构建此解决方案。 conflicttest 是一个链接到静态库libconflict 的可执行文件。 这编译起来就像一个魅力，但是，不管你信不信，输出是：

A is alive
B::bar

链接器实际上使用来自 conflicttest 的符号 A ，它绝对不是 B< /code> 更糟糕的是，它可以调用 B::bar()。

我迷路了，为什么编译器不抱怨？

Answer 1

您违反了单一定义规则。

编译器没有抱怨，因为它在跨越翻译单元边界时可以检测到的东西是有限的。

Answer 2

我猜你实际上并没有链接你的conflictlib。但实际上，不要这样做。如果您绝对必须，请使用名称空间。

Answer 3

答案很简单。你对编译器撒了谎，作为回报，编译器也将你的谎言回馈给你。函数的内部实现是这样的，它们只是排列在每个类的某个函数表中。当您有不同的类声明时，编译器会根据它推导函数表，但推导是错误的。该表中没有函数名称，因此编译器无法检测到错误情况。

Answer 4

您对 A 类有两个不同的定义。这违反了 ODR。因此该程序不是有效的 C++ 程序。编译器不需要诊断此错误。