header_libraries/tests/daw_not_null_test.cpp at master · beached/header_libraries · GitHub

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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
// Copyright (c) Darrell Wright
//
// Distributed under the Boost Software License, Version 1.0. (See accompanying
// file LICENSE or copy at http://www.boost.org/LICENSE_1_0.txt)
//
// Official repository: https://github.com/beached/header_libraries
//

#include "daw/daw_not_null.h"

#include "daw/daw_benchmark.h"
#include "daw/daw_ensure.h"

#include <memory>
#include <optional>
#include <utility>

void daw_not_null_test_001( ) {
	auto tst = std::make_unique<int>( 5 );
	daw::not_null<int *> t = tst.release( );
	auto tst2 = std::unique_ptr<int>( t );
}

void daw_not_null_test_002( ) {
	auto tst = std::unique_ptr<int[]>( new int[5]{ } );
	daw::not_null<int *> first = tst.get( );
	daw::not_null<int *> last = tst.get( ) + 5;
	(void)first;
	(void)last;
	daw_ensure( ( last - first ) == 5 );
}

void daw_not_null_test_003( ) {
	auto tst = std::unique_ptr<int[]>( new int[5]{ } );
	daw::not_null<int *> first = tst.get( );
	int *last = tst.get( ) + 5;
	(void)first;
	(void)last;
	daw_ensure( ( last - first ) == 5 );
}

void daw_not_null_test_004( ) {
	auto tst = std::unique_ptr<int[]>( new int[5]{ } );
	int *first = tst.get( );
	daw::not_null<int *> last = tst.get( ) + 5;
	(void)first;
	(void)last;
	daw_ensure( ( last - first ) == 5 );
}

#if defined( __cpp_lib_constexpr_memory )
#if __cpp_lib_constexpr_memory >= 202202L
constexpr bool daw_not_null_test_004c( ) {
	auto tst = std::unique_ptr<int[]>( new int[5]{ } );
	int *first = tst.get( );
	daw::not_null<int *> last = tst.get( ) + 5;
	daw_ensure( ( last - first ) == 5 );
	auto tst2 = std::unique_ptr<int[]>( new int[5]{ } );
	// lets test assignment
	first = tst2.get( );
	last = tst2.get( ) + 5;
	daw_ensure( ( last - first ) == 5 );
	return true;
}
static_assert( daw_not_null_test_004c( ) );
#endif
#endif

void daw_not_null_test_005( ) {
	auto tst = std::make_unique<int>( 5 );
	daw::not_null<int *> t = tst.get( );
	auto u = daw::not_null( daw::never_null, t );
	static_assert( std::is_same_v<DAW_TYPEOF( u )::pointer, int *> );
	(void)u;
}

void daw_not_null_test_006( ) {
	daw::not_null<std::optional<int>> t = { 5 };
	daw_ensure( t.get( ) == 5 );
}

void daw_not_null_test_007( ) {
	auto p = daw::not_null( new int{ 42 } );
	auto v = []( auto &&i ) {
		return i;
	};
	auto a0 = v( *p );
	daw_ensure( a0 == 42 );
	auto a1 = v( *std::as_const( p ) );
	daw_ensure( a1 == 42 );
}

int main( ) {
	daw_not_null_test_001( );
	daw_not_null_test_002( );
	daw_not_null_test_003( );
	daw_not_null_test_004( );
	daw_not_null_test_005( );
	daw_not_null_test_006( );
	daw_not_null_test_007( );
}