C++外部/多重定义

Question

我正在尝试使用 externs 与 C++ 中的 Ada 进行交互。这两种实现有什么区别？

实现 A

namespace Ada
{
    extern "C"
    {
        int getNumber();
        int index;
        int value;
    }
}

实现 B

namespace Ada
{
    extern "C"
    {
        int getNumber();
    }
    extern "C" int index;
    extern "C" int value;
}

两个实现都编译得很好。但是 Impl-A 无法链接，我收到 index 和 value 的多重定义错误。我只是想了解其中的差异。

Answer 1

extern“C”仅传达用于 extern“C”块内的代码的链接约定。该块中的任何内容都将被链接起来，就好像它是纯 c 一样。令人困惑的是， extern int 完全不同。这意味着你保证在某处有一个实际的 int 命名索引和一个实际的 int 命名值，但在这里找不到它们。在您的实现-A 中，整数实际上不是第二种意义上的外部 - 外部“C”仅意味着它们提供严格的 c 链接约定。

相同的关键字但完全不同的用途，这是不幸的，因为它会导致像这样的奇怪问题。混合它们是合法的（显然），但它们的行为方式并不像它们的名字所暗示的那样。

编辑

请参阅 Charle 的回复，了解 C++ 标准中定义的外部怪异的真正定义。

Answer 2

应用于大括号内的声明序列的链接说明符（即 extern "C" 或 extern "C++"）对于是否所包含的声明是否是定义，但是应用于单个声明的链接说明符被视为extern说明符，以便确定声明是否也是定义。 （C++03 的 7.5 第 7 段）

因此：

extern "C" { int a; } // a is declared and defined

extern "C" int a; // a is just a declaration (as if extern int a;)

extern "C" int a = 0; // a is a definition because of the initializer.

Answer 3

我不知道为什么第二个有效，但你想要，

namespace Ada
{
    extern "C"
    {
        int getNumber();
        extern int index;
        extern int value;
    }
}

因为你只想声明 index 和 value ，而不是定义它们。 （请参阅这个答案的差异。）