blob: 7b95bb1926319a2a979a9b462d4b43bc25669a42 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
// { dg-do run { target c++26 } }
#include <memory>
#include <vector>
#include <testsuite_hooks.h>
template<template<typename> class Polymorhpic>
constexpr void
test_access()
{
const std::vector<int> src{1, 2, 3, 4, 5};
Polymorhpic<std::vector<int>> i(src);
auto const& ci = i;
VERIFY( *i == src );
VERIFY( *ci == src );
VERIFY( *std::move(ci) == src );
auto&& vr = *std::move(i);
static_assert( std::is_same_v<decltype(vr), std::vector<int>&> );
VERIFY( vr == src );
VERIFY( *i == src );
}
template<typename T>
struct PublicBase : std::polymorphic<T>
{
using std::polymorphic<T>::polymorphic;
};
template<typename T>
class PrivateBase : std::polymorphic<T>
{
public:
using std::polymorphic<T>::polymorphic;
using std::polymorphic<T>::operator*;
using std::polymorphic<T>::operator->;
};
constexpr bool
test_all()
{
test_access<std::polymorphic>();
test_access<PublicBase>();
test_access<PrivateBase>();
return true;
}
int main()
{
test_all();
// static_assert(test_all());
}
|
