blob: d505222b02d7d916d851db447c7bb9c600af0556 (
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++98, c++03, c++11, c++14
// <memory>
// template <class _Tp>
// void destroy_at(_Tp*);
#include <memory>
#include <cstdlib>
#include <cassert>
struct Counted {
static int count;
static void reset() { count = 0; }
Counted() { ++count; }
Counted(Counted const&) { ++count; }
~Counted() { --count; }
friend void operator&(Counted) = delete;
};
int Counted::count = 0;
struct VCounted {
static int count;
static void reset() { count = 0; }
VCounted() { ++count; }
VCounted(VCounted const&) { ++count; }
virtual ~VCounted() { --count; }
friend void operator&(VCounted) = delete;
};
int VCounted::count = 0;
struct DCounted : VCounted {
friend void operator&(DCounted) = delete;
};
int main(int, char**)
{
{
void* mem1 = std::malloc(sizeof(Counted));
void* mem2 = std::malloc(sizeof(Counted));
assert(mem1 && mem2);
assert(Counted::count == 0);
Counted* ptr1 = ::new(mem1) Counted();
Counted* ptr2 = ::new(mem2) Counted();
assert(Counted::count == 2);
std::destroy_at(ptr1);
assert(Counted::count == 1);
std::destroy_at(ptr2);
assert(Counted::count == 0);
std::free(mem1);
std::free(mem2);
}
{
void* mem1 = std::malloc(sizeof(DCounted));
void* mem2 = std::malloc(sizeof(DCounted));
assert(mem1 && mem2);
assert(DCounted::count == 0);
DCounted* ptr1 = ::new(mem1) DCounted();
DCounted* ptr2 = ::new(mem2) DCounted();
assert(DCounted::count == 2);
assert(VCounted::count == 2);
std::destroy_at(ptr1);
assert(VCounted::count == 1);
std::destroy_at(ptr2);
assert(VCounted::count == 0);
std::free(mem1);
std::free(mem2);
}
return 0;
}
|
