Skip to content
Projects
Groups
Snippets
Help
This project
Loading...
Sign in / Register
Toggle navigation
P
pybind11
Overview
Overview
Details
Activity
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
open
pybind11
Commits
e7aea026
Commit
e7aea026
authored
Jan 12, 2021
by
Ralf W. Grosse-Kunstleve
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Pure `clang-format --style=file -i` change.
parent
cfc848a1
Show whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
91 additions
and
130 deletions
+91
-130
include/pybind11/smart_holder_poc.h
+58
-72
tests/core/smart_holder_poc_test.cpp
+33
-58
No files found.
include/pybind11/smart_holder_poc.h
View file @
e7aea026
...
@@ -48,27 +48,27 @@ namespace memory {
...
@@ -48,27 +48,27 @@ namespace memory {
template
<
typename
T
>
template
<
typename
T
>
struct
guarded_builtin_delete
{
struct
guarded_builtin_delete
{
bool
*
flag_ptr
;
bool
*
flag_ptr
;
explicit
guarded_builtin_delete
(
bool
*
guard_flag_ptr
)
explicit
guarded_builtin_delete
(
bool
*
guard_flag_ptr
)
:
flag_ptr
{
guard_flag_ptr
}
{}
:
flag_ptr
{
guard_flag_ptr
}
{}
void
operator
()(
T
*
raw_ptr
)
{
void
operator
()(
T
*
raw_ptr
)
{
if
(
*
flag_ptr
)
if
(
*
flag_ptr
)
delete
raw_ptr
;
delete
raw_ptr
;
}
}
};
};
template
<
typename
T
,
typename
D
>
template
<
typename
T
,
typename
D
>
struct
guarded_custom_deleter
{
struct
guarded_custom_deleter
{
bool
*
flag_ptr
;
bool
*
flag_ptr
;
explicit
guarded_custom_deleter
(
bool
*
guard_flag_ptr
)
explicit
guarded_custom_deleter
(
bool
*
guard_flag_ptr
)
:
flag_ptr
{
guard_flag_ptr
}
{}
:
flag_ptr
{
guard_flag_ptr
}
{}
void
operator
()(
T
*
raw_ptr
)
{
void
operator
()(
T
*
raw_ptr
)
{
if
(
*
flag_ptr
)
if
(
*
flag_ptr
)
D
()(
raw_ptr
);
D
()(
raw_ptr
);
}
}
};
};
struct
smart_holder
{
struct
smart_holder
{
const
std
::
type_info
*
rtti_held
;
const
std
::
type_info
*
rtti_held
;
const
std
::
type_info
*
rtti_uqp_del
;
const
std
::
type_info
*
rtti_uqp_del
;
std
::
shared_ptr
<
void
>
vptr
;
std
::
shared_ptr
<
void
>
vptr
;
bool
vptr_deleter_guard_flag
;
bool
vptr_deleter_guard_flag
;
bool
vptr_is_using_noop_deleter
:
1
;
bool
vptr_is_using_noop_deleter
:
1
;
...
@@ -76,138 +76,126 @@ struct smart_holder {
...
@@ -76,138 +76,126 @@ struct smart_holder {
bool
vptr_is_external_shared_ptr
:
1
;
bool
vptr_is_external_shared_ptr
:
1
;
smart_holder
()
smart_holder
()
:
rtti_held
{
nullptr
},
:
rtti_held
{
nullptr
},
rtti_uqp_del
{
nullptr
},
vptr_deleter_guard_flag
{
false
},
rtti_uqp_del
{
nullptr
},
vptr_is_using_noop_deleter
{
false
},
vptr_is_using_builtin_delete
{
false
},
vptr_deleter_guard_flag
{
false
},
vptr_is_using_noop_deleter
{
false
},
vptr_is_using_builtin_delete
{
false
},
vptr_is_external_shared_ptr
{
false
}
{}
vptr_is_external_shared_ptr
{
false
}
{}
bool
has_pointee
()
const
{
return
vptr
.
get
()
!=
nullptr
;
}
bool
has_pointee
()
const
{
return
vptr
.
get
()
!=
nullptr
;
}
template
<
typename
T
>
template
<
typename
T
>
void
ensure_compatible_rtti_held
(
const
char
*
context
)
const
{
void
ensure_compatible_rtti_held
(
const
char
*
context
)
const
{
if
(
!
rtti_held
)
{
if
(
!
rtti_held
)
{
throw
std
::
runtime_error
(
std
::
string
(
"Unpopulated holder ("
)
+
context
+
throw
std
::
runtime_error
(
std
::
string
(
"Unpopulated holder ("
)
+
context
+
")."
);
")."
);
}
}
const
std
::
type_info
*
rtti_requested
=
&
typeid
(
T
);
const
std
::
type_info
*
rtti_requested
=
&
typeid
(
T
);
if
(
!
(
*
rtti_requested
==
*
rtti_held
))
{
if
(
!
(
*
rtti_requested
==
*
rtti_held
))
{
throw
std
::
runtime_error
(
std
::
string
(
"Incompatible type ("
)
+
context
+
throw
std
::
runtime_error
(
std
::
string
(
"Incompatible type ("
)
+
context
+
")."
);
")."
);
}
}
}
}
template
<
typename
D
>
template
<
typename
D
>
void
ensure_compatible_rtti_uqp_del
(
const
char
*
context
)
const
{
void
ensure_compatible_rtti_uqp_del
(
const
char
*
context
)
const
{
if
(
!
rtti_uqp_del
)
{
if
(
!
rtti_uqp_del
)
{
throw
std
::
runtime_error
(
std
::
string
(
"Missing unique_ptr deleter ("
)
+
throw
std
::
runtime_error
(
std
::
string
(
"Missing unique_ptr deleter ("
)
+
context
+
")."
);
context
+
")."
);
}
}
const
std
::
type_info
*
rtti_requested
=
&
typeid
(
D
);
const
std
::
type_info
*
rtti_requested
=
&
typeid
(
D
);
if
(
!
(
*
rtti_requested
==
*
rtti_uqp_del
))
{
if
(
!
(
*
rtti_requested
==
*
rtti_uqp_del
))
{
throw
std
::
runtime_error
(
throw
std
::
runtime_error
(
std
::
string
(
"Incompatible unique_ptr deleter ("
)
+
context
std
::
string
(
"Incompatible unique_ptr deleter ("
)
+
context
+
")."
);
+
")."
);
}
}
}
}
void
ensure_has_pointee
(
const
char
*
context
)
const
{
void
ensure_has_pointee
(
const
char
*
context
)
const
{
if
(
!
has_pointee
())
{
if
(
!
has_pointee
())
{
throw
std
::
runtime_error
(
std
::
string
(
"Disowned holder ("
)
+
context
+
throw
std
::
runtime_error
(
std
::
string
(
"Disowned holder ("
)
+
context
+
")."
);
")."
);
}
}
}
}
void
ensure_vptr_is_using_builtin_delete
(
const
char
*
context
)
const
{
void
ensure_vptr_is_using_builtin_delete
(
const
char
*
context
)
const
{
if
(
vptr_is_external_shared_ptr
)
{
if
(
vptr_is_external_shared_ptr
)
{
throw
std
::
runtime_error
(
throw
std
::
runtime_error
(
std
::
string
(
"Cannot disown external shared_ptr ("
)
+
context
std
::
string
(
"Cannot disown external shared_ptr ("
)
+
context
+
")."
);
+
")."
);
}
}
if
(
vptr_is_using_noop_deleter
)
{
if
(
vptr_is_using_noop_deleter
)
{
throw
std
::
runtime_error
(
throw
std
::
runtime_error
(
std
::
string
(
"Cannot disown non-owning holder ("
)
+
context
std
::
string
(
"Cannot disown non-owning holder ("
)
+
context
+
")."
);
+
")."
);
}
}
if
(
!
vptr_is_using_builtin_delete
)
{
if
(
!
vptr_is_using_builtin_delete
)
{
throw
std
::
runtime_error
(
std
::
string
(
"Cannot disown custom deleter ("
)
+
throw
std
::
runtime_error
(
std
::
string
(
"Cannot disown custom deleter ("
)
+
context
context
+
")."
);
+
")."
);
}
}
}
}
void
ensure_use_count_1
(
const
char
*
context
)
const
{
void
ensure_use_count_1
(
const
char
*
context
)
const
{
if
(
vptr
.
get
()
==
nullptr
)
{
if
(
vptr
.
get
()
==
nullptr
)
{
throw
std
::
runtime_error
(
std
::
string
(
"Cannot disown nullptr ("
)
+
throw
std
::
runtime_error
(
std
::
string
(
"Cannot disown nullptr ("
)
+
context
+
")."
);
context
+
")."
);
}
}
if
(
vptr
.
use_count
()
!=
1
)
{
if
(
vptr
.
use_count
()
!=
1
)
{
throw
std
::
runtime_error
(
std
::
string
(
"Cannot disown use_count != 1 ("
)
+
throw
std
::
runtime_error
(
std
::
string
(
"Cannot disown use_count != 1 ("
)
+
context
context
+
")."
);
+
")."
);
}
}
}
}
template
<
typename
T
>
template
<
typename
T
>
static
smart_holder
from_raw_ptr_unowned
(
T
*
raw_ptr
)
{
static
smart_holder
from_raw_ptr_unowned
(
T
*
raw_ptr
)
{
smart_holder
hld
;
smart_holder
hld
;
hld
.
rtti_held
=
&
typeid
(
T
);
hld
.
rtti_held
=
&
typeid
(
T
);
hld
.
vptr_is_using_noop_deleter
=
true
;
hld
.
vptr_is_using_noop_deleter
=
true
;
hld
.
vptr
.
reset
(
raw_ptr
,
hld
.
vptr
.
reset
(
raw_ptr
,
guarded_builtin_delete
<
T
>
(
&
hld
.
vptr_deleter_guard_flag
));
guarded_builtin_delete
<
T
>
(
&
hld
.
vptr_deleter_guard_flag
));
return
hld
;
return
hld
;
}
}
template
<
typename
T
>
template
<
typename
T
>
T
*
as_raw_ptr_unowned
()
const
{
T
*
as_raw_ptr_unowned
()
const
{
static
const
char
*
context
=
"as_raw_ptr_unowned"
;
static
const
char
*
context
=
"as_raw_ptr_unowned"
;
ensure_compatible_rtti_held
<
T
>
(
context
);
ensure_compatible_rtti_held
<
T
>
(
context
);
return
static_cast
<
T
*>
(
vptr
.
get
());
return
static_cast
<
T
*>
(
vptr
.
get
());
}
}
template
<
typename
T
>
template
<
typename
T
>
T
&
lvalue_ref
()
const
{
T
&
lvalue_ref
()
const
{
static
const
char
*
context
=
"lvalue_ref"
;
static
const
char
*
context
=
"lvalue_ref"
;
ensure_compatible_rtti_held
<
T
>
(
context
);
ensure_compatible_rtti_held
<
T
>
(
context
);
ensure_has_pointee
(
context
);
ensure_has_pointee
(
context
);
return
*
static_cast
<
T
*>
(
vptr
.
get
());
return
*
static_cast
<
T
*>
(
vptr
.
get
());
}
}
template
<
typename
T
>
template
<
typename
T
>
T
&&
rvalue_ref
()
const
{
T
&&
rvalue_ref
()
const
{
static
const
char
*
context
=
"rvalue_ref"
;
static
const
char
*
context
=
"rvalue_ref"
;
ensure_compatible_rtti_held
<
T
>
(
context
);
ensure_compatible_rtti_held
<
T
>
(
context
);
ensure_has_pointee
(
context
);
ensure_has_pointee
(
context
);
return
std
::
move
(
*
static_cast
<
T
*>
(
vptr
.
get
()));
return
std
::
move
(
*
static_cast
<
T
*>
(
vptr
.
get
()));
}
}
template
<
typename
T
>
template
<
typename
T
>
static
smart_holder
from_raw_ptr_take_ownership
(
T
*
raw_ptr
)
{
static
smart_holder
from_raw_ptr_take_ownership
(
T
*
raw_ptr
)
{
smart_holder
hld
;
smart_holder
hld
;
hld
.
rtti_held
=
&
typeid
(
T
);
hld
.
rtti_held
=
&
typeid
(
T
);
hld
.
vptr_deleter_guard_flag
=
true
;
hld
.
vptr_deleter_guard_flag
=
true
;
hld
.
vptr_is_using_builtin_delete
=
true
;
hld
.
vptr_is_using_builtin_delete
=
true
;
hld
.
vptr
.
reset
(
raw_ptr
,
hld
.
vptr
.
reset
(
raw_ptr
,
guarded_builtin_delete
<
T
>
(
&
hld
.
vptr_deleter_guard_flag
));
guarded_builtin_delete
<
T
>
(
&
hld
.
vptr_deleter_guard_flag
));
return
hld
;
return
hld
;
}
}
template
<
typename
T
>
template
<
typename
T
>
T
*
as_raw_ptr_release_ownership
(
T
*
as_raw_ptr_release_ownership
(
const
char
*
context
=
"as_raw_ptr_release_ownership"
)
{
const
char
*
context
=
"as_raw_ptr_release_ownership"
)
{
ensure_compatible_rtti_held
<
T
>
(
context
);
ensure_compatible_rtti_held
<
T
>
(
context
);
ensure_vptr_is_using_builtin_delete
(
context
);
ensure_vptr_is_using_builtin_delete
(
context
);
ensure_use_count_1
(
context
);
ensure_use_count_1
(
context
);
T
*
raw_ptr
=
static_cast
<
T
*>
(
vptr
.
get
());
T
*
raw_ptr
=
static_cast
<
T
*>
(
vptr
.
get
());
vptr_deleter_guard_flag
=
false
;
vptr_deleter_guard_flag
=
false
;
vptr
.
reset
();
vptr
.
reset
();
return
raw_ptr
;
return
raw_ptr
;
}
}
template
<
typename
T
>
template
<
typename
T
>
static
smart_holder
from_unique_ptr
(
std
::
unique_ptr
<
T
>&&
unq_ptr
)
{
static
smart_holder
from_unique_ptr
(
std
::
unique_ptr
<
T
>
&&
unq_ptr
)
{
smart_holder
hld
;
smart_holder
hld
;
hld
.
rtti_held
=
&
typeid
(
T
);
hld
.
rtti_held
=
&
typeid
(
T
);
hld
.
vptr_deleter_guard_flag
=
true
;
hld
.
vptr_deleter_guard_flag
=
true
;
hld
.
vptr_is_using_builtin_delete
=
true
;
hld
.
vptr_is_using_builtin_delete
=
true
;
hld
.
vptr
.
reset
(
unq_ptr
.
get
(),
hld
.
vptr
.
reset
(
unq_ptr
.
get
(),
guarded_builtin_delete
<
T
>
(
&
hld
.
vptr_deleter_guard_flag
));
guarded_builtin_delete
<
T
>
(
&
hld
.
vptr_deleter_guard_flag
));
unq_ptr
.
release
();
unq_ptr
.
release
();
return
hld
;
return
hld
;
}
}
...
@@ -218,25 +206,23 @@ struct smart_holder {
...
@@ -218,25 +206,23 @@ struct smart_holder {
}
}
template
<
typename
T
,
typename
D
>
template
<
typename
T
,
typename
D
>
static
smart_holder
from_unique_ptr_with_deleter
(
static
smart_holder
from_unique_ptr_with_deleter
(
std
::
unique_ptr
<
T
,
D
>
&&
unq_ptr
)
{
std
::
unique_ptr
<
T
,
D
>&&
unq_ptr
)
{
smart_holder
hld
;
smart_holder
hld
;
hld
.
rtti_held
=
&
typeid
(
T
);
hld
.
rtti_held
=
&
typeid
(
T
);
hld
.
rtti_uqp_del
=
&
typeid
(
D
);
hld
.
rtti_uqp_del
=
&
typeid
(
D
);
hld
.
vptr_deleter_guard_flag
=
true
;
hld
.
vptr_deleter_guard_flag
=
true
;
hld
.
vptr
.
reset
(
unq_ptr
.
get
(),
hld
.
vptr
.
reset
(
unq_ptr
.
get
(),
guarded_custom_deleter
<
T
,
D
>
(
&
hld
.
vptr_deleter_guard_flag
));
guarded_custom_deleter
<
T
,
D
>
(
&
hld
.
vptr_deleter_guard_flag
));
unq_ptr
.
release
();
unq_ptr
.
release
();
return
hld
;
return
hld
;
}
}
template
<
typename
T
,
typename
D
>
template
<
typename
T
,
typename
D
>
std
::
unique_ptr
<
T
,
D
>
as_unique_ptr_with_deleter
()
{
std
::
unique_ptr
<
T
,
D
>
as_unique_ptr_with_deleter
()
{
static
const
char
*
context
=
"as_unique_ptr_with_deleter"
;
static
const
char
*
context
=
"as_unique_ptr_with_deleter"
;
ensure_compatible_rtti_held
<
T
>
(
context
);
ensure_compatible_rtti_held
<
T
>
(
context
);
ensure_compatible_rtti_uqp_del
<
D
>
(
context
);
ensure_compatible_rtti_uqp_del
<
D
>
(
context
);
ensure_use_count_1
(
context
);
ensure_use_count_1
(
context
);
T
*
raw_ptr
=
static_cast
<
T
*>
(
vptr
.
get
());
T
*
raw_ptr
=
static_cast
<
T
*>
(
vptr
.
get
());
vptr_deleter_guard_flag
=
false
;
vptr_deleter_guard_flag
=
false
;
vptr
.
reset
();
vptr
.
reset
();
return
std
::
unique_ptr
<
T
,
D
>
(
raw_ptr
);
return
std
::
unique_ptr
<
T
,
D
>
(
raw_ptr
);
...
@@ -253,7 +239,7 @@ struct smart_holder {
...
@@ -253,7 +239,7 @@ struct smart_holder {
template
<
typename
T
>
template
<
typename
T
>
std
::
shared_ptr
<
T
>
as_shared_ptr
()
const
{
std
::
shared_ptr
<
T
>
as_shared_ptr
()
const
{
static
const
char
*
context
=
"as_shared_ptr"
;
static
const
char
*
context
=
"as_shared_ptr"
;
ensure_compatible_rtti_held
<
T
>
(
context
);
ensure_compatible_rtti_held
<
T
>
(
context
);
return
std
::
static_pointer_cast
<
T
>
(
vptr
);
return
std
::
static_pointer_cast
<
T
>
(
vptr
);
}
}
...
...
tests/core/smart_holder_poc_test.cpp
View file @
e7aea026
...
@@ -10,7 +10,7 @@ namespace helpers {
...
@@ -10,7 +10,7 @@ namespace helpers {
struct
movable_int
{
struct
movable_int
{
int
valu
;
int
valu
;
movable_int
(
int
v
)
:
valu
{
v
}
{}
movable_int
(
int
v
)
:
valu
{
v
}
{}
movable_int
(
movable_int
&&
other
)
{
movable_int
(
movable_int
&&
other
)
{
valu
=
other
.
valu
;
valu
=
other
.
valu
;
other
.
valu
=
91
;
other
.
valu
=
91
;
}
}
...
@@ -18,7 +18,7 @@ struct movable_int {
...
@@ -18,7 +18,7 @@ struct movable_int {
template
<
typename
T
>
template
<
typename
T
>
struct
functor_builtin_delete
{
struct
functor_builtin_delete
{
void
operator
()(
T
*
ptr
)
{
delete
ptr
;
}
void
operator
()(
T
*
ptr
)
{
delete
ptr
;
}
};
};
template
<
typename
T
>
template
<
typename
T
>
...
@@ -51,8 +51,7 @@ TEST_CASE("from_raw_ptr_unowned+rvalue_ref", "[S]") {
...
@@ -51,8 +51,7 @@ TEST_CASE("from_raw_ptr_unowned+rvalue_ref", "[S]") {
TEST_CASE
(
"from_raw_ptr_unowned+as_raw_ptr_release_ownership"
,
"[E]"
)
{
TEST_CASE
(
"from_raw_ptr_unowned+as_raw_ptr_release_ownership"
,
"[E]"
)
{
static
int
value
=
19
;
static
int
value
=
19
;
auto
hld
=
smart_holder
::
from_raw_ptr_unowned
(
&
value
);
auto
hld
=
smart_holder
::
from_raw_ptr_unowned
(
&
value
);
REQUIRE_THROWS_WITH
(
REQUIRE_THROWS_WITH
(
hld
.
as_raw_ptr_release_ownership
<
int
>
(),
hld
.
as_raw_ptr_release_ownership
<
int
>
(),
"Cannot disown non-owning holder (as_raw_ptr_release_ownership)."
);
"Cannot disown non-owning holder (as_raw_ptr_release_ownership)."
);
}
}
...
@@ -66,11 +65,10 @@ TEST_CASE("from_raw_ptr_unowned+as_unique_ptr", "[E]") {
...
@@ -66,11 +65,10 @@ TEST_CASE("from_raw_ptr_unowned+as_unique_ptr", "[E]") {
TEST_CASE
(
"from_raw_ptr_unowned+as_unique_ptr_with_deleter"
,
"[E]"
)
{
TEST_CASE
(
"from_raw_ptr_unowned+as_unique_ptr_with_deleter"
,
"[E]"
)
{
static
int
value
=
19
;
static
int
value
=
19
;
auto
hld
=
smart_holder
::
from_raw_ptr_unowned
(
&
value
);
auto
hld
=
smart_holder
::
from_raw_ptr_unowned
(
&
value
);
auto
condense_for_macro
=
[](
smart_holder
&
hld
)
{
auto
condense_for_macro
=
[](
smart_holder
&
hld
)
{
hld
.
as_unique_ptr_with_deleter
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
();
hld
.
as_unique_ptr_with_deleter
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
();
};
};
REQUIRE_THROWS_WITH
(
REQUIRE_THROWS_WITH
(
condense_for_macro
(
hld
),
condense_for_macro
(
hld
),
"Missing unique_ptr deleter (as_unique_ptr_with_deleter)."
);
"Missing unique_ptr deleter (as_unique_ptr_with_deleter)."
);
}
}
...
@@ -88,8 +86,7 @@ TEST_CASE("from_raw_ptr_take_ownership+lvalue_ref", "[S]") {
...
@@ -88,8 +86,7 @@ TEST_CASE("from_raw_ptr_take_ownership+lvalue_ref", "[S]") {
TEST_CASE
(
"from_raw_ptr_take_ownership+as_raw_ptr_release_ownership1"
,
"[S]"
)
{
TEST_CASE
(
"from_raw_ptr_take_ownership+as_raw_ptr_release_ownership1"
,
"[S]"
)
{
auto
hld
=
smart_holder
::
from_raw_ptr_take_ownership
(
new
int
(
19
));
auto
hld
=
smart_holder
::
from_raw_ptr_take_ownership
(
new
int
(
19
));
auto
new_owner
=
auto
new_owner
=
std
::
unique_ptr
<
int
>
(
hld
.
as_raw_ptr_release_ownership
<
int
>
());
std
::
unique_ptr
<
int
>
(
hld
.
as_raw_ptr_release_ownership
<
int
>
());
REQUIRE
(
!
hld
.
has_pointee
());
REQUIRE
(
!
hld
.
has_pointee
());
REQUIRE
(
*
new_owner
==
19
);
REQUIRE
(
*
new_owner
==
19
);
}
}
...
@@ -97,8 +94,7 @@ TEST_CASE("from_raw_ptr_take_ownership+as_raw_ptr_release_ownership1", "[S]") {
...
@@ -97,8 +94,7 @@ TEST_CASE("from_raw_ptr_take_ownership+as_raw_ptr_release_ownership1", "[S]") {
TEST_CASE
(
"from_raw_ptr_take_ownership+as_raw_ptr_release_ownership2"
,
"[E]"
)
{
TEST_CASE
(
"from_raw_ptr_take_ownership+as_raw_ptr_release_ownership2"
,
"[E]"
)
{
auto
hld
=
smart_holder
::
from_raw_ptr_take_ownership
(
new
int
(
19
));
auto
hld
=
smart_holder
::
from_raw_ptr_take_ownership
(
new
int
(
19
));
auto
shd_ptr
=
hld
.
as_shared_ptr
<
int
>
();
auto
shd_ptr
=
hld
.
as_shared_ptr
<
int
>
();
REQUIRE_THROWS_WITH
(
REQUIRE_THROWS_WITH
(
hld
.
as_raw_ptr_release_ownership
<
int
>
(),
hld
.
as_raw_ptr_release_ownership
<
int
>
(),
"Cannot disown use_count != 1 (as_raw_ptr_release_ownership)."
);
"Cannot disown use_count != 1 (as_raw_ptr_release_ownership)."
);
}
}
...
@@ -112,17 +108,15 @@ TEST_CASE("from_raw_ptr_take_ownership+as_unique_ptr1", "[S]") {
...
@@ -112,17 +108,15 @@ TEST_CASE("from_raw_ptr_take_ownership+as_unique_ptr1", "[S]") {
TEST_CASE
(
"from_raw_ptr_take_ownership+as_unique_ptr2"
,
"[E]"
)
{
TEST_CASE
(
"from_raw_ptr_take_ownership+as_unique_ptr2"
,
"[E]"
)
{
auto
hld
=
smart_holder
::
from_raw_ptr_take_ownership
(
new
int
(
19
));
auto
hld
=
smart_holder
::
from_raw_ptr_take_ownership
(
new
int
(
19
));
auto
shd_ptr
=
hld
.
as_shared_ptr
<
int
>
();
auto
shd_ptr
=
hld
.
as_shared_ptr
<
int
>
();
REQUIRE_THROWS_WITH
(
hld
.
as_unique_ptr
<
int
>
(),
REQUIRE_THROWS_WITH
(
hld
.
as_unique_ptr
<
int
>
(),
"Cannot disown use_count != 1 (as_unique_ptr)."
);
"Cannot disown use_count != 1 (as_unique_ptr)."
);
}
}
TEST_CASE
(
"from_raw_ptr_take_ownership+as_unique_ptr_with_deleter"
,
"[E]"
)
{
TEST_CASE
(
"from_raw_ptr_take_ownership+as_unique_ptr_with_deleter"
,
"[E]"
)
{
auto
hld
=
smart_holder
::
from_raw_ptr_take_ownership
(
new
int
(
19
));
auto
hld
=
smart_holder
::
from_raw_ptr_take_ownership
(
new
int
(
19
));
auto
condense_for_macro
=
[](
smart_holder
&
hld
)
{
auto
condense_for_macro
=
[](
smart_holder
&
hld
)
{
hld
.
as_unique_ptr_with_deleter
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
();
hld
.
as_unique_ptr_with_deleter
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
();
};
};
REQUIRE_THROWS_WITH
(
REQUIRE_THROWS_WITH
(
condense_for_macro
(
hld
),
condense_for_macro
(
hld
),
"Missing unique_ptr deleter (as_unique_ptr_with_deleter)."
);
"Missing unique_ptr deleter (as_unique_ptr_with_deleter)."
);
}
}
...
@@ -144,8 +138,7 @@ TEST_CASE("from_unique_ptr+as_raw_ptr_release_ownership1", "[S]") {
...
@@ -144,8 +138,7 @@ TEST_CASE("from_unique_ptr+as_raw_ptr_release_ownership1", "[S]") {
std
::
unique_ptr
<
int
>
orig_owner
(
new
int
(
19
));
std
::
unique_ptr
<
int
>
orig_owner
(
new
int
(
19
));
auto
hld
=
smart_holder
::
from_unique_ptr
(
std
::
move
(
orig_owner
));
auto
hld
=
smart_holder
::
from_unique_ptr
(
std
::
move
(
orig_owner
));
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
auto
new_owner
=
auto
new_owner
=
std
::
unique_ptr
<
int
>
(
hld
.
as_raw_ptr_release_ownership
<
int
>
());
std
::
unique_ptr
<
int
>
(
hld
.
as_raw_ptr_release_ownership
<
int
>
());
REQUIRE
(
!
hld
.
has_pointee
());
REQUIRE
(
!
hld
.
has_pointee
());
REQUIRE
(
*
new_owner
==
19
);
REQUIRE
(
*
new_owner
==
19
);
}
}
...
@@ -155,8 +148,7 @@ TEST_CASE("from_unique_ptr+as_raw_ptr_release_ownership2", "[E]") {
...
@@ -155,8 +148,7 @@ TEST_CASE("from_unique_ptr+as_raw_ptr_release_ownership2", "[E]") {
auto
hld
=
smart_holder
::
from_unique_ptr
(
std
::
move
(
orig_owner
));
auto
hld
=
smart_holder
::
from_unique_ptr
(
std
::
move
(
orig_owner
));
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
auto
shd_ptr
=
hld
.
as_shared_ptr
<
int
>
();
auto
shd_ptr
=
hld
.
as_shared_ptr
<
int
>
();
REQUIRE_THROWS_WITH
(
REQUIRE_THROWS_WITH
(
hld
.
as_raw_ptr_release_ownership
<
int
>
(),
hld
.
as_raw_ptr_release_ownership
<
int
>
(),
"Cannot disown use_count != 1 (as_raw_ptr_release_ownership)."
);
"Cannot disown use_count != 1 (as_raw_ptr_release_ownership)."
);
}
}
...
@@ -174,19 +166,17 @@ TEST_CASE("from_unique_ptr+as_unique_ptr2", "[E]") {
...
@@ -174,19 +166,17 @@ TEST_CASE("from_unique_ptr+as_unique_ptr2", "[E]") {
auto
hld
=
smart_holder
::
from_unique_ptr
(
std
::
move
(
orig_owner
));
auto
hld
=
smart_holder
::
from_unique_ptr
(
std
::
move
(
orig_owner
));
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
auto
shd_ptr
=
hld
.
as_shared_ptr
<
int
>
();
auto
shd_ptr
=
hld
.
as_shared_ptr
<
int
>
();
REQUIRE_THROWS_WITH
(
hld
.
as_unique_ptr
<
int
>
(),
REQUIRE_THROWS_WITH
(
hld
.
as_unique_ptr
<
int
>
(),
"Cannot disown use_count != 1 (as_unique_ptr)."
);
"Cannot disown use_count != 1 (as_unique_ptr)."
);
}
}
TEST_CASE
(
"from_unique_ptr+as_unique_ptr_with_deleter"
,
"[E]"
)
{
TEST_CASE
(
"from_unique_ptr+as_unique_ptr_with_deleter"
,
"[E]"
)
{
std
::
unique_ptr
<
int
>
orig_owner
(
new
int
(
19
));
std
::
unique_ptr
<
int
>
orig_owner
(
new
int
(
19
));
auto
hld
=
smart_holder
::
from_unique_ptr
(
std
::
move
(
orig_owner
));
auto
hld
=
smart_holder
::
from_unique_ptr
(
std
::
move
(
orig_owner
));
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
auto
condense_for_macro
=
[](
smart_holder
&
hld
)
{
auto
condense_for_macro
=
[](
smart_holder
&
hld
)
{
hld
.
as_unique_ptr_with_deleter
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
();
hld
.
as_unique_ptr_with_deleter
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
();
};
};
REQUIRE_THROWS_WITH
(
REQUIRE_THROWS_WITH
(
condense_for_macro
(
hld
),
condense_for_macro
(
hld
),
"Missing unique_ptr deleter (as_unique_ptr_with_deleter)."
);
"Missing unique_ptr deleter (as_unique_ptr_with_deleter)."
);
}
}
...
@@ -200,60 +190,50 @@ TEST_CASE("from_unique_ptr+as_shared_ptr", "[S]") {
...
@@ -200,60 +190,50 @@ TEST_CASE("from_unique_ptr+as_shared_ptr", "[S]") {
}
}
TEST_CASE
(
"from_unique_ptr_with_deleter+lvalue_ref"
,
"[S]"
)
{
TEST_CASE
(
"from_unique_ptr_with_deleter+lvalue_ref"
,
"[S]"
)
{
std
::
unique_ptr
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
orig_owner
(
std
::
unique_ptr
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
orig_owner
(
new
int
(
19
));
new
int
(
19
));
auto
hld
=
smart_holder
::
from_unique_ptr_with_deleter
(
std
::
move
(
orig_owner
));
auto
hld
=
smart_holder
::
from_unique_ptr_with_deleter
(
std
::
move
(
orig_owner
));
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
REQUIRE
(
hld
.
lvalue_ref
<
int
>
()
==
19
);
REQUIRE
(
hld
.
lvalue_ref
<
int
>
()
==
19
);
}
}
TEST_CASE
(
"from_unique_ptr_with_deleter+as_raw_ptr_release_ownership"
,
"[E]"
)
{
TEST_CASE
(
"from_unique_ptr_with_deleter+as_raw_ptr_release_ownership"
,
"[E]"
)
{
std
::
unique_ptr
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
orig_owner
(
std
::
unique_ptr
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
orig_owner
(
new
int
(
19
));
new
int
(
19
));
auto
hld
=
smart_holder
::
from_unique_ptr_with_deleter
(
std
::
move
(
orig_owner
));
auto
hld
=
smart_holder
::
from_unique_ptr_with_deleter
(
std
::
move
(
orig_owner
));
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
REQUIRE_THROWS_WITH
(
REQUIRE_THROWS_WITH
(
hld
.
as_raw_ptr_release_ownership
<
int
>
(),
hld
.
as_raw_ptr_release_ownership
<
int
>
(),
"Cannot disown custom deleter (as_raw_ptr_release_ownership)."
);
"Cannot disown custom deleter (as_raw_ptr_release_ownership)."
);
}
}
TEST_CASE
(
"from_unique_ptr_with_deleter+as_unique_ptr"
,
"[E]"
)
{
TEST_CASE
(
"from_unique_ptr_with_deleter+as_unique_ptr"
,
"[E]"
)
{
std
::
unique_ptr
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
orig_owner
(
std
::
unique_ptr
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
orig_owner
(
new
int
(
19
));
new
int
(
19
));
auto
hld
=
smart_holder
::
from_unique_ptr_with_deleter
(
std
::
move
(
orig_owner
));
auto
hld
=
smart_holder
::
from_unique_ptr_with_deleter
(
std
::
move
(
orig_owner
));
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
REQUIRE_THROWS_WITH
(
hld
.
as_unique_ptr
<
int
>
(),
REQUIRE_THROWS_WITH
(
hld
.
as_unique_ptr
<
int
>
(),
"Cannot disown custom deleter (as_unique_ptr)."
);
"Cannot disown custom deleter (as_unique_ptr)."
);
}
}
TEST_CASE
(
"from_unique_ptr_with_deleter+as_unique_ptr_with_deleter1"
,
"[S]"
)
{
TEST_CASE
(
"from_unique_ptr_with_deleter+as_unique_ptr_with_deleter1"
,
"[S]"
)
{
std
::
unique_ptr
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
orig_owner
(
std
::
unique_ptr
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
orig_owner
(
new
int
(
19
));
new
int
(
19
));
auto
hld
=
smart_holder
::
from_unique_ptr_with_deleter
(
std
::
move
(
orig_owner
));
auto
hld
=
smart_holder
::
from_unique_ptr_with_deleter
(
std
::
move
(
orig_owner
));
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
std
::
unique_ptr
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
new_owner
=
std
::
unique_ptr
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
new_owner
hld
.
as_unique_ptr_with_deleter
<
int
,
=
hld
.
as_unique_ptr_with_deleter
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
();
helpers
::
functor_builtin_delete
<
int
>>
();
REQUIRE
(
!
hld
.
has_pointee
());
REQUIRE
(
!
hld
.
has_pointee
());
REQUIRE
(
*
new_owner
==
19
);
REQUIRE
(
*
new_owner
==
19
);
}
}
TEST_CASE
(
"from_unique_ptr_with_deleter+as_unique_ptr_with_deleter2"
,
"[E]"
)
{
TEST_CASE
(
"from_unique_ptr_with_deleter+as_unique_ptr_with_deleter2"
,
"[E]"
)
{
std
::
unique_ptr
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
orig_owner
(
std
::
unique_ptr
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
orig_owner
(
new
int
(
19
));
new
int
(
19
));
auto
hld
=
smart_holder
::
from_unique_ptr_with_deleter
(
std
::
move
(
orig_owner
));
auto
hld
=
smart_holder
::
from_unique_ptr_with_deleter
(
std
::
move
(
orig_owner
));
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
auto
condense_for_macro
=
[](
smart_holder
&
hld
)
{
auto
condense_for_macro
=
[](
smart_holder
&
hld
)
{
hld
.
as_unique_ptr_with_deleter
<
int
,
helpers
::
functor_other_delete
<
int
>>
();
hld
.
as_unique_ptr_with_deleter
<
int
,
helpers
::
functor_other_delete
<
int
>>
();
};
};
REQUIRE_THROWS_WITH
(
REQUIRE_THROWS_WITH
(
condense_for_macro
(
hld
),
condense_for_macro
(
hld
),
"Incompatible unique_ptr deleter (as_unique_ptr_with_deleter)."
);
"Incompatible unique_ptr deleter (as_unique_ptr_with_deleter)."
);
}
}
TEST_CASE
(
"from_unique_ptr_with_deleter+as_shared_ptr"
,
"[S]"
)
{
TEST_CASE
(
"from_unique_ptr_with_deleter+as_shared_ptr"
,
"[S]"
)
{
std
::
unique_ptr
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
orig_owner
(
std
::
unique_ptr
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
orig_owner
(
new
int
(
19
));
new
int
(
19
));
auto
hld
=
smart_holder
::
from_unique_ptr_with_deleter
(
std
::
move
(
orig_owner
));
auto
hld
=
smart_holder
::
from_unique_ptr_with_deleter
(
std
::
move
(
orig_owner
));
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
REQUIRE
(
orig_owner
.
get
()
==
nullptr
);
std
::
shared_ptr
<
int
>
new_owner
=
hld
.
as_shared_ptr
<
int
>
();
std
::
shared_ptr
<
int
>
new_owner
=
hld
.
as_shared_ptr
<
int
>
();
...
@@ -270,8 +250,7 @@ TEST_CASE("from_shared_ptr+lvalue_ref", "[S]") {
...
@@ -270,8 +250,7 @@ TEST_CASE("from_shared_ptr+lvalue_ref", "[S]") {
TEST_CASE
(
"from_shared_ptr+as_raw_ptr_release_ownership"
,
"[E]"
)
{
TEST_CASE
(
"from_shared_ptr+as_raw_ptr_release_ownership"
,
"[E]"
)
{
std
::
shared_ptr
<
int
>
orig_owner
(
new
int
(
19
));
std
::
shared_ptr
<
int
>
orig_owner
(
new
int
(
19
));
auto
hld
=
smart_holder
::
from_shared_ptr
(
orig_owner
);
auto
hld
=
smart_holder
::
from_shared_ptr
(
orig_owner
);
REQUIRE_THROWS_WITH
(
REQUIRE_THROWS_WITH
(
hld
.
as_raw_ptr_release_ownership
<
int
>
(),
hld
.
as_raw_ptr_release_ownership
<
int
>
(),
"Cannot disown external shared_ptr (as_raw_ptr_release_ownership)."
);
"Cannot disown external shared_ptr (as_raw_ptr_release_ownership)."
);
}
}
...
@@ -285,11 +264,10 @@ TEST_CASE("from_shared_ptr+as_unique_ptr", "[E]") {
...
@@ -285,11 +264,10 @@ TEST_CASE("from_shared_ptr+as_unique_ptr", "[E]") {
TEST_CASE
(
"from_shared_ptr+as_unique_ptr_with_deleter"
,
"[E]"
)
{
TEST_CASE
(
"from_shared_ptr+as_unique_ptr_with_deleter"
,
"[E]"
)
{
std
::
shared_ptr
<
int
>
orig_owner
(
new
int
(
19
));
std
::
shared_ptr
<
int
>
orig_owner
(
new
int
(
19
));
auto
hld
=
smart_holder
::
from_shared_ptr
(
orig_owner
);
auto
hld
=
smart_holder
::
from_shared_ptr
(
orig_owner
);
auto
condense_for_macro
=
[](
smart_holder
&
hld
)
{
auto
condense_for_macro
=
[](
smart_holder
&
hld
)
{
hld
.
as_unique_ptr_with_deleter
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
();
hld
.
as_unique_ptr_with_deleter
<
int
,
helpers
::
functor_builtin_delete
<
int
>>
();
};
};
REQUIRE_THROWS_WITH
(
REQUIRE_THROWS_WITH
(
condense_for_macro
(
hld
),
condense_for_macro
(
hld
),
"Missing unique_ptr deleter (as_unique_ptr_with_deleter)."
);
"Missing unique_ptr deleter (as_unique_ptr_with_deleter)."
);
}
}
...
@@ -301,15 +279,13 @@ TEST_CASE("from_shared_ptr+as_shared_ptr", "[S]") {
...
@@ -301,15 +279,13 @@ TEST_CASE("from_shared_ptr+as_shared_ptr", "[S]") {
TEST_CASE
(
"error_unpopulated_holder"
,
"[E]"
)
{
TEST_CASE
(
"error_unpopulated_holder"
,
"[E]"
)
{
smart_holder
hld
;
smart_holder
hld
;
REQUIRE_THROWS_WITH
(
hld
.
as_raw_ptr_unowned
<
int
>
(),
REQUIRE_THROWS_WITH
(
hld
.
as_raw_ptr_unowned
<
int
>
(),
"Unpopulated holder (as_raw_ptr_unowned)."
);
"Unpopulated holder (as_raw_ptr_unowned)."
);
}
}
TEST_CASE
(
"error_incompatible_type"
,
"[E]"
)
{
TEST_CASE
(
"error_incompatible_type"
,
"[E]"
)
{
static
int
value
=
19
;
static
int
value
=
19
;
auto
hld
=
smart_holder
::
from_raw_ptr_unowned
(
&
value
);
auto
hld
=
smart_holder
::
from_raw_ptr_unowned
(
&
value
);
REQUIRE_THROWS_WITH
(
hld
.
as_unique_ptr
<
std
::
string
>
(),
REQUIRE_THROWS_WITH
(
hld
.
as_unique_ptr
<
std
::
string
>
(),
"Incompatible type (as_unique_ptr)."
);
"Incompatible type (as_unique_ptr)."
);
}
}
TEST_CASE
(
"error_disowned_holder"
,
"[E]"
)
{
TEST_CASE
(
"error_disowned_holder"
,
"[E]"
)
{
...
@@ -321,6 +297,5 @@ TEST_CASE("error_disowned_holder", "[E]") {
...
@@ -321,6 +297,5 @@ TEST_CASE("error_disowned_holder", "[E]") {
TEST_CASE
(
"error_cannot_disown_nullptr"
,
"[E]"
)
{
TEST_CASE
(
"error_cannot_disown_nullptr"
,
"[E]"
)
{
auto
hld
=
smart_holder
::
from_raw_ptr_take_ownership
(
new
int
(
19
));
auto
hld
=
smart_holder
::
from_raw_ptr_take_ownership
(
new
int
(
19
));
hld
.
as_unique_ptr
<
int
>
();
hld
.
as_unique_ptr
<
int
>
();
REQUIRE_THROWS_WITH
(
hld
.
as_unique_ptr
<
int
>
(),
REQUIRE_THROWS_WITH
(
hld
.
as_unique_ptr
<
int
>
(),
"Cannot disown nullptr (as_unique_ptr)."
);
"Cannot disown nullptr (as_unique_ptr)."
);
}
}
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment