Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/g++.dg/cpp2a/constexpr-virtual8.C @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 84e7813d76e9 |
children |
line wrap: on
line source
// P1064R0 // { dg-do compile } // { dg-options "-std=c++2a" } template<typename T> struct X1 { virtual T f() const = 0; }; struct X2: public X1<int> { constexpr virtual int f() const { return 2; } }; struct X3: public X2 { virtual int f() const { return 3; } }; struct X4: public X3 { constexpr virtual int f() const { return 4; } }; constexpr int (X1<int>::*pf)() const = &X1<int>::f; constexpr X2 x2; static_assert(x2.f() == 2); static_assert((x2.*pf)() == 2); constexpr X1<int> const& r2 = x2; static_assert(r2.f() == 2); static_assert((r2.*pf)() == 2); constexpr X1<int> const* p2 = &x2; static_assert(p2->f() == 2); static_assert((p2->*pf)() == 2); constexpr X4 x4; static_assert(x4.f() == 4); static_assert((x4.*pf)() == 4); constexpr X1<int> const& r4 = x4; static_assert(r4.f() == 4); static_assert((r4.*pf)() == 4); constexpr X1<int> const* p4 = &x4; static_assert(p4->f() == 4); static_assert((p4->*pf)() == 4);