“静态常量整型”导致链接错误（未定义引用）

Question

使用以下代码时，我对链接器错误感到困惑：

// static_const.cpp -- complete code
#include <vector>

struct Elem {
    static const int value = 0;
};

int main(int argc, char *argv[]) {
    std::vector<Elem> v(1);
    std::vector<Elem>::iterator it;

    it = v.begin();
    return it->value;
}

但是，链接时会失败——不知怎的，它需要有一个静态常量“值”的符号。

$ g++ static_const.cpp 
/tmp/ccZTyfe7.o: In function `main':
static_const.cpp:(.text+0x8e): undefined reference to `Elem::value'
collect2: ld returned 1 exit status

顺便说一句，使用 -O1 或更好的编译器可以很好地编译；但对于更复杂的情况它仍然失败。我使用的是 gcc 版本 4.4.4 20100726 (Red Hat 4.4.4-13)。

有什么想法我的代码可能有什么问题吗？

Answer 1

如果你想在struct内部初始化它，你也可以这样做：

struct Elem {
    static const int value = 0;
};

const int Elem::value;

Answer 2

尝试将其写为

struct Elem {
    static const int value;
};

const int Elem::value = 0;

etc

.

Answer 3

static 类成员通常应该在一个编译单元中的类外部定义（在内部声明，在外部定义）。

我不记得它是如何与 const 静态整数成员的内联初始化交互的。

Answer 4

另请参阅这篇文章：本质上，问题是编译器最终会以某种方式扩展您的代码以获取 Elem::value 的地址。

Answer 5

在大多数定义类内 static const 的编译器中都可以正常工作。但某些编译器（例如 Android NDK），此类内定义会导致链接器错误。对于这种情况，我们可以使用类型化的枚举：

struct X
{
  enum : int64_t { VALUE = 100; }; // == static const int64_t VALUE = 100;
};

Answer 6

为什么不直接这样做呢？

return Elem::value;

但答案是您正在声明中分配一个值。这应该适用于基本类型，例如 int，并且仅对于复杂类型（即类，例如如果您有字符串而不是 int）才需要。我在实践中发现，这取决于您使用的编译器的版本。而且，正如您所发现的，哪个优化级别。