blob: 495914f1cca20288777197a72789dadc4d43b903 [file] [log] [blame]
// PR c++/88337 - Implement P1327R1: Allow dynamic_cast/typeid in constexpr.
// { dg-do compile { target c++20 } }
// Test polymorphic type.
#include <typeinfo>
struct B {
virtual void foo ();
const std::type_info &ti_base = typeid (*this);
};
struct D : B {
const std::type_info &ti = typeid (*this);
};
constexpr B b;
constexpr D d;
static_assert (&b.ti_base == &typeid (B));
static_assert (&B{}.ti_base == &typeid (B));
static_assert (&B().ti_base == &typeid (B));
static_assert (&typeid ((B())) == &typeid (B));
static_assert (&typeid ((B{})) == &typeid (B));
static_assert (&d.ti == &typeid (D));
static_assert (&D{}.ti == &typeid (D));
static_assert (&D().ti == &typeid (D));
static_assert (&typeid ((D())) == &typeid (D));
static_assert (&typeid ((D{})) == &typeid (D));
extern D ed;
// ??? Should this succeed?
static_assert (&typeid (ed) == &typeid (D));
constexpr const B &r = d;
static_assert (&typeid (r) == &typeid (D));
constexpr bool
test ()
{
// If expression is a glvalue expression that identifies an object
// of a polymorphic type, the typeid expression evaluates the expression.
bool ok = true;
// Not a glvalue.
(void) typeid (ok = false, D());
(void) typeid (ok = false, B());
if (!ok)
return false;
// Polymorphic glvalue -- this needs to be evaluated.
ok = false;
(void) typeid (ok = true, b);
if (!ok)
return false;
ok = false;
(void) typeid (ok = true, d);
return ok;
}
static_assert (test ());