CODEWITHSUNDEEP
c++static-assert
Geoffrey Irving
Geoffrey Irving

Reputation: 6613

Comparing static field pointers at compile time

I have a class B deriving from class A. A declares a static field f, and B might declare a similar field of the same name. The following does not work:

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));

Even though theoretically those assertions could be checked at compile time, they are disallowed since constant expressions cannot take addresses.

Is there a way to make this kind of check work at compile time?

Upvotes: 3

Views: 660

Answers (1)

Andrew Tomazos
Andrew Tomazos

Reputation: 68698

Try putting the definitions of the static variables in scope of the static asserts.

This works fine with 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()
{
}

Compile with:

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

Upvotes: 5

Related Questions