c++ - 在编译时比较静态字段指针

Question

我有一个派生自类 A 的类 B。A 声明了一个静态字段 f，而 B 可能声明了一个同名的类似字段。以下不起作用:

struct A { static int f; };
struct B : A { static int f; }; // A::f is different from B::f
struct C : A {}; // A::f is the same as C::f
BOOST_STATIC_ASSERT((&A::f != &B::f));
BOOST_STATIC_ASSERT((&A::f == &C::f));

尽管理论上可以在编译时检查这些断言，但由于常量表达式不能获取地址，因此不允许使用它们。

有没有办法在编译时进行这种检查？

Answer 1

尝试将静态变量的定义放在静态断言的范围内。

这适用于 gcc 4.7.2:

struct A { static int f; };
struct B : A { static int f; };
struct C : A {};

int A::f;
int B::f;

static_assert(&A::f != &B::f, "B");
static_assert(&A::f == &C::f, "C");

int main()
{
}

编译:

$ g++ -std=gnu++11 test.cpp
$ ./a.out