C++ 是否合法？将没有定义的 static const int 的地址传递给模板？

Question

我无法确定该代码是否应该编译，或者我尝试的两个编译器是否都有错误（GCC 4.2 和 Sun Studio 12）。一般来说，如果您在头文件中声明了静态类成员，则需要在某个源文件中定义它。然而，静态常量积分的标准有一个例外。例如，这是允许的：

#include <iostream>

struct A {
    static const int x = 42;
};

无需在类主体之外的某处添加 x 的定义。我正在尝试做同样的事情，但我也获取 x 的地址并将其传递给模板。这会导致链接器错误，抱怨缺乏定义。下面的示例不会链接（缺少 A::x 的定义），即使它全部位于同一个源文件中：

#include <iostream>

template<const int* y>
struct B {
    static void foo() { std::cout << "y: " << y << std::endl; }
};

struct A {
    static const int x = 42;
    typedef B<&x> fooness;
};

int main()
{
    std::cout << A::x << std::endl;
    A::fooness::foo();
}

这很奇怪，因为只要我不将地址传递给模板，它就可以工作。这是一个错误还是在某种程度上符合技术标准？

编辑：我应该指出 &A::x 不是运行时值。在编译时为静态分配的变量留出内存。

Answer 1

要成为一个结构良好的程序，如果实际使用静态变量，您仍然必须定义静态变量（在本例中没有初始化程序），并将地址计数作为使用：

• C++2003 标准：9.4.2 静态数据成员第 4 段（加粗）

如果静态数据成员是 const
整型或常量枚举类型，
它在类中的声明
定义可以指定一个
常量初始化器应为
积分常量表达式 (5.19)。
在这种情况下，该成员可以出现在
积分常量表达式。 的
成员仍应定义在
命名空间范围，如果它被用在
程序和命名空间范围
定义不应包含
初始化器

Answer 2

您试图将运行时值传递给模板，这是不可能的。唯一允许的模板参数是类型（class/typename）或整型常量值（int/bool/etc）。

Answer 3

有趣的是，它在 VS 2008 上对我来说编译得很好。我有点假设错误来自 typedef，因为在编译时，当它尝试使用 &x 作为模板类型编译 'B' 时，它不知道在哪里x 的地址将是。尽管如此......它编译并给出了合理的输出。

Answer 4

无论如何，我可以看到人们可能期望它如何编译。

静态常量的地址实际上并不是运行时值，可以在链接时完全解析。