constexpr-value-init.cpp [plain text]
struct A {
constexpr A() : a(b + 1), b(a + 1) {} int a;
int b;
};
struct B {
A a;
};
constexpr A a; void f() {
constexpr A a; }
constexpr B b1; constexpr B b2 = B(); static_assert(b2.a.a == 1, "");
static_assert(b2.a.b == 2, "");
struct C {
int c;
};
struct D : C { int d; };
constexpr C c1; constexpr C c2 = C(); constexpr D d1; constexpr D d2 = D(); static_assert(D().c == 0, "");
static_assert(D().d == 0, "");
struct V : virtual C {};
template<typename T> struct Z : T {
constexpr Z() : V() {}
};
constexpr int n = Z<V>().c;