blob: 6b53993a91187c5518212f6fc41ac3a1792cc1df [file] [log] [blame]
Henry Schreinerd8c7ee02020-07-20 13:35:21 -04001# -*- coding: utf-8 -*-
Jason Rhinelander813d7e82017-05-14 15:57:26 -04002import pytest
Jason Rhinelander391c7542017-07-25 16:47:36 -04003from pybind11_tests import copy_move_policies as m
Jason Rhinelander813d7e82017-05-14 15:57:26 -04004
5
6def test_lacking_copy_ctor():
Jason Rhinelander813d7e82017-05-14 15:57:26 -04007 with pytest.raises(RuntimeError) as excinfo:
Jason Rhinelander391c7542017-07-25 16:47:36 -04008 m.lacking_copy_ctor.get_one()
Hans Dembinskibdf6a5e2019-10-23 12:19:58 +01009 assert "is non-copyable!" in str(excinfo.value)
Jason Rhinelander813d7e82017-05-14 15:57:26 -040010
11
12def test_lacking_move_ctor():
Jason Rhinelander813d7e82017-05-14 15:57:26 -040013 with pytest.raises(RuntimeError) as excinfo:
Jason Rhinelander391c7542017-07-25 16:47:36 -040014 m.lacking_move_ctor.get_one()
Hans Dembinskibdf6a5e2019-10-23 12:19:58 +010015 assert "is neither movable nor copyable!" in str(excinfo.value)
Jason Rhinelander813d7e82017-05-14 15:57:26 -040016
17
18def test_move_and_copy_casts():
19 """Cast some values in C++ via custom type casters and count the number of moves/copies."""
Jason Rhinelander813d7e82017-05-14 15:57:26 -040020
Jason Rhinelander391c7542017-07-25 16:47:36 -040021 cstats = m.move_and_copy_cstats()
Jason Rhinelander813d7e82017-05-14 15:57:26 -040022 c_m, c_mc, c_c = cstats["MoveOnlyInt"], cstats["MoveOrCopyInt"], cstats["CopyOnlyInt"]
23
24 # The type move constructions/assignments below each get incremented: the move assignment comes
25 # from the type_caster load; the move construction happens when extracting that via a cast or
26 # loading into an argument.
Jason Rhinelander391c7542017-07-25 16:47:36 -040027 assert m.move_and_copy_casts(3) == 18
Jason Rhinelander813d7e82017-05-14 15:57:26 -040028 assert c_m.copy_assignments + c_m.copy_constructions == 0
29 assert c_m.move_assignments == 2
Jason Rhinelander6b516192017-07-12 11:50:40 -040030 assert c_m.move_constructions >= 2
Jason Rhinelander813d7e82017-05-14 15:57:26 -040031 assert c_mc.alive() == 0
32 assert c_mc.copy_assignments + c_mc.copy_constructions == 0
33 assert c_mc.move_assignments == 2
Jason Rhinelander6b516192017-07-12 11:50:40 -040034 assert c_mc.move_constructions >= 2
Jason Rhinelander813d7e82017-05-14 15:57:26 -040035 assert c_c.alive() == 0
36 assert c_c.copy_assignments == 2
Jason Rhinelander6b516192017-07-12 11:50:40 -040037 assert c_c.copy_constructions >= 2
Jason Rhinelander813d7e82017-05-14 15:57:26 -040038 assert c_m.alive() + c_mc.alive() + c_c.alive() == 0
39
40
41def test_move_and_copy_loads():
42 """Call some functions that load arguments via custom type casters and count the number of
43 moves/copies."""
Jason Rhinelander813d7e82017-05-14 15:57:26 -040044
Jason Rhinelander391c7542017-07-25 16:47:36 -040045 cstats = m.move_and_copy_cstats()
Jason Rhinelander813d7e82017-05-14 15:57:26 -040046 c_m, c_mc, c_c = cstats["MoveOnlyInt"], cstats["MoveOrCopyInt"], cstats["CopyOnlyInt"]
47
Jason Rhinelander391c7542017-07-25 16:47:36 -040048 assert m.move_only(10) == 10 # 1 move, c_m
49 assert m.move_or_copy(11) == 11 # 1 move, c_mc
50 assert m.copy_only(12) == 12 # 1 copy, c_c
51 assert m.move_pair((13, 14)) == 27 # 1 c_m move, 1 c_mc move
52 assert m.move_tuple((15, 16, 17)) == 48 # 2 c_m moves, 1 c_mc move
53 assert m.copy_tuple((18, 19)) == 37 # 2 c_c copies
Jason Rhinelander813d7e82017-05-14 15:57:26 -040054 # Direct constructions: 2 c_m moves, 2 c_mc moves, 1 c_c copy
55 # Extra moves/copies when moving pairs/tuples: 3 c_m, 3 c_mc, 2 c_c
Jason Rhinelander391c7542017-07-25 16:47:36 -040056 assert m.move_copy_nested((1, ((2, 3, (4,)), 5))) == 15
Jason Rhinelander813d7e82017-05-14 15:57:26 -040057
58 assert c_m.copy_assignments + c_m.copy_constructions == 0
59 assert c_m.move_assignments == 6
60 assert c_m.move_constructions == 9
61 assert c_mc.copy_assignments + c_mc.copy_constructions == 0
62 assert c_mc.move_assignments == 5
63 assert c_mc.move_constructions == 8
64 assert c_c.copy_assignments == 4
65 assert c_c.copy_constructions == 6
66 assert c_m.alive() + c_mc.alive() + c_c.alive() == 0
67
68
Jason Rhinelander391c7542017-07-25 16:47:36 -040069@pytest.mark.skipif(not m.has_optional, reason='no <optional>')
Jason Rhinelander813d7e82017-05-14 15:57:26 -040070def test_move_and_copy_load_optional():
71 """Tests move/copy loads of std::optional arguments"""
Jason Rhinelander813d7e82017-05-14 15:57:26 -040072
Jason Rhinelander391c7542017-07-25 16:47:36 -040073 cstats = m.move_and_copy_cstats()
Jason Rhinelander813d7e82017-05-14 15:57:26 -040074 c_m, c_mc, c_c = cstats["MoveOnlyInt"], cstats["MoveOrCopyInt"], cstats["CopyOnlyInt"]
75
76 # The extra move/copy constructions below come from the std::optional move (which has to move
77 # its arguments):
Jason Rhinelander391c7542017-07-25 16:47:36 -040078 assert m.move_optional(10) == 10 # c_m: 1 move assign, 2 move construct
79 assert m.move_or_copy_optional(11) == 11 # c_mc: 1 move assign, 2 move construct
80 assert m.copy_optional(12) == 12 # c_c: 1 copy assign, 2 copy construct
Jason Rhinelander813d7e82017-05-14 15:57:26 -040081 # 1 move assign + move construct moves each of c_m, c_mc, 1 c_c copy
82 # +1 move/copy construct each from moving the tuple
83 # +1 move/copy construct each from moving the optional (which moves the tuple again)
Jason Rhinelander391c7542017-07-25 16:47:36 -040084 assert m.move_optional_tuple((3, 4, 5)) == 12
Jason Rhinelander813d7e82017-05-14 15:57:26 -040085
86 assert c_m.copy_assignments + c_m.copy_constructions == 0
87 assert c_m.move_assignments == 2
88 assert c_m.move_constructions == 5
89 assert c_mc.copy_assignments + c_mc.copy_constructions == 0
90 assert c_mc.move_assignments == 2
91 assert c_mc.move_constructions == 5
92 assert c_c.copy_assignments == 2
93 assert c_c.copy_constructions == 5
94 assert c_m.alive() + c_mc.alive() + c_c.alive() == 0
Dean Moldovane27ea472017-06-08 18:21:12 +020095
96
97def test_private_op_new():
98 """An object with a private `operator new` cannot be returned by value"""
Dean Moldovane27ea472017-06-08 18:21:12 +020099
100 with pytest.raises(RuntimeError) as excinfo:
101 m.private_op_new_value()
Hans Dembinskibdf6a5e2019-10-23 12:19:58 +0100102 assert "is neither movable nor copyable" in str(excinfo.value)
Dean Moldovane27ea472017-06-08 18:21:12 +0200103
104 assert m.private_op_new_reference().value == 1
Dean Moldovanbdfb50f2017-06-07 16:52:50 +0200105
106
107def test_move_fallback():
108 """#389: rvp::move should fall-through to copy on non-movable objects"""
Dean Moldovanbdfb50f2017-06-07 16:52:50 +0200109
Jason Rhinelander391c7542017-07-25 16:47:36 -0400110 m2 = m.get_moveissue2(2)
Dean Moldovanbdfb50f2017-06-07 16:52:50 +0200111 assert m2.value == 2
Jason Rhinelander391c7542017-07-25 16:47:36 -0400112 m1 = m.get_moveissue1(1)
Dean Moldovanbdfb50f2017-06-07 16:52:50 +0200113 assert m1.value == 1