blob: d826ecba6b8d942f530320ce8094efbf0ec9ab3d [file] [log] [blame]
David Tolnay05aa6722020-12-29 15:06:36 -08001#![allow(
2 clippy::assertions_on_constants,
3 clippy::cast_possible_truncation,
4 clippy::cast_possible_wrap,
5 clippy::float_cmp,
6 clippy::needless_pass_by_value,
7 clippy::redundant_closure_for_method_calls,
8 clippy::unit_cmp,
9 clippy::unseparated_literal_suffix
10)]
David Tolnayc90b6662020-11-06 10:11:07 -080011
David Tolnaybc6e43c2020-12-28 18:16:27 -080012use cxx::SharedPtr;
David Tolnayfbd0a8d2020-11-19 14:22:08 -080013use cxx_test_suite::module::ffi2;
David Tolnay36bd6162020-11-25 19:56:09 -080014use cxx_test_suite::{cast, ffi, R};
David Tolnay3fd7f562020-01-26 17:47:11 -080015use std::cell::Cell;
David Tolnayf306da42020-02-22 19:55:43 -080016use std::ffi::CStr;
David Tolnay3fd7f562020-01-26 17:47:11 -080017
18thread_local! {
19 static CORRECT: Cell<bool> = Cell::new(false);
20}
21
22#[no_mangle]
23extern "C" fn cxx_test_suite_set_correct() {
24 CORRECT.with(|correct| correct.set(true));
25}
26
David Tolnayf306da42020-02-22 19:55:43 -080027macro_rules! check {
28 ($run:expr) => {{
29 CORRECT.with(|correct| correct.set(false));
30 $run;
David Tolnay8988a752020-11-22 12:05:51 -080031 assert!(
32 CORRECT.with(|correct| correct.get()),
33 "{}",
34 stringify!($run),
35 );
David Tolnayf306da42020-02-22 19:55:43 -080036 }};
37}
38
David Tolnay3fd7f562020-01-26 17:47:11 -080039#[test]
40fn test_c_return() {
41 let shared = ffi::Shared { z: 2020 };
Adrian Taylor9a158e42020-10-24 20:51:25 -070042 let ns_shared = ffi::AShared { z: 2020 };
43 let nested_ns_shared = ffi::ABShared { z: 2020 };
David Tolnay3fd7f562020-01-26 17:47:11 -080044
45 assert_eq!(2020, ffi::c_return_primitive());
46 assert_eq!(2020, ffi::c_return_shared().z);
David Tolnay62cae8e2020-11-17 07:54:54 -080047 assert_eq!(2020, ffi::c_return_box().0);
David Tolnay3fd7f562020-01-26 17:47:11 -080048 ffi::c_return_unique_ptr();
Adrian Taylord47af7a2020-10-26 13:18:48 -070049 ffi2::c_return_ns_unique_ptr();
David Tolnay3fd7f562020-01-26 17:47:11 -080050 assert_eq!(2020, *ffi::c_return_ref(&shared));
Adrian Taylor9a158e42020-10-24 20:51:25 -070051 assert_eq!(2020, *ffi::c_return_ns_ref(&ns_shared));
52 assert_eq!(2020, *ffi::c_return_nested_ns_ref(&nested_ns_shared));
David Tolnay3fd7f562020-01-26 17:47:11 -080053 assert_eq!("2020", ffi::c_return_str(&shared));
David Tolnay36bd6162020-11-25 19:56:09 -080054 assert_eq!(
55 b"2020\0",
56 cast::c_char_to_unsigned(ffi::c_return_slice_char(&shared)),
57 );
David Tolnay3fd7f562020-01-26 17:47:11 -080058 assert_eq!("2020", ffi::c_return_rust_string());
David Tolnay5e29b212020-04-17 15:02:16 -070059 assert_eq!("2020", ffi::c_return_unique_ptr_string().to_str().unwrap());
David Tolnayc01d0a02020-04-24 13:30:44 -070060 assert_eq!(4, ffi::c_return_unique_ptr_vector_u8().len());
Myron Ahneba35cf2020-02-05 19:41:51 +070061 assert_eq!(
62 200_u8,
David Tolnay4f6dd4e2020-04-25 13:08:38 -070063 ffi::c_return_unique_ptr_vector_u8().into_iter().sum(),
Myron Ahneba35cf2020-02-05 19:41:51 +070064 );
65 assert_eq!(
66 200.5_f64,
David Tolnay4f6dd4e2020-04-25 13:08:38 -070067 ffi::c_return_unique_ptr_vector_f64().into_iter().sum(),
Myron Ahneba35cf2020-02-05 19:41:51 +070068 );
David Tolnayc01d0a02020-04-24 13:30:44 -070069 assert_eq!(2, ffi::c_return_unique_ptr_vector_shared().len());
Myron Ahneba35cf2020-02-05 19:41:51 +070070 assert_eq!(
71 2021_usize,
72 ffi::c_return_unique_ptr_vector_shared()
Myron Ahneba35cf2020-02-05 19:41:51 +070073 .into_iter()
74 .map(|o| o.z)
David Tolnay4f6dd4e2020-04-25 13:08:38 -070075 .sum(),
Myron Ahneba35cf2020-02-05 19:41:51 +070076 );
Joel Galensonba676072020-04-27 15:55:45 -070077 assert_eq!(2020, ffi::c_return_identity(2020));
78 assert_eq!(2021, ffi::c_return_sum(2020, 1));
Joel Galensonc03402a2020-04-23 17:31:09 -070079 match ffi::c_return_enum(0) {
Joel Galensondb1ec312020-05-01 13:57:32 -070080 enm @ ffi::Enum::AVal => assert_eq!(0, enm.repr),
Joel Galensonc03402a2020-04-23 17:31:09 -070081 _ => assert!(false),
82 }
83 match ffi::c_return_enum(1) {
Joel Galensondb1ec312020-05-01 13:57:32 -070084 enm @ ffi::Enum::BVal => assert_eq!(2020, enm.repr),
Joel Galensonc03402a2020-04-23 17:31:09 -070085 _ => assert!(false),
86 }
87 match ffi::c_return_enum(2021) {
David Tolnayf2217182020-12-21 16:47:26 -080088 enm @ ffi::Enum::LastVal => assert_eq!(2021, enm.repr),
Joel Galensonc03402a2020-04-23 17:31:09 -070089 _ => assert!(false),
90 }
Adrian Taylor9a158e42020-10-24 20:51:25 -070091 match ffi::c_return_ns_enum(0) {
92 enm @ ffi::AEnum::AAVal => assert_eq!(0, enm.repr),
93 _ => assert!(false),
94 }
95 match ffi::c_return_nested_ns_enum(0) {
96 enm @ ffi::ABEnum::ABAVal => assert_eq!(0, enm.repr),
97 _ => assert!(false),
98 }
David Tolnay99642622020-03-25 13:07:35 -070099}
David Tolnayebef4a22020-03-17 15:33:47 -0700100
David Tolnay99642622020-03-25 13:07:35 -0700101#[test]
102fn test_c_try_return() {
David Tolnayebef4a22020-03-17 15:33:47 -0700103 assert_eq!((), ffi::c_try_return_void().unwrap());
104 assert_eq!(2020, ffi::c_try_return_primitive().unwrap());
105 assert_eq!(
106 "logic error",
107 ffi::c_fail_return_primitive().unwrap_err().what(),
108 );
David Tolnay62cae8e2020-11-17 07:54:54 -0800109 assert_eq!(2020, ffi::c_try_return_box().unwrap().0);
David Tolnay99642622020-03-25 13:07:35 -0700110 assert_eq!("2020", *ffi::c_try_return_ref(&"2020".to_owned()).unwrap());
111 assert_eq!("2020", ffi::c_try_return_str("2020").unwrap());
Adrian Taylorec9430e2020-04-14 16:09:58 -0700112 assert_eq!(b"2020", ffi::c_try_return_sliceu8(b"2020").unwrap());
David Tolnay99642622020-03-25 13:07:35 -0700113 assert_eq!("2020", ffi::c_try_return_rust_string().unwrap());
David Tolnay5e29b212020-04-17 15:02:16 -0700114 assert_eq!("2020", &*ffi::c_try_return_unique_ptr_string().unwrap());
David Tolnay3fd7f562020-01-26 17:47:11 -0800115}
116
117#[test]
118fn test_c_take() {
David Tolnay3fd7f562020-01-26 17:47:11 -0800119 let unique_ptr = ffi::c_return_unique_ptr();
Adrian Taylord47af7a2020-10-26 13:18:48 -0700120 let unique_ptr_ns = ffi2::c_return_ns_unique_ptr();
David Tolnay3fd7f562020-01-26 17:47:11 -0800121
122 check!(ffi::c_take_primitive(2020));
123 check!(ffi::c_take_shared(ffi::Shared { z: 2020 }));
Adrian Taylor9a158e42020-10-24 20:51:25 -0700124 check!(ffi::c_take_ns_shared(ffi::AShared { z: 2020 }));
Adrian Taylorddc146e2020-10-25 21:40:17 -0700125 check!(ffi::ns_c_take_ns_shared(ffi::AShared { z: 2020 }));
Adrian Taylor9a158e42020-10-24 20:51:25 -0700126 check!(ffi::c_take_nested_ns_shared(ffi::ABShared { z: 2020 }));
David Tolnay62cae8e2020-11-17 07:54:54 -0800127 check!(ffi::c_take_box(Box::new(R(2020))));
David Tolnay5e29b212020-04-17 15:02:16 -0700128 check!(ffi::c_take_ref_c(&unique_ptr));
Adrian Taylord47af7a2020-10-26 13:18:48 -0700129 check!(ffi2::c_take_ref_ns_c(&unique_ptr_ns));
David Tolnaya62cca22020-05-07 21:52:16 -0700130 check!(cxx_test_suite::module::ffi::c_take_unique_ptr(unique_ptr));
David Tolnay3fd7f562020-01-26 17:47:11 -0800131 check!(ffi::c_take_str("2020"));
David Tolnay36bd6162020-11-25 19:56:09 -0800132 check!(ffi::c_take_slice_char(cast::unsigned_to_c_char(b"2020")));
David Tolnay5515a9e2020-11-25 19:07:54 -0800133 check!(ffi::c_take_slice_shared(&[
134 ffi::Shared { z: 2020 },
135 ffi::Shared { z: 2021 },
136 ]));
David Tolnay8f2180c2020-12-27 00:19:38 -0800137 let shared_sort_slice = &mut [
138 ffi::Shared { z: 2 },
139 ffi::Shared { z: 0 },
140 ffi::Shared { z: 7 },
141 ffi::Shared { z: 4 },
142 ];
143 check!(ffi::c_take_slice_shared_sort(shared_sort_slice));
144 assert_eq!(shared_sort_slice[0].z, 0);
145 assert_eq!(shared_sort_slice[1].z, 2);
146 assert_eq!(shared_sort_slice[2].z, 4);
147 assert_eq!(shared_sort_slice[3].z, 7);
David Tolnayfe67bf42020-12-27 19:26:52 -0800148 let r_sort_slice = &mut [R(2020), R(2050), R(2021)];
149 check!(ffi::c_take_slice_r(r_sort_slice));
150 check!(ffi::c_take_slice_r_sort(r_sort_slice));
151 assert_eq!(r_sort_slice[0].0, 2020);
152 assert_eq!(r_sort_slice[1].0, 2021);
153 assert_eq!(r_sort_slice[2].0, 2050);
David Tolnay3fd7f562020-01-26 17:47:11 -0800154 check!(ffi::c_take_rust_string("2020".to_owned()));
155 check!(ffi::c_take_unique_ptr_string(
156 ffi::c_return_unique_ptr_string()
157 ));
Myron Ahneba35cf2020-02-05 19:41:51 +0700158 check!(ffi::c_take_unique_ptr_vector_u8(
159 ffi::c_return_unique_ptr_vector_u8()
160 ));
161 check!(ffi::c_take_unique_ptr_vector_f64(
162 ffi::c_return_unique_ptr_vector_f64()
163 ));
164 check!(ffi::c_take_unique_ptr_vector_shared(
165 ffi::c_return_unique_ptr_vector_shared()
166 ));
David Tolnay2244d1f2020-04-25 13:58:18 -0700167 check!(ffi::c_take_ref_vector(&ffi::c_return_unique_ptr_vector_u8()));
myronahnda9be502020-04-29 05:47:23 +0700168 let test_vec = [86_u8, 75_u8, 30_u8, 9_u8].to_vec();
169 check!(ffi::c_take_rust_vec(test_vec.clone()));
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700170 check!(ffi::c_take_rust_vec_index(test_vec.clone()));
David Tolnaya7ba6a62020-08-26 22:33:17 -0700171 let shared_test_vec = vec![ffi::Shared { z: 1010 }, ffi::Shared { z: 1011 }];
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700172 check!(ffi::c_take_rust_vec_shared(shared_test_vec.clone()));
173 check!(ffi::c_take_rust_vec_shared_index(shared_test_vec.clone()));
David Tolnayfb6b73c2020-11-10 14:32:16 -0800174 check!(ffi::c_take_rust_vec_shared_push(shared_test_vec.clone()));
David Tolnaya7ba6a62020-08-26 22:33:17 -0700175 check!(ffi::c_take_rust_vec_shared_forward_iterator(
176 shared_test_vec,
177 ));
David Tolnay300072b2020-12-03 12:12:24 -0800178 let shared_sort_vec = vec![
179 ffi::Shared { z: 2 },
180 ffi::Shared { z: 0 },
181 ffi::Shared { z: 7 },
182 ffi::Shared { z: 4 },
183 ];
184 check!(ffi::c_take_rust_vec_shared_sort(shared_sort_vec));
myronahnda9be502020-04-29 05:47:23 +0700185 check!(ffi::c_take_ref_rust_vec(&test_vec));
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700186 check!(ffi::c_take_ref_rust_vec_index(&test_vec));
myronahnda9be502020-04-29 05:47:23 +0700187 check!(ffi::c_take_ref_rust_vec_copy(&test_vec));
David Tolnay701c6882020-11-02 10:44:39 -0800188 check!(ffi::c_take_ref_shared_string(&ffi::SharedString {
189 msg: "2020".to_owned()
190 }));
Adrian Taylor9a158e42020-10-24 20:51:25 -0700191 let ns_shared_test_vec = vec![ffi::AShared { z: 1010 }, ffi::AShared { z: 1011 }];
192 check!(ffi::c_take_rust_vec_ns_shared(ns_shared_test_vec));
193 let nested_ns_shared_test_vec = vec![ffi::ABShared { z: 1010 }, ffi::ABShared { z: 1011 }];
194 check!(ffi::c_take_rust_vec_nested_ns_shared(
195 nested_ns_shared_test_vec
196 ));
197
Joel Galensonc03402a2020-04-23 17:31:09 -0700198 check!(ffi::c_take_enum(ffi::Enum::AVal));
Adrian Taylor9a158e42020-10-24 20:51:25 -0700199 check!(ffi::c_take_ns_enum(ffi::AEnum::AAVal));
200 check!(ffi::c_take_nested_ns_enum(ffi::ABEnum::ABAVal));
David Tolnay3fd7f562020-01-26 17:47:11 -0800201}
David Tolnayf306da42020-02-22 19:55:43 -0800202
203#[test]
David Tolnay75dca2e2020-03-25 20:17:52 -0700204fn test_c_callback() {
205 fn callback(s: String) -> usize {
206 if s == "2020" {
207 cxx_test_suite_set_correct();
208 }
209 0
210 }
211
212 check!(ffi::c_take_callback(callback));
213}
214
215#[test]
David Tolnayf306da42020-02-22 19:55:43 -0800216fn test_c_call_r() {
217 fn cxx_run_test() {
218 extern "C" {
219 fn cxx_run_test() -> *const i8;
220 }
221 let failure = unsafe { cxx_run_test() };
222 if !failure.is_null() {
Myron Ahnd963bf92020-05-17 12:32:42 +0700223 let msg = unsafe { CStr::from_ptr(failure as *mut std::os::raw::c_char) };
David Tolnayf306da42020-02-22 19:55:43 -0800224 eprintln!("{}", msg.to_string_lossy());
225 }
226 }
227 check!(cxx_run_test());
228}
David Tolnaybe13d8a2020-03-06 15:45:39 -0800229
Joel Galenson3d4f6122020-04-07 15:54:05 -0700230#[test]
231fn test_c_method_calls() {
232 let mut unique_ptr = ffi::c_return_unique_ptr();
233
David Tolnay5e29b212020-04-17 15:02:16 -0700234 let old_value = unique_ptr.get();
Joel Galenson3d4f6122020-04-07 15:54:05 -0700235 assert_eq!(2020, old_value);
David Tolnay09a30862020-11-22 12:01:57 -0800236 assert_eq!(2021, unique_ptr.pin_mut().set(2021));
David Tolnay5e29b212020-04-17 15:02:16 -0700237 assert_eq!(2021, unique_ptr.get());
David Tolnay1346ca32020-11-15 16:11:56 -0800238 assert_eq!(2021, unique_ptr.get2());
David Tolnay515ba1b2020-12-18 10:59:04 -0800239 assert_eq!(2021, *unique_ptr.getRef());
240 assert_eq!(2021, *unique_ptr.pin_mut().getMut());
David Tolnay300072b2020-12-03 12:12:24 -0800241 assert_eq!(2022, unique_ptr.pin_mut().set_succeed(2022).unwrap());
David Tolnay09a30862020-11-22 12:01:57 -0800242 assert!(unique_ptr.pin_mut().get_fail().is_err());
David Tolnay464aeeb2020-11-08 19:12:10 -0800243 assert_eq!(2021, ffi::Shared { z: 0 }.c_method_on_shared());
David Tolnay515ba1b2020-12-18 10:59:04 -0800244 assert_eq!(2022, *ffi::Shared { z: 2022 }.c_method_ref_on_shared());
245 assert_eq!(2023, *ffi::Shared { z: 2023 }.c_method_mut_on_shared());
Xiangpeng Hao78762352020-11-12 10:24:18 +0800246
247 let val = 42;
248 let mut array = ffi::Array { a: [0, 0, 0, 0] };
249 array.c_set_array(val);
250 assert_eq!(array.a.len() as i32 * val, array.r_get_array_sum());
Joel Galenson3d4f6122020-04-07 15:54:05 -0700251}
252
Joel Galensondb1ec312020-05-01 13:57:32 -0700253#[test]
David Tolnaybc6e43c2020-12-28 18:16:27 -0800254fn test_shared_ptr_weak_ptr() {
255 let shared_ptr = ffi::c_return_shared_ptr();
256 let weak_ptr = SharedPtr::downgrade(&shared_ptr);
257 assert_eq!(1, ffi::c_get_use_count(&weak_ptr));
258
259 assert!(!weak_ptr.upgrade().is_null());
260 assert_eq!(1, ffi::c_get_use_count(&weak_ptr));
261
262 drop(shared_ptr);
263 assert_eq!(0, ffi::c_get_use_count(&weak_ptr));
264 assert!(weak_ptr.upgrade().is_null());
265}
266
267#[test]
Adrian Taylor0fac3212020-10-25 21:52:55 -0700268fn test_c_ns_method_calls() {
Adrian Taylorf2d9d862020-10-29 21:19:33 -0700269 let unique_ptr = ffi2::ns_c_return_unique_ptr_ns();
Adrian Taylor0fac3212020-10-25 21:52:55 -0700270
271 let old_value = unique_ptr.get();
272 assert_eq!(1000, old_value);
273}
274
275#[test]
Joel Galensondb1ec312020-05-01 13:57:32 -0700276fn test_enum_representations() {
277 assert_eq!(0, ffi::Enum::AVal.repr);
278 assert_eq!(2020, ffi::Enum::BVal.repr);
David Tolnayf2217182020-12-21 16:47:26 -0800279 assert_eq!(2021, ffi::Enum::LastVal.repr);
Joel Galensondb1ec312020-05-01 13:57:32 -0700280}
281
David Tolnay990eb3c2020-11-27 11:36:05 -0800282#[test]
283fn test_debug() {
284 assert_eq!("Shared { z: 1 }", format!("{:?}", ffi::Shared { z: 1 }));
285 assert_eq!("BVal", format!("{:?}", ffi::Enum::BVal));
286 assert_eq!("Enum(9)", format!("{:?}", ffi::Enum { repr: 9 }));
287}
288
David Tolnaybe13d8a2020-03-06 15:45:39 -0800289#[no_mangle]
David Tolnay62cae8e2020-11-17 07:54:54 -0800290extern "C" fn cxx_test_suite_get_box() -> *mut R {
291 Box::into_raw(Box::new(R(2020usize)))
David Tolnaybe13d8a2020-03-06 15:45:39 -0800292}
David Tolnaya7d00e82020-03-06 15:50:14 -0800293
294#[no_mangle]
David Tolnay62cae8e2020-11-17 07:54:54 -0800295unsafe extern "C" fn cxx_test_suite_r_is_correct(r: *const R) -> bool {
296 (*r).0 == 2020
David Tolnaya7d00e82020-03-06 15:50:14 -0800297}
David Tolnay3bbcdbb2020-10-09 19:29:44 -0700298
299#[test]
300fn test_rust_name_attribute() {
301 assert_eq!("2020", ffi::i32_overloaded_function(2020));
302 assert_eq!("2020", ffi::str_overloaded_function("2020"));
303 let unique_ptr = ffi::c_return_unique_ptr();
304 assert_eq!("2020", unique_ptr.i32_overloaded_method(2020));
305 assert_eq!("2020", unique_ptr.str_overloaded_method("2020"));
306}
Adrian Taylor121cca42020-10-10 15:32:00 -0700307
308#[test]
309fn test_extern_trivial() {
Adrian Taylor73f2daf2020-12-06 22:43:26 -0800310 let mut d = ffi2::c_return_trivial();
Adrian Taylor121cca42020-10-10 15:32:00 -0700311 check!(ffi2::c_take_trivial_ref(&d));
Adrian Taylor73f2daf2020-12-06 22:43:26 -0800312 check!(d.c_take_trivial_ref_method());
313 check!(d.c_take_trivial_mut_ref_method());
Adrian Taylor121cca42020-10-10 15:32:00 -0700314 check!(ffi2::c_take_trivial(d));
Adrian Taylor73f2daf2020-12-06 22:43:26 -0800315 let mut d = ffi2::c_return_trivial_ptr();
316 check!(d.c_take_trivial_ref_method());
317 check!(d.c_take_trivial_mut_ref_method());
Adrian Taylor121cca42020-10-10 15:32:00 -0700318 check!(ffi2::c_take_trivial_ptr(d));
Adrian Taylord75f7e22020-10-12 15:54:54 -0700319 cxx::UniquePtr::new(ffi2::D { d: 42 });
Adrian Taylorddc146e2020-10-25 21:40:17 -0700320 let d = ffi2::ns_c_return_trivial();
321 check!(ffi2::ns_c_take_trivial(d));
Adrian Taylor585bb0b2020-10-26 13:17:17 -0700322
323 let g = ffi2::c_return_trivial_ns();
324 check!(ffi2::c_take_trivial_ns_ref(&g));
325 check!(ffi2::c_take_trivial_ns(g));
326 let g = ffi2::c_return_trivial_ns_ptr();
327 check!(ffi2::c_take_trivial_ns_ptr(g));
328 cxx::UniquePtr::new(ffi2::G { g: 42 });
Adrian Taylor121cca42020-10-10 15:32:00 -0700329}
330
331#[test]
332fn test_extern_opaque() {
Adrian Taylor73f2daf2020-12-06 22:43:26 -0800333 let mut e = ffi2::c_return_opaque_ptr();
Adrian Taylor121cca42020-10-10 15:32:00 -0700334 check!(ffi2::c_take_opaque_ref(e.as_ref().unwrap()));
Adrian Taylor73f2daf2020-12-06 22:43:26 -0800335 check!(e.c_take_opaque_ref_method());
336 check!(e.pin_mut().c_take_opaque_mut_ref_method());
Adrian Taylor121cca42020-10-10 15:32:00 -0700337 check!(ffi2::c_take_opaque_ptr(e));
Adrian Taylor5e79c642020-10-24 21:09:42 -0700338
339 let f = ffi2::c_return_ns_opaque_ptr();
340 check!(ffi2::c_take_opaque_ns_ref(f.as_ref().unwrap()));
341 check!(ffi2::c_take_opaque_ns_ptr(f));
Adrian Taylor121cca42020-10-10 15:32:00 -0700342}