blob: 90b835a4b6b8c0b91fde208f5a7d9b0d22a10c53 [file] [log] [blame]
David Tolnayd8ad9702020-11-27 12:43:59 -08001use crate::derive;
David Tolnaya52602b2020-03-06 10:24:34 -08002use crate::syntax::atom::Atom::{self, *};
David Tolnay41e147c2020-12-30 17:06:39 -08003use crate::syntax::attrs::{self, OtherAttrs};
David Tolnay05ef6ff2020-08-29 11:27:05 -07004use crate::syntax::file::Module;
David Tolnay0dd85ff2020-05-03 23:43:33 -07005use crate::syntax::report::Errors;
David Tolnay891061b2020-04-19 22:42:33 -07006use crate::syntax::symbol::Symbol;
David Tolnay3caa50a2020-04-19 21:25:34 -07007use crate::syntax::{
David Tolnay77a5e752021-01-01 14:15:18 -08008 self, check, mangle, Api, Doc, Enum, ExternFn, ExternType, Impl, NamedType, Pair, Signature,
David Tolnay41e147c2020-12-30 17:06:39 -08009 Struct, Trait, Type, TypeAlias, Types,
David Tolnay3caa50a2020-04-19 21:25:34 -070010};
David Tolnay0531f432020-10-03 23:50:28 -070011use proc_macro2::{Ident, Span, TokenStream};
David Tolnayf9ffb932020-04-20 02:22:57 -070012use quote::{format_ident, quote, quote_spanned, ToTokens};
David Tolnay05ef6ff2020-08-29 11:27:05 -070013use std::mem;
14use syn::{parse_quote, Result, Token};
David Tolnay7db73692019-10-20 14:51:12 -040015
David Tolnay3c64a4e2020-08-29 14:07:38 -070016pub fn bridge(mut ffi: Module) -> Result<TokenStream> {
David Tolnay0dd85ff2020-05-03 23:43:33 -070017 let ref mut errors = Errors::new();
David Tolnay41e147c2020-12-30 17:06:39 -080018
19 let mut doc = Doc::new();
20 let attrs = attrs::parse(
21 errors,
22 mem::take(&mut ffi.attrs),
23 attrs::Parser {
24 doc: Some(&mut doc),
25 ..Default::default()
26 },
27 );
28
David Tolnay05ef6ff2020-08-29 11:27:05 -070029 let content = mem::take(&mut ffi.content);
David Tolnay805dca32020-08-29 19:09:55 -070030 let trusted = ffi.unsafety.is_some();
Adrian Taylorc8713432020-10-21 18:20:55 -070031 let namespace = &ffi.namespace;
32 let ref apis = syntax::parse_items(errors, content, trusted, namespace);
David Tolnay52759782020-05-03 23:59:40 -070033 let ref types = Types::collect(errors, apis);
34 errors.propagate()?;
Adrian Taylorc8713432020-10-21 18:20:55 -070035 check::typecheck(errors, apis, types);
David Tolnay0dd85ff2020-05-03 23:43:33 -070036 errors.propagate()?;
David Tolnay7db73692019-10-20 14:51:12 -040037
David Tolnay41e147c2020-12-30 17:06:39 -080038 Ok(expand(ffi, doc, attrs, apis, types))
David Tolnaycbf3f032020-05-03 23:51:14 -070039}
40
David Tolnay41e147c2020-12-30 17:06:39 -080041fn expand(ffi: Module, doc: Doc, attrs: OtherAttrs, apis: &[Api], types: &Types) -> TokenStream {
David Tolnay7db73692019-10-20 14:51:12 -040042 let mut expanded = TokenStream::new();
43 let mut hidden = TokenStream::new();
David Tolnay7db73692019-10-20 14:51:12 -040044
David Tolnay2ec14632020-05-04 00:47:10 -070045 for api in apis {
David Tolnay7db73692019-10-20 14:51:12 -040046 if let Api::RustType(ety) = api {
David Tolnay62cae8e2020-11-17 07:54:54 -080047 expanded.extend(expand_rust_type_import(ety));
David Tolnayc8361022020-08-25 21:57:53 -070048 hidden.extend(expand_rust_type_assert_sized(ety));
David Tolnay7db73692019-10-20 14:51:12 -040049 }
50 }
51
David Tolnay2ec14632020-05-04 00:47:10 -070052 for api in apis {
David Tolnay7db73692019-10-20 14:51:12 -040053 match api {
David Tolnay62cae8e2020-11-17 07:54:54 -080054 Api::Include(_) | Api::Impl(_) => {}
David Tolnayb960ed22020-11-27 14:34:30 -080055 Api::Struct(strct) => {
56 expanded.extend(expand_struct(strct));
57 hidden.extend(expand_struct_operators(strct));
58 }
Adrian Taylorc8713432020-10-21 18:20:55 -070059 Api::Enum(enm) => expanded.extend(expand_enum(enm)),
Joel Galenson905eb2e2020-05-04 14:58:14 -070060 Api::CxxType(ety) => {
David Tolnay17a934c2020-11-02 00:40:04 -080061 let ident = &ety.name.rust;
62 if !types.structs.contains_key(ident) && !types.enums.contains_key(ident) {
Adrian Taylorc8713432020-10-21 18:20:55 -070063 expanded.extend(expand_cxx_type(ety));
David Tolnay9eef6092020-11-15 17:56:41 -080064 hidden.extend(expand_cxx_type_assert_pinned(ety));
Joel Galenson905eb2e2020-05-04 14:58:14 -070065 }
66 }
David Tolnay7db73692019-10-20 14:51:12 -040067 Api::CxxFunction(efn) => {
Adrian Taylorc8713432020-10-21 18:20:55 -070068 expanded.extend(expand_cxx_function_shim(efn, types));
David Tolnay7db73692019-10-20 14:51:12 -040069 }
David Tolnay96437032020-12-26 23:06:13 -080070 Api::RustType(ety) => {
71 expanded.extend(expand_rust_type_impl(ety));
72 hidden.extend(expand_rust_type_layout(ety));
73 }
Adrian Taylorc8713432020-10-21 18:20:55 -070074 Api::RustFunction(efn) => hidden.extend(expand_rust_function_shim(efn, types)),
David Tolnay5f9e8ca2020-05-07 17:21:05 -070075 Api::TypeAlias(alias) => {
76 expanded.extend(expand_type_alias(alias));
Adrian Taylorc8713432020-10-21 18:20:55 -070077 hidden.extend(expand_type_alias_verify(alias, types));
David Tolnay5f9e8ca2020-05-07 17:21:05 -070078 }
David Tolnay7db73692019-10-20 14:51:12 -040079 }
80 }
81
82 for ty in types {
David Tolnay4c6052d2020-12-31 15:01:04 -080083 let impl_key = match ty.impl_key() {
84 Some(impl_key) => impl_key,
85 None => continue,
86 };
87 let explicit_impl = types.explicit_impls.get(&impl_key).copied();
David Tolnay7db73692019-10-20 14:51:12 -040088 if let Type::RustBox(ty) = ty {
89 if let Type::Ident(ident) = &ty.inner {
David Tolnayf33bc242020-12-04 18:27:02 -080090 if Atom::from(&ident.rust).is_none()
91 && (explicit_impl.is_some() || !types.aliases.contains_key(&ident.rust))
92 {
David Tolnayb1f0b9b2021-01-01 14:26:26 -080093 hidden.extend(expand_rust_box(ident, types, explicit_impl));
David Tolnay7db73692019-10-20 14:51:12 -040094 }
95 }
Myron Ahneba35cf2020-02-05 19:41:51 +070096 } else if let Type::RustVec(ty) = ty {
97 if let Type::Ident(ident) = &ty.inner {
David Tolnayf33bc242020-12-04 18:27:02 -080098 if Atom::from(&ident.rust).is_none()
99 && (explicit_impl.is_some() || !types.aliases.contains_key(&ident.rust))
100 {
David Tolnayb1f0b9b2021-01-01 14:26:26 -0800101 hidden.extend(expand_rust_vec(ident, types, explicit_impl));
David Tolnaya006bca2020-04-25 11:28:13 -0700102 }
Myron Ahneba35cf2020-02-05 19:41:51 +0700103 }
David Tolnay7db73692019-10-20 14:51:12 -0400104 } else if let Type::UniquePtr(ptr) = ty {
105 if let Type::Ident(ident) = &ptr.inner {
Adrian Taylorc8713432020-10-21 18:20:55 -0700106 if Atom::from(&ident.rust).is_none()
107 && (explicit_impl.is_some() || !types.aliases.contains_key(&ident.rust))
David Tolnay7e69f892020-10-03 22:20:22 -0700108 {
Adrian Taylorc8713432020-10-21 18:20:55 -0700109 expanded.extend(expand_unique_ptr(ident, types, explicit_impl));
Myron Ahneba35cf2020-02-05 19:41:51 +0700110 }
111 }
David Tolnayb3b24a12020-12-01 15:27:43 -0800112 } else if let Type::SharedPtr(ptr) = ty {
113 if let Type::Ident(ident) = &ptr.inner {
114 if Atom::from(&ident.rust).is_none()
115 && (explicit_impl.is_some() || !types.aliases.contains_key(&ident.rust))
116 {
117 expanded.extend(expand_shared_ptr(ident, types, explicit_impl));
118 }
119 }
David Tolnay215e77f2020-12-28 17:09:48 -0800120 } else if let Type::WeakPtr(ptr) = ty {
121 if let Type::Ident(ident) = &ptr.inner {
122 if Atom::from(&ident.rust).is_none()
123 && (explicit_impl.is_some() || !types.aliases.contains_key(&ident.rust))
124 {
125 expanded.extend(expand_weak_ptr(ident, types, explicit_impl));
126 }
127 }
David Tolnay4377a9e2020-04-24 15:20:26 -0700128 } else if let Type::CxxVector(ptr) = ty {
Myron Ahneba35cf2020-02-05 19:41:51 +0700129 if let Type::Ident(ident) = &ptr.inner {
Adrian Taylorc8713432020-10-21 18:20:55 -0700130 if Atom::from(&ident.rust).is_none()
131 && (explicit_impl.is_some() || !types.aliases.contains_key(&ident.rust))
David Tolnay7e69f892020-10-03 22:20:22 -0700132 {
David Tolnay17631102020-04-24 19:01:30 -0700133 // Generate impl for CxxVector<T> if T is a struct or opaque
134 // C++ type. Impl for primitives is already provided by cxx
135 // crate.
Adrian Taylorc8713432020-10-21 18:20:55 -0700136 expanded.extend(expand_cxx_vector(ident, explicit_impl, types));
David Tolnay7db73692019-10-20 14:51:12 -0400137 }
138 }
139 }
140 }
141
142 // Work around https://github.com/rust-lang/rust/issues/67851.
143 if !hidden.is_empty() {
144 expanded.extend(quote! {
145 #[doc(hidden)]
146 const _: () = {
147 #hidden
148 };
149 });
150 }
151
David Tolnay7db73692019-10-20 14:51:12 -0400152 let vis = &ffi.vis;
David Tolnaycbf3f032020-05-03 23:51:14 -0700153 let ident = &ffi.ident;
David Tolnay7db73692019-10-20 14:51:12 -0400154
David Tolnaycbf3f032020-05-03 23:51:14 -0700155 quote! {
David Tolnay41e147c2020-12-30 17:06:39 -0800156 #doc
157 #attrs
David Tolnay7db73692019-10-20 14:51:12 -0400158 #[deny(improper_ctypes)]
159 #[allow(non_snake_case)]
160 #vis mod #ident {
161 #expanded
162 }
David Tolnaycbf3f032020-05-03 23:51:14 -0700163 }
David Tolnay7db73692019-10-20 14:51:12 -0400164}
165
Adrian Taylorc8713432020-10-21 18:20:55 -0700166fn expand_struct(strct: &Struct) -> TokenStream {
David Tolnay17a934c2020-11-02 00:40:04 -0800167 let ident = &strct.name.rust;
David Tolnay7db73692019-10-20 14:51:12 -0400168 let doc = &strct.doc;
David Tolnay2b0b6582020-12-30 16:40:57 -0800169 let attrs = &strct.attrs;
David Tolnay17a934c2020-11-02 00:40:04 -0800170 let type_id = type_id(&strct.name);
David Tolnay7db73692019-10-20 14:51:12 -0400171 let fields = strct.fields.iter().map(|field| {
David Tolnayb4a05c32020-12-30 15:37:01 -0800172 let doc = &field.doc;
David Tolnay2b0b6582020-12-30 16:40:57 -0800173 let attrs = &field.attrs;
David Tolnay7db73692019-10-20 14:51:12 -0400174 // This span on the pub makes "private type in public interface" errors
175 // appear in the right place.
David Tolnay89902442020-12-30 15:10:40 -0800176 let vis = field.visibility;
David Tolnay2b0b6582020-12-30 16:40:57 -0800177 quote!(#doc #attrs #vis #field)
David Tolnay7db73692019-10-20 14:51:12 -0400178 });
David Tolnaya3619e92020-11-27 14:13:15 -0800179 let mut derives = None;
180 let derived_traits = derive::expand_struct(strct, &mut derives);
David Tolnay8684cc52020-10-07 17:09:48 -0700181
David Tolnay64343af2020-12-30 15:26:06 -0800182 let span = ident.span();
183 let visibility = strct.visibility;
184 let struct_token = strct.struct_token;
185 let struct_def = quote_spanned! {span=>
186 #visibility #struct_token #ident {
187 #(#fields,)*
188 }
189 };
190
David Tolnayd8ad9702020-11-27 12:43:59 -0800191 quote! {
David Tolnay7db73692019-10-20 14:51:12 -0400192 #doc
David Tolnay2b0b6582020-12-30 16:40:57 -0800193 #attrs
David Tolnaya3619e92020-11-27 14:13:15 -0800194 #derives
David Tolnay7db73692019-10-20 14:51:12 -0400195 #[repr(C)]
David Tolnay64343af2020-12-30 15:26:06 -0800196 #struct_def
David Tolnay8684cc52020-10-07 17:09:48 -0700197
198 unsafe impl ::cxx::ExternType for #ident {
199 type Id = #type_id;
200 type Kind = ::cxx::kind::Trivial;
201 }
David Tolnay4a0c53a2020-11-27 11:46:16 -0800202
David Tolnayd8ad9702020-11-27 12:43:59 -0800203 #derived_traits
David Tolnay7db73692019-10-20 14:51:12 -0400204 }
205}
206
David Tolnayb960ed22020-11-27 14:34:30 -0800207fn expand_struct_operators(strct: &Struct) -> TokenStream {
208 let ident = &strct.name.rust;
209 let mut operators = TokenStream::new();
210
211 for derive in &strct.derives {
212 let span = derive.span;
213 match derive.what {
David Tolnaya6f3b6f2020-11-27 16:47:30 -0800214 Trait::PartialEq => {
David Tolnaya05f9402020-11-27 17:44:05 -0800215 let link_name = mangle::operator(&strct.name, "eq");
David Tolnayec9b4ba2020-11-27 16:57:06 -0800216 let local_name = format_ident!("__operator_eq_{}", strct.name.rust);
David Tolnaya6f3b6f2020-11-27 16:47:30 -0800217 operators.extend(quote_spanned! {span=>
David Tolnayb960ed22020-11-27 14:34:30 -0800218 #[doc(hidden)]
219 #[export_name = #link_name]
David Tolnayec9b4ba2020-11-27 16:57:06 -0800220 extern "C" fn #local_name(lhs: &#ident, rhs: &#ident) -> bool {
David Tolnayb960ed22020-11-27 14:34:30 -0800221 *lhs == *rhs
222 }
David Tolnaya6f3b6f2020-11-27 16:47:30 -0800223 });
224
225 if !derive::contains(&strct.derives, Trait::Eq) {
David Tolnaya05f9402020-11-27 17:44:05 -0800226 let link_name = mangle::operator(&strct.name, "ne");
David Tolnaya6f3b6f2020-11-27 16:47:30 -0800227 let local_name = format_ident!("__operator_ne_{}", strct.name.rust);
228 operators.extend(quote_spanned! {span=>
229 #[doc(hidden)]
230 #[export_name = #link_name]
231 extern "C" fn #local_name(lhs: &#ident, rhs: &#ident) -> bool {
232 *lhs != *rhs
233 }
234 });
David Tolnayb960ed22020-11-27 14:34:30 -0800235 }
David Tolnaya6f3b6f2020-11-27 16:47:30 -0800236 }
David Tolnay84389352020-11-27 17:12:10 -0800237 Trait::PartialOrd => {
David Tolnaya05f9402020-11-27 17:44:05 -0800238 let link_name = mangle::operator(&strct.name, "lt");
David Tolnay84389352020-11-27 17:12:10 -0800239 let local_name = format_ident!("__operator_lt_{}", strct.name.rust);
240 operators.extend(quote_spanned! {span=>
241 #[doc(hidden)]
242 #[export_name = #link_name]
243 extern "C" fn #local_name(lhs: &#ident, rhs: &#ident) -> bool {
244 *lhs < *rhs
245 }
246 });
247
David Tolnaya05f9402020-11-27 17:44:05 -0800248 let link_name = mangle::operator(&strct.name, "le");
David Tolnay84389352020-11-27 17:12:10 -0800249 let local_name = format_ident!("__operator_le_{}", strct.name.rust);
250 operators.extend(quote_spanned! {span=>
251 #[doc(hidden)]
252 #[export_name = #link_name]
253 extern "C" fn #local_name(lhs: &#ident, rhs: &#ident) -> bool {
254 *lhs <= *rhs
255 }
256 });
257
258 if !derive::contains(&strct.derives, Trait::Ord) {
David Tolnaya05f9402020-11-27 17:44:05 -0800259 let link_name = mangle::operator(&strct.name, "gt");
David Tolnay84389352020-11-27 17:12:10 -0800260 let local_name = format_ident!("__operator_gt_{}", strct.name.rust);
261 operators.extend(quote_spanned! {span=>
262 #[doc(hidden)]
263 #[export_name = #link_name]
264 extern "C" fn #local_name(lhs: &#ident, rhs: &#ident) -> bool {
265 *lhs > *rhs
266 }
267 });
268
David Tolnaya05f9402020-11-27 17:44:05 -0800269 let link_name = mangle::operator(&strct.name, "ge");
David Tolnay84389352020-11-27 17:12:10 -0800270 let local_name = format_ident!("__operator_ge_{}", strct.name.rust);
271 operators.extend(quote_spanned! {span=>
272 #[doc(hidden)]
273 #[export_name = #link_name]
274 extern "C" fn #local_name(lhs: &#ident, rhs: &#ident) -> bool {
275 *lhs >= *rhs
276 }
277 });
278 }
279 }
David Tolnay7da38202020-11-27 17:36:16 -0800280 Trait::Hash => {
281 let link_name = mangle::operator(&strct.name, "hash");
282 let local_name = format_ident!("__operator_hash_{}", strct.name.rust);
283 operators.extend(quote_spanned! {span=>
284 #[doc(hidden)]
285 #[export_name = #link_name]
David Tolnayd717e8a2020-12-29 15:40:27 -0800286 #[allow(clippy::cast_possible_truncation)]
David Tolnay7da38202020-11-27 17:36:16 -0800287 extern "C" fn #local_name(this: &#ident) -> usize {
288 let mut hasher = ::std::collections::hash_map::DefaultHasher::new();
289 ::std::hash::Hash::hash(this, &mut hasher);
290 ::std::hash::Hasher::finish(&hasher) as usize
291 }
292 });
293 }
David Tolnayb960ed22020-11-27 14:34:30 -0800294 _ => {}
295 }
296 }
297
298 operators
299}
300
Adrian Taylorc8713432020-10-21 18:20:55 -0700301fn expand_enum(enm: &Enum) -> TokenStream {
David Tolnay17a934c2020-11-02 00:40:04 -0800302 let ident = &enm.name.rust;
Joel Galensonc03402a2020-04-23 17:31:09 -0700303 let doc = &enm.doc;
David Tolnay2b0b6582020-12-30 16:40:57 -0800304 let attrs = &enm.attrs;
David Tolnayc605e6f2020-05-10 23:37:12 -0700305 let repr = enm.repr;
David Tolnay17a934c2020-11-02 00:40:04 -0800306 let type_id = type_id(&enm.name);
Joel Galenson88547732020-05-05 08:23:42 -0700307 let variants = enm.variants.iter().map(|variant| {
David Tolnay4486f722020-12-30 00:01:26 -0800308 let doc = &variant.doc;
David Tolnay2b0b6582020-12-30 16:40:57 -0800309 let attrs = &variant.attrs;
David Tolnaye6f62142020-12-21 16:00:41 -0800310 let variant_ident = &variant.name.rust;
Joel Galenson88547732020-05-05 08:23:42 -0700311 let discriminant = &variant.discriminant;
David Tolnaye563fd92020-12-30 17:21:52 -0800312 let span = variant_ident.span();
313 Some(quote_spanned! {span=>
David Tolnay4486f722020-12-30 00:01:26 -0800314 #doc
David Tolnay2b0b6582020-12-30 16:40:57 -0800315 #attrs
Joel Galenson88547732020-05-05 08:23:42 -0700316 pub const #variant_ident: Self = #ident { repr: #discriminant };
317 })
318 });
David Tolnayb3d7bb12020-11-27 14:11:41 -0800319 let mut derives = None;
320 let derived_traits = derive::expand_enum(enm, &mut derives);
David Tolnay8684cc52020-10-07 17:09:48 -0700321
David Tolnay8fbaea82020-12-30 17:15:46 -0800322 let span = ident.span();
323 let visibility = enm.visibility;
324 let struct_token = Token![struct](enm.enum_token.span);
325 let enum_repr = quote! {
326 #[allow(missing_docs)]
327 pub repr: #repr,
328 };
329 let enum_def = quote_spanned! {span=>
330 #visibility #struct_token #ident {
331 #enum_repr
332 }
333 };
334
Joel Galensonc03402a2020-04-23 17:31:09 -0700335 quote! {
336 #doc
David Tolnay2b0b6582020-12-30 16:40:57 -0800337 #attrs
David Tolnay05213732020-11-27 12:52:10 -0800338 #derives
Joel Galensonc03402a2020-04-23 17:31:09 -0700339 #[repr(transparent)]
David Tolnay8fbaea82020-12-30 17:15:46 -0800340 #enum_def
Joel Galensonc03402a2020-04-23 17:31:09 -0700341
342 #[allow(non_upper_case_globals)]
343 impl #ident {
David Tolnayd7984c22020-04-30 20:09:31 -0700344 #(#variants)*
Joel Galensonc03402a2020-04-23 17:31:09 -0700345 }
David Tolnay8684cc52020-10-07 17:09:48 -0700346
347 unsafe impl ::cxx::ExternType for #ident {
348 type Id = #type_id;
349 type Kind = ::cxx::kind::Trivial;
350 }
David Tolnay4a0c53a2020-11-27 11:46:16 -0800351
David Tolnayfbc46692020-11-27 11:33:29 -0800352 #derived_traits
Joel Galensonc03402a2020-04-23 17:31:09 -0700353 }
354}
355
Adrian Taylorc8713432020-10-21 18:20:55 -0700356fn expand_cxx_type(ety: &ExternType) -> TokenStream {
David Tolnay17a934c2020-11-02 00:40:04 -0800357 let ident = &ety.name.rust;
David Tolnay7db73692019-10-20 14:51:12 -0400358 let doc = &ety.doc;
David Tolnay2b0b6582020-12-30 16:40:57 -0800359 let attrs = &ety.attrs;
David Tolnay8c80de72020-12-28 22:13:34 -0800360 let generics = &ety.generics;
David Tolnay17a934c2020-11-02 00:40:04 -0800361 let type_id = type_id(&ety.name);
David Tolnay5f9e8ca2020-05-07 17:21:05 -0700362
David Tolnay8c80de72020-12-28 22:13:34 -0800363 let lifetime_fields = ety.generics.lifetimes.iter().map(|lifetime| {
364 let field = format_ident!("_lifetime_{}", lifetime.ident);
365 quote!(#field: ::std::marker::PhantomData<&#lifetime ()>)
366 });
David Tolnay524ff682020-12-30 17:25:38 -0800367 let repr_fields = quote! {
368 _private: ::cxx::private::Opaque,
369 #(#lifetime_fields,)*
370 };
371
372 let span = ident.span();
373 let visibility = &ety.visibility;
374 let struct_token = Token![struct](ety.type_token.span);
375 let extern_type_def = quote_spanned! {span=>
376 #visibility #struct_token #ident #generics {
377 #repr_fields
378 }
379 };
David Tolnay8c80de72020-12-28 22:13:34 -0800380
David Tolnay7db73692019-10-20 14:51:12 -0400381 quote! {
382 #doc
David Tolnay2b0b6582020-12-30 16:40:57 -0800383 #attrs
David Tolnay7db73692019-10-20 14:51:12 -0400384 #[repr(C)]
David Tolnay524ff682020-12-30 17:25:38 -0800385 #extern_type_def
David Tolnay5f9e8ca2020-05-07 17:21:05 -0700386
David Tolnay8c80de72020-12-28 22:13:34 -0800387 unsafe impl #generics ::cxx::ExternType for #ident #generics {
David Tolnay5f9e8ca2020-05-07 17:21:05 -0700388 type Id = #type_id;
David Tolnay38f5ad62020-10-03 18:06:44 -0700389 type Kind = ::cxx::kind::Opaque;
David Tolnay5f9e8ca2020-05-07 17:21:05 -0700390 }
David Tolnay7db73692019-10-20 14:51:12 -0400391 }
392}
393
David Tolnay9eef6092020-11-15 17:56:41 -0800394fn expand_cxx_type_assert_pinned(ety: &ExternType) -> TokenStream {
395 let ident = &ety.name.rust;
396 let infer = Token![_](ident.span());
397
398 quote! {
399 let _ = {
400 // Derived from https://github.com/nvzqz/static-assertions-rs.
401 trait __AmbiguousIfImpl<A> {
402 fn infer() {}
403 }
404
David Tolnayd9317eb2020-12-26 23:30:38 -0800405 impl<T> __AmbiguousIfImpl<()> for T
406 where
407 T: ?::std::marker::Sized
408 {}
David Tolnay9eef6092020-11-15 17:56:41 -0800409
410 #[allow(dead_code)]
411 struct __Invalid;
412
David Tolnayd9317eb2020-12-26 23:30:38 -0800413 impl<T> __AmbiguousIfImpl<__Invalid> for T
414 where
415 T: ?::std::marker::Sized + ::std::marker::Unpin,
416 {}
David Tolnay9eef6092020-11-15 17:56:41 -0800417
418 // If there is only one specialized trait impl, type inference with
419 // `_` can be resolved and this can compile. Fails to compile if
420 // user has added a manual Unpin impl for their opaque C++ type as
421 // then `__AmbiguousIfImpl<__Invalid>` also exists.
422 <#ident as __AmbiguousIfImpl<#infer>>::infer
423 };
424 }
425}
426
Adrian Taylorc8713432020-10-21 18:20:55 -0700427fn expand_cxx_function_decl(efn: &ExternFn, types: &Types) -> TokenStream {
David Tolnay9938b642020-11-15 18:11:40 -0800428 let generics = &efn.generics;
David Tolnay18ba92c2020-04-22 16:17:30 -0700429 let receiver = efn.receiver.iter().map(|receiver| {
430 let receiver_type = receiver.ty();
431 quote!(_: #receiver_type)
432 });
David Tolnay39d575f2020-03-03 00:10:56 -0800433 let args = efn.args.iter().map(|arg| {
434 let ident = &arg.ident;
David Tolnay2f090422020-11-02 18:25:35 -0800435 let ty = expand_extern_type(&arg.ty, types, true);
David Tolnaya46a2372020-03-06 10:03:48 -0800436 if arg.ty == RustString {
437 quote!(#ident: *const #ty)
David Tolnay313b10e2020-04-25 16:30:51 -0700438 } else if let Type::RustVec(_) = arg.ty {
439 quote!(#ident: *const #ty)
David Tolnay75dca2e2020-03-25 20:17:52 -0700440 } else if let Type::Fn(_) = arg.ty {
441 quote!(#ident: ::cxx::private::FatFunction)
David Tolnaya46a2372020-03-06 10:03:48 -0800442 } else if types.needs_indirect_abi(&arg.ty) {
David Tolnay39d575f2020-03-03 00:10:56 -0800443 quote!(#ident: *mut #ty)
444 } else {
445 quote!(#ident: #ty)
446 }
447 });
Joel Galenson3d4f6122020-04-07 15:54:05 -0700448 let all_args = receiver.chain(args);
David Tolnayebef4a22020-03-17 15:33:47 -0700449 let ret = if efn.throws {
450 quote!(-> ::cxx::private::Result)
451 } else {
David Tolnay2f090422020-11-02 18:25:35 -0800452 expand_extern_return_type(&efn.ret, types, true)
David Tolnayebef4a22020-03-17 15:33:47 -0700453 };
David Tolnay7db73692019-10-20 14:51:12 -0400454 let mut outparam = None;
David Tolnay1e548172020-03-16 13:37:09 -0700455 if indirect_return(efn, types) {
David Tolnay2f090422020-11-02 18:25:35 -0800456 let ret = expand_extern_type(efn.ret.as_ref().unwrap(), types, true);
David Tolnay7db73692019-10-20 14:51:12 -0400457 outparam = Some(quote!(__return: *mut #ret));
458 }
Adrian Taylorc8713432020-10-21 18:20:55 -0700459 let link_name = mangle::extern_fn(efn, types);
David Tolnay17a934c2020-11-02 00:40:04 -0800460 let local_name = format_ident!("__{}", efn.name.rust);
David Tolnay7db73692019-10-20 14:51:12 -0400461 quote! {
462 #[link_name = #link_name]
David Tolnay9938b642020-11-15 18:11:40 -0800463 fn #local_name #generics(#(#all_args,)* #outparam) #ret;
David Tolnay7db73692019-10-20 14:51:12 -0400464 }
465}
466
Adrian Taylorc8713432020-10-21 18:20:55 -0700467fn expand_cxx_function_shim(efn: &ExternFn, types: &Types) -> TokenStream {
David Tolnay7db73692019-10-20 14:51:12 -0400468 let doc = &efn.doc;
David Tolnay2b0b6582020-12-30 16:40:57 -0800469 let attrs = &efn.attrs;
Adrian Taylorc8713432020-10-21 18:20:55 -0700470 let decl = expand_cxx_function_decl(efn, types);
David Tolnayfb6e3862020-04-20 01:33:23 -0700471 let receiver = efn.receiver.iter().map(|receiver| {
David Tolnayf9ffb932020-04-20 02:22:57 -0700472 let var = receiver.var;
David Tolnayc9673842020-11-15 16:26:10 -0800473 if receiver.pinned {
474 let ty = receiver.ty();
475 quote!(#var: #ty)
476 } else {
477 let ampersand = receiver.ampersand;
David Tolnay9938b642020-11-15 18:11:40 -0800478 let lifetime = &receiver.lifetime;
David Tolnayc9673842020-11-15 16:26:10 -0800479 let mutability = receiver.mutability;
David Tolnay9938b642020-11-15 18:11:40 -0800480 quote!(#ampersand #lifetime #mutability #var)
David Tolnayc9673842020-11-15 16:26:10 -0800481 }
David Tolnayfb6e3862020-04-20 01:33:23 -0700482 });
Joel Galenson3d4f6122020-04-07 15:54:05 -0700483 let args = efn.args.iter().map(|arg| quote!(#arg));
484 let all_args = receiver.chain(args);
David Tolnayebef4a22020-03-17 15:33:47 -0700485 let ret = if efn.throws {
486 let ok = match &efn.ret {
487 Some(ret) => quote!(#ret),
488 None => quote!(()),
489 };
490 quote!(-> ::std::result::Result<#ok, ::cxx::Exception>)
491 } else {
492 expand_return_type(&efn.ret)
493 };
David Tolnay1e548172020-03-16 13:37:09 -0700494 let indirect_return = indirect_return(efn, types);
David Tolnayf9ffb932020-04-20 02:22:57 -0700495 let receiver_var = efn
496 .receiver
497 .iter()
498 .map(|receiver| receiver.var.to_token_stream());
Joel Galenson3d4f6122020-04-07 15:54:05 -0700499 let arg_vars = efn.args.iter().map(|arg| {
David Tolnay7db73692019-10-20 14:51:12 -0400500 let var = &arg.ident;
501 match &arg.ty {
Adrian Taylorc8713432020-10-21 18:20:55 -0700502 Type::Ident(ident) if ident.rust == RustString => {
David Tolnaya46a2372020-03-06 10:03:48 -0800503 quote!(#var.as_mut_ptr() as *const ::cxx::private::RustString)
David Tolnay7db73692019-10-20 14:51:12 -0400504 }
505 Type::RustBox(_) => quote!(::std::boxed::Box::into_raw(#var)),
David Tolnaybf7ae812020-11-16 23:31:45 -0800506 Type::UniquePtr(_) => quote!(::cxx::UniquePtr::into_raw(#var)),
David Tolnay313b10e2020-04-25 16:30:51 -0700507 Type::RustVec(_) => quote!(#var.as_mut_ptr() as *const ::cxx::private::RustVec<_>),
David Tolnay7db73692019-10-20 14:51:12 -0400508 Type::Ref(ty) => match &ty.inner {
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800509 Type::Ident(ident) if ident.rust == RustString => match ty.mutable {
510 false => quote!(::cxx::private::RustString::from_ref(#var)),
511 true => quote!(::cxx::private::RustString::from_mut(#var)),
David Tolnayf1c7f322020-08-27 00:46:01 -0700512 },
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800513 Type::RustVec(vec) if vec.inner == RustString => match ty.mutable {
514 false => quote!(::cxx::private::RustVec::from_ref_vec_string(#var)),
515 true => quote!(::cxx::private::RustVec::from_mut_vec_string(#var)),
David Tolnay33f56ad2020-08-27 17:06:35 -0700516 },
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800517 Type::RustVec(_) => match ty.mutable {
518 false => quote!(::cxx::private::RustVec::from_ref(#var)),
519 true => quote!(::cxx::private::RustVec::from_mut(#var)),
David Tolnayf1c7f322020-08-27 00:46:01 -0700520 },
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800521 inner if types.is_considered_improper_ctype(inner) => match ty.mutable {
522 false => quote!(#var as *const #inner as *const ::std::ffi::c_void),
523 true => quote!(#var as *mut #inner as *mut ::std::ffi::c_void),
David Tolnay4cb97672020-11-02 16:13:34 -0800524 },
David Tolnay7db73692019-10-20 14:51:12 -0400525 _ => quote!(#var),
526 },
527 Type::Str(_) => quote!(::cxx::private::RustStr::from(#var)),
David Tolnay73b72642020-11-25 17:44:05 -0800528 Type::SliceRef(ty) => match ty.mutable {
David Tolnay5515a9e2020-11-25 19:07:54 -0800529 false => quote!(::cxx::private::RustSlice::from_ref(#var)),
530 true => quote!(::cxx::private::RustSlice::from_mut(#var)),
David Tolnayc5629f02020-11-23 18:32:46 -0800531 },
David Tolnay7db73692019-10-20 14:51:12 -0400532 ty if types.needs_indirect_abi(ty) => quote!(#var.as_mut_ptr()),
533 _ => quote!(#var),
534 }
535 });
Joel Galenson3d4f6122020-04-07 15:54:05 -0700536 let vars = receiver_var.chain(arg_vars);
David Tolnay75dca2e2020-03-25 20:17:52 -0700537 let trampolines = efn
538 .args
539 .iter()
540 .filter_map(|arg| {
541 if let Type::Fn(f) = &arg.ty {
542 let var = &arg.ident;
Adrian Taylorc8713432020-10-21 18:20:55 -0700543 Some(expand_function_pointer_trampoline(efn, var, f, types))
David Tolnay75dca2e2020-03-25 20:17:52 -0700544 } else {
545 None
546 }
547 })
548 .collect::<TokenStream>();
David Tolnay7db73692019-10-20 14:51:12 -0400549 let mut setup = efn
550 .args
551 .iter()
552 .filter(|arg| types.needs_indirect_abi(&arg.ty))
553 .map(|arg| {
554 let var = &arg.ident;
555 // These are arguments for which C++ has taken ownership of the data
556 // behind the mut reference it received.
557 quote! {
David Tolnaycb4ee4b2020-04-24 11:28:08 -0700558 let mut #var = ::std::mem::MaybeUninit::new(#var);
David Tolnay7db73692019-10-20 14:51:12 -0400559 }
560 })
561 .collect::<TokenStream>();
David Tolnay17a934c2020-11-02 00:40:04 -0800562 let local_name = format_ident!("__{}", efn.name.rust);
David Tolnay7db73692019-10-20 14:51:12 -0400563 let call = if indirect_return {
David Tolnay2f090422020-11-02 18:25:35 -0800564 let ret = expand_extern_type(efn.ret.as_ref().unwrap(), types, true);
David Tolnay7db73692019-10-20 14:51:12 -0400565 setup.extend(quote! {
566 let mut __return = ::std::mem::MaybeUninit::<#ret>::uninit();
David Tolnay7db73692019-10-20 14:51:12 -0400567 });
David Tolnay0d524852020-11-02 17:21:50 -0800568 setup.extend(if efn.throws {
569 quote! {
David Tolnayebef4a22020-03-17 15:33:47 -0700570 #local_name(#(#vars,)* __return.as_mut_ptr()).exception()?;
David Tolnay0d524852020-11-02 17:21:50 -0800571 }
David Tolnayebef4a22020-03-17 15:33:47 -0700572 } else {
David Tolnay0d524852020-11-02 17:21:50 -0800573 quote! {
David Tolnayebef4a22020-03-17 15:33:47 -0700574 #local_name(#(#vars,)* __return.as_mut_ptr());
David Tolnay0d524852020-11-02 17:21:50 -0800575 }
576 });
577 quote!(__return.assume_init())
David Tolnayebef4a22020-03-17 15:33:47 -0700578 } else if efn.throws {
David Tolnay7db73692019-10-20 14:51:12 -0400579 quote! {
David Tolnayebef4a22020-03-17 15:33:47 -0700580 #local_name(#(#vars),*).exception()
David Tolnay7db73692019-10-20 14:51:12 -0400581 }
582 } else {
583 quote! {
584 #local_name(#(#vars),*)
585 }
586 };
David Tolnay2debdb22020-11-02 17:14:53 -0800587 let mut expr;
588 if efn.throws && efn.sig.ret.is_none() {
589 expr = call;
Myron Ahn84849302020-03-25 22:00:58 +0700590 } else {
David Tolnay0d524852020-11-02 17:21:50 -0800591 expr = match &efn.ret {
592 None => call,
593 Some(ret) => match ret {
594 Type::Ident(ident) if ident.rust == RustString => quote!(#call.into_string()),
595 Type::RustBox(_) => quote!(::std::boxed::Box::from_raw(#call)),
David Tolnaya1f02e52020-11-02 17:10:54 -0800596 Type::RustVec(vec) => {
597 if vec.inner == RustString {
David Tolnay0d524852020-11-02 17:21:50 -0800598 quote!(#call.into_vec_string())
David Tolnaya1f02e52020-11-02 17:10:54 -0800599 } else {
David Tolnay0d524852020-11-02 17:21:50 -0800600 quote!(#call.into_vec())
David Tolnaya1f02e52020-11-02 17:10:54 -0800601 }
David Tolnay33f56ad2020-08-27 17:06:35 -0700602 }
David Tolnaybf7ae812020-11-16 23:31:45 -0800603 Type::UniquePtr(_) => quote!(::cxx::UniquePtr::from_raw(#call)),
David Tolnaya1f02e52020-11-02 17:10:54 -0800604 Type::Ref(ty) => match &ty.inner {
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800605 Type::Ident(ident) if ident.rust == RustString => match ty.mutable {
606 false => quote!(#call.as_string()),
607 true => quote!(#call.as_mut_string()),
David Tolnaya1f02e52020-11-02 17:10:54 -0800608 },
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800609 Type::RustVec(vec) if vec.inner == RustString => match ty.mutable {
610 false => quote!(#call.as_vec_string()),
611 true => quote!(#call.as_mut_vec_string()),
David Tolnaya1f02e52020-11-02 17:10:54 -0800612 },
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800613 Type::RustVec(_) => match ty.mutable {
614 false => quote!(#call.as_vec()),
615 true => quote!(#call.as_mut_vec()),
David Tolnaya1f02e52020-11-02 17:10:54 -0800616 },
David Tolnay4cb97672020-11-02 16:13:34 -0800617 inner if types.is_considered_improper_ctype(inner) => {
618 let mutability = ty.mutability;
619 quote!(&#mutability *#call.cast())
620 }
David Tolnay0d524852020-11-02 17:21:50 -0800621 _ => call,
David Tolnayf1c7f322020-08-27 00:46:01 -0700622 },
David Tolnay0d524852020-11-02 17:21:50 -0800623 Type::Str(_) => quote!(#call.as_str()),
David Tolnay5515a9e2020-11-25 19:07:54 -0800624 Type::SliceRef(slice) => {
625 let inner = &slice.inner;
626 match slice.mutable {
627 false => quote!(#call.as_slice::<#inner>()),
628 true => quote!(#call.as_mut_slice::<#inner>()),
629 }
630 }
David Tolnay0d524852020-11-02 17:21:50 -0800631 _ => call,
632 },
633 };
David Tolnay2debdb22020-11-02 17:14:53 -0800634 if efn.throws {
635 expr = quote!(::std::result::Result::Ok(#expr));
636 }
David Tolnaya1f02e52020-11-02 17:10:54 -0800637 };
David Tolnaye67bcf52020-09-06 23:50:44 -0700638 let mut dispatch = quote!(#setup #expr);
David Tolnay49f9df72020-12-30 18:02:38 -0800639 let visibility = efn.visibility;
David Tolnaye67bcf52020-09-06 23:50:44 -0700640 let unsafety = &efn.sig.unsafety;
641 if unsafety.is_none() {
642 dispatch = quote!(unsafe { #dispatch });
643 }
David Tolnay49f9df72020-12-30 18:02:38 -0800644 let fn_token = efn.sig.fn_token;
David Tolnay17a934c2020-11-02 00:40:04 -0800645 let ident = &efn.name.rust;
David Tolnay9938b642020-11-15 18:11:40 -0800646 let generics = &efn.generics;
David Tolnay49f9df72020-12-30 18:02:38 -0800647 let arg_list = quote_spanned!(efn.sig.paren_token.span=> (#(#all_args,)*));
648 let fn_body = quote_spanned!(efn.semi_token.span=> {
649 extern "C" {
650 #decl
651 }
652 #trampolines
653 #dispatch
654 });
David Tolnayc66cdbb2020-04-20 01:41:15 -0700655 let function_shim = quote! {
656 #doc
David Tolnay2b0b6582020-12-30 16:40:57 -0800657 #attrs
David Tolnay49f9df72020-12-30 18:02:38 -0800658 #visibility #unsafety #fn_token #ident #generics #arg_list #ret #fn_body
David Tolnayc66cdbb2020-04-20 01:41:15 -0700659 };
660 match &efn.receiver {
661 None => function_shim,
662 Some(receiver) => {
David Tolnay05e11cc2020-04-20 02:13:56 -0700663 let receiver_type = &receiver.ty;
David Tolnayc66cdbb2020-04-20 01:41:15 -0700664 quote!(impl #receiver_type { #function_shim })
665 }
David Tolnay7db73692019-10-20 14:51:12 -0400666 }
667}
668
David Tolnay75dca2e2020-03-25 20:17:52 -0700669fn expand_function_pointer_trampoline(
David Tolnay75dca2e2020-03-25 20:17:52 -0700670 efn: &ExternFn,
671 var: &Ident,
672 sig: &Signature,
673 types: &Types,
674) -> TokenStream {
Adrian Taylorc8713432020-10-21 18:20:55 -0700675 let c_trampoline = mangle::c_trampoline(efn, var, types);
676 let r_trampoline = mangle::r_trampoline(efn, var, types);
David Tolnay75dca2e2020-03-25 20:17:52 -0700677 let local_name = parse_quote!(__);
David Tolnay17a934c2020-11-02 00:40:04 -0800678 let catch_unwind_label = format!("::{}::{}", efn.name.rust, var);
David Tolnay75dca2e2020-03-25 20:17:52 -0700679 let shim = expand_rust_function_shim_impl(
680 sig,
681 types,
682 &r_trampoline,
683 local_name,
684 catch_unwind_label,
685 None,
686 );
687
688 quote! {
689 let #var = ::cxx::private::FatFunction {
690 trampoline: {
691 extern "C" {
692 #[link_name = #c_trampoline]
693 fn trampoline();
694 }
695 #shim
696 trampoline as usize as *const ()
697 },
698 ptr: #var as usize as *const (),
699 };
700 }
701}
702
David Tolnay62cae8e2020-11-17 07:54:54 -0800703fn expand_rust_type_import(ety: &ExternType) -> TokenStream {
David Tolnay17a934c2020-11-02 00:40:04 -0800704 let ident = &ety.name.rust;
David Tolnay62cae8e2020-11-17 07:54:54 -0800705 let span = ident.span();
706
707 quote_spanned! {span=>
David Tolnay7db73692019-10-20 14:51:12 -0400708 use super::#ident;
709 }
710}
711
David Tolnay62cae8e2020-11-17 07:54:54 -0800712fn expand_rust_type_impl(ety: &ExternType) -> TokenStream {
713 let ident = &ety.name.rust;
714 let span = ident.span();
715 let unsafe_impl = quote_spanned!(ety.type_token.span=> unsafe impl);
716
David Tolnay16e26202020-11-27 19:28:37 -0800717 let mut impls = quote_spanned! {span=>
David Tolnay62cae8e2020-11-17 07:54:54 -0800718 #unsafe_impl ::cxx::private::RustType for #ident {}
David Tolnay16e26202020-11-27 19:28:37 -0800719 };
720
721 for derive in &ety.derives {
722 if derive.what == Trait::ExternType {
723 let type_id = type_id(&ety.name);
724 let span = derive.span;
725 impls.extend(quote_spanned! {span=>
726 unsafe impl ::cxx::ExternType for #ident {
727 type Id = #type_id;
728 type Kind = ::cxx::kind::Opaque;
729 }
730 });
731 }
David Tolnay62cae8e2020-11-17 07:54:54 -0800732 }
David Tolnay16e26202020-11-27 19:28:37 -0800733
734 impls
David Tolnay62cae8e2020-11-17 07:54:54 -0800735}
736
David Tolnayc8361022020-08-25 21:57:53 -0700737fn expand_rust_type_assert_sized(ety: &ExternType) -> TokenStream {
738 // Rustc will render as follows if not sized:
739 //
740 // type TheirType;
741 // -----^^^^^^^^^-
742 // | |
743 // | doesn't have a size known at compile-time
744 // required by this bound in `ffi::_::__AssertSized`
745
David Tolnay17a934c2020-11-02 00:40:04 -0800746 let ident = &ety.name.rust;
David Tolnayc8361022020-08-25 21:57:53 -0700747 let begin_span = Token![::](ety.type_token.span);
David Tolnay20fa62b2020-11-15 17:34:05 -0800748 let unpin = quote_spanned! {ety.semi_token.span=>
749 #begin_span std::marker::Unpin
750 };
David Tolnay17a934c2020-11-02 00:40:04 -0800751 quote_spanned! {ident.span()=>
David Tolnayc8361022020-08-25 21:57:53 -0700752 let _ = {
David Tolnay0aa9d202020-12-26 23:24:45 -0800753 fn __AssertUnpin<T: ?::std::marker::Sized + #unpin>() {}
754 __AssertUnpin::<#ident>
David Tolnayc8361022020-08-25 21:57:53 -0700755 };
756 }
757}
758
David Tolnay96437032020-12-26 23:06:13 -0800759fn expand_rust_type_layout(ety: &ExternType) -> TokenStream {
760 let ident = &ety.name.rust;
David Tolnay0aa9d202020-12-26 23:24:45 -0800761 let begin_span = Token![::](ety.type_token.span);
762 let sized = quote_spanned! {ety.semi_token.span=>
763 #begin_span std::marker::Sized
764 };
David Tolnay96437032020-12-26 23:06:13 -0800765
766 let link_sizeof = mangle::operator(&ety.name, "sizeof");
767 let link_alignof = mangle::operator(&ety.name, "alignof");
768
769 let local_sizeof = format_ident!("__sizeof_{}", ety.name.rust);
770 let local_alignof = format_ident!("__alignof_{}", ety.name.rust);
771
David Tolnay0aa9d202020-12-26 23:24:45 -0800772 quote_spanned! {ident.span()=>
773 {
774 #[doc(hidden)]
775 fn __AssertSized<T: ?#sized + #sized>() -> ::std::alloc::Layout {
776 ::std::alloc::Layout::new::<T>()
777 }
778 #[doc(hidden)]
779 #[export_name = #link_sizeof]
780 extern "C" fn #local_sizeof() -> usize {
781 __AssertSized::<#ident>().size()
782 }
783 #[doc(hidden)]
784 #[export_name = #link_alignof]
785 extern "C" fn #local_alignof() -> usize {
786 __AssertSized::<#ident>().align()
787 }
David Tolnay96437032020-12-26 23:06:13 -0800788 }
789 }
790}
791
Adrian Taylorc8713432020-10-21 18:20:55 -0700792fn expand_rust_function_shim(efn: &ExternFn, types: &Types) -> TokenStream {
793 let link_name = mangle::extern_fn(efn, types);
David Tolnay1dcd53e2020-11-29 14:46:55 -0800794 let local_name = match &efn.receiver {
795 None => format_ident!("__{}", efn.name.rust),
796 Some(receiver) => format_ident!("__{}__{}", receiver.ty.rust, efn.name.rust),
797 };
798 let catch_unwind_label = match &efn.receiver {
799 None => format!("::{}", efn.name.rust),
800 Some(receiver) => format!("::{}::{}", receiver.ty.rust, efn.name.rust),
801 };
David Tolnay17a934c2020-11-02 00:40:04 -0800802 let invoke = Some(&efn.name.rust);
David Tolnay75dca2e2020-03-25 20:17:52 -0700803 expand_rust_function_shim_impl(
804 efn,
805 types,
806 &link_name,
807 local_name,
808 catch_unwind_label,
809 invoke,
810 )
811}
812
813fn expand_rust_function_shim_impl(
814 sig: &Signature,
815 types: &Types,
David Tolnay891061b2020-04-19 22:42:33 -0700816 link_name: &Symbol,
David Tolnay75dca2e2020-03-25 20:17:52 -0700817 local_name: Ident,
818 catch_unwind_label: String,
819 invoke: Option<&Ident>,
820) -> TokenStream {
David Tolnay9938b642020-11-15 18:11:40 -0800821 let generics = &sig.generics;
David Tolnayf9ffb932020-04-20 02:22:57 -0700822 let receiver_var = sig
823 .receiver
824 .as_ref()
825 .map(|receiver| quote_spanned!(receiver.var.span=> __self));
David Tolnay18ba92c2020-04-22 16:17:30 -0700826 let receiver = sig.receiver.as_ref().map(|receiver| {
827 let receiver_type = receiver.ty();
828 quote!(#receiver_var: #receiver_type)
829 });
David Tolnay75dca2e2020-03-25 20:17:52 -0700830 let args = sig.args.iter().map(|arg| {
David Tolnay39d575f2020-03-03 00:10:56 -0800831 let ident = &arg.ident;
David Tolnay2f090422020-11-02 18:25:35 -0800832 let ty = expand_extern_type(&arg.ty, types, false);
David Tolnay39d575f2020-03-03 00:10:56 -0800833 if types.needs_indirect_abi(&arg.ty) {
834 quote!(#ident: *mut #ty)
835 } else {
836 quote!(#ident: #ty)
837 }
838 });
David Tolnayf9ffb932020-04-20 02:22:57 -0700839 let all_args = receiver.into_iter().chain(args);
David Tolnay75dca2e2020-03-25 20:17:52 -0700840
David Tolnay3a45f2d2020-04-20 01:51:12 -0700841 let arg_vars = sig.args.iter().map(|arg| {
David Tolnay7db73692019-10-20 14:51:12 -0400842 let ident = &arg.ident;
David Tolnay17955e22020-01-20 17:58:24 -0800843 match &arg.ty {
Adrian Taylorc8713432020-10-21 18:20:55 -0700844 Type::Ident(i) if i.rust == RustString => {
David Tolnaycc3767f2020-03-06 10:41:51 -0800845 quote!(::std::mem::take((*#ident).as_mut_string()))
846 }
David Tolnay40226ab2020-03-03 00:05:35 -0800847 Type::RustBox(_) => quote!(::std::boxed::Box::from_raw(#ident)),
David Tolnay33f56ad2020-08-27 17:06:35 -0700848 Type::RustVec(vec) => {
849 if vec.inner == RustString {
850 quote!(::std::mem::take((*#ident).as_mut_vec_string()))
851 } else {
852 quote!(::std::mem::take((*#ident).as_mut_vec()))
853 }
854 }
David Tolnaybf7ae812020-11-16 23:31:45 -0800855 Type::UniquePtr(_) => quote!(::cxx::UniquePtr::from_raw(#ident)),
David Tolnay17955e22020-01-20 17:58:24 -0800856 Type::Ref(ty) => match &ty.inner {
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800857 Type::Ident(i) if i.rust == RustString => match ty.mutable {
858 false => quote!(#ident.as_string()),
859 true => quote!(#ident.as_mut_string()),
David Tolnayf1c7f322020-08-27 00:46:01 -0700860 },
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800861 Type::RustVec(vec) if vec.inner == RustString => match ty.mutable {
862 false => quote!(#ident.as_vec_string()),
863 true => quote!(#ident.as_mut_vec_string()),
David Tolnay33f56ad2020-08-27 17:06:35 -0700864 },
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800865 Type::RustVec(_) => match ty.mutable {
866 false => quote!(#ident.as_vec()),
867 true => quote!(#ident.as_mut_vec()),
David Tolnayf1c7f322020-08-27 00:46:01 -0700868 },
David Tolnay40226ab2020-03-03 00:05:35 -0800869 _ => quote!(#ident),
David Tolnay17955e22020-01-20 17:58:24 -0800870 },
David Tolnay40226ab2020-03-03 00:05:35 -0800871 Type::Str(_) => quote!(#ident.as_str()),
David Tolnay5515a9e2020-11-25 19:07:54 -0800872 Type::SliceRef(slice) => {
873 let inner = &slice.inner;
874 match slice.mutable {
875 false => quote!(#ident.as_slice::<#inner>()),
876 true => quote!(#ident.as_mut_slice::<#inner>()),
877 }
878 }
David Tolnay40226ab2020-03-03 00:05:35 -0800879 ty if types.needs_indirect_abi(ty) => quote!(::std::ptr::read(#ident)),
880 _ => quote!(#ident),
David Tolnay7db73692019-10-20 14:51:12 -0400881 }
882 });
David Tolnayf9ffb932020-04-20 02:22:57 -0700883 let vars = receiver_var.into_iter().chain(arg_vars);
David Tolnay75dca2e2020-03-25 20:17:52 -0700884
David Tolnay26219462020-11-09 19:47:28 -0800885 let wrap_super = invoke.map(|invoke| expand_rust_function_shim_super(sig, &local_name, invoke));
886
David Tolnay75dca2e2020-03-25 20:17:52 -0700887 let mut call = match invoke {
David Tolnay26219462020-11-09 19:47:28 -0800888 Some(_) => quote!(#local_name),
David Tolnayb8ebeb02020-10-31 23:52:06 -0700889 None => quote!(::std::mem::transmute::<*const (), #sig>(__extern)),
David Tolnay75dca2e2020-03-25 20:17:52 -0700890 };
891 call.extend(quote! { (#(#vars),*) });
892
David Tolnay22602b42020-09-21 18:04:05 -0400893 let conversion = sig.ret.as_ref().and_then(|ret| match ret {
Adrian Taylorc8713432020-10-21 18:20:55 -0700894 Type::Ident(ident) if ident.rust == RustString => {
895 Some(quote!(::cxx::private::RustString::from))
896 }
David Tolnay22602b42020-09-21 18:04:05 -0400897 Type::RustBox(_) => Some(quote!(::std::boxed::Box::into_raw)),
898 Type::RustVec(vec) => {
899 if vec.inner == RustString {
900 Some(quote!(::cxx::private::RustVec::from_vec_string))
901 } else {
902 Some(quote!(::cxx::private::RustVec::from))
David Tolnay7db73692019-10-20 14:51:12 -0400903 }
David Tolnay22602b42020-09-21 18:04:05 -0400904 }
David Tolnaybf7ae812020-11-16 23:31:45 -0800905 Type::UniquePtr(_) => Some(quote!(::cxx::UniquePtr::into_raw)),
David Tolnay22602b42020-09-21 18:04:05 -0400906 Type::Ref(ty) => match &ty.inner {
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800907 Type::Ident(ident) if ident.rust == RustString => match ty.mutable {
908 false => Some(quote!(::cxx::private::RustString::from_ref)),
909 true => Some(quote!(::cxx::private::RustString::from_mut)),
David Tolnay7db73692019-10-20 14:51:12 -0400910 },
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800911 Type::RustVec(vec) if vec.inner == RustString => match ty.mutable {
912 false => Some(quote!(::cxx::private::RustVec::from_ref_vec_string)),
913 true => Some(quote!(::cxx::private::RustVec::from_mut_vec_string)),
David Tolnay22602b42020-09-21 18:04:05 -0400914 },
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800915 Type::RustVec(_) => match ty.mutable {
916 false => Some(quote!(::cxx::private::RustVec::from_ref)),
917 true => Some(quote!(::cxx::private::RustVec::from_mut)),
David Tolnay22602b42020-09-21 18:04:05 -0400918 },
David Tolnay7db73692019-10-20 14:51:12 -0400919 _ => None,
David Tolnay22602b42020-09-21 18:04:05 -0400920 },
921 Type::Str(_) => Some(quote!(::cxx::private::RustStr::from)),
David Tolnay73b72642020-11-25 17:44:05 -0800922 Type::SliceRef(ty) => match ty.mutable {
David Tolnay5515a9e2020-11-25 19:07:54 -0800923 false => Some(quote!(::cxx::private::RustSlice::from_ref)),
924 true => Some(quote!(::cxx::private::RustSlice::from_mut)),
David Tolnayc5629f02020-11-23 18:32:46 -0800925 },
David Tolnay22602b42020-09-21 18:04:05 -0400926 _ => None,
927 });
928
929 let mut expr = match conversion {
930 None => call,
931 Some(conversion) if !sig.throws => quote!(#conversion(#call)),
932 Some(conversion) => quote!(::std::result::Result::map(#call, #conversion)),
933 };
David Tolnay75dca2e2020-03-25 20:17:52 -0700934
935 let mut outparam = None;
936 let indirect_return = indirect_return(sig, types);
David Tolnay1e548172020-03-16 13:37:09 -0700937 if indirect_return {
David Tolnay2f090422020-11-02 18:25:35 -0800938 let ret = expand_extern_type(sig.ret.as_ref().unwrap(), types, false);
David Tolnay75dca2e2020-03-25 20:17:52 -0700939 outparam = Some(quote!(__return: *mut #ret,));
David Tolnay1e548172020-03-16 13:37:09 -0700940 }
David Tolnay75dca2e2020-03-25 20:17:52 -0700941 if sig.throws {
942 let out = match sig.ret {
David Tolnaycecada62020-03-17 01:45:58 -0700943 Some(_) => quote!(__return),
944 None => quote!(&mut ()),
945 };
946 expr = quote!(::cxx::private::r#try(#out, #expr));
David Tolnay1e548172020-03-16 13:37:09 -0700947 } else if indirect_return {
David Tolnay7db73692019-10-20 14:51:12 -0400948 expr = quote!(::std::ptr::write(__return, #expr));
949 }
David Tolnay75dca2e2020-03-25 20:17:52 -0700950
David Tolnay1e548172020-03-16 13:37:09 -0700951 expr = quote!(::cxx::private::catch_unwind(__fn, move || #expr));
David Tolnay75dca2e2020-03-25 20:17:52 -0700952
953 let ret = if sig.throws {
David Tolnay486b6ec2020-03-17 01:19:57 -0700954 quote!(-> ::cxx::private::Result)
David Tolnay1e548172020-03-16 13:37:09 -0700955 } else {
David Tolnay2f090422020-11-02 18:25:35 -0800956 expand_extern_return_type(&sig.ret, types, false)
David Tolnay1e548172020-03-16 13:37:09 -0700957 };
David Tolnay75dca2e2020-03-25 20:17:52 -0700958
959 let pointer = match invoke {
David Tolnayb8ebeb02020-10-31 23:52:06 -0700960 None => Some(quote!(__extern: *const ())),
David Tolnay75dca2e2020-03-25 20:17:52 -0700961 Some(_) => None,
962 };
963
David Tolnay7db73692019-10-20 14:51:12 -0400964 quote! {
965 #[doc(hidden)]
966 #[export_name = #link_name]
David Tolnay9938b642020-11-15 18:11:40 -0800967 unsafe extern "C" fn #local_name #generics(#(#all_args,)* #outparam #pointer) #ret {
David Tolnay7db73692019-10-20 14:51:12 -0400968 let __fn = concat!(module_path!(), #catch_unwind_label);
David Tolnay26219462020-11-09 19:47:28 -0800969 #wrap_super
David Tolnay7db73692019-10-20 14:51:12 -0400970 #expr
971 }
972 }
973}
974
David Tolnay26219462020-11-09 19:47:28 -0800975// A wrapper like `fn f(x: Arg) { super::f(x) }` just to ensure we have the
976// accurate unsafety declaration and no problematic elided lifetimes.
977fn expand_rust_function_shim_super(
978 sig: &Signature,
979 local_name: &Ident,
980 invoke: &Ident,
981) -> TokenStream {
982 let unsafety = sig.unsafety;
David Tolnay9938b642020-11-15 18:11:40 -0800983 let generics = &sig.generics;
David Tolnay26219462020-11-09 19:47:28 -0800984
985 let receiver_var = sig
986 .receiver
987 .as_ref()
988 .map(|receiver| Ident::new("__self", receiver.var.span));
989 let receiver = sig.receiver.iter().map(|receiver| {
990 let receiver_type = receiver.ty();
991 quote!(#receiver_var: #receiver_type)
992 });
993 let args = sig.args.iter().map(|arg| quote!(#arg));
994 let all_args = receiver.chain(args);
995
David Tolnay5d164672020-11-09 20:23:17 -0800996 let ret = if let Some((result, _langle, rangle)) = sig.throws_tokens {
David Tolnay26219462020-11-09 19:47:28 -0800997 let ok = match &sig.ret {
998 Some(ret) => quote!(#ret),
999 None => quote!(()),
1000 };
David Tolnay5d164672020-11-09 20:23:17 -08001001 let impl_trait = quote_spanned!(result.span=> impl);
1002 let display = quote_spanned!(rangle.span=> ::std::fmt::Display);
1003 quote!(-> ::std::result::Result<#ok, #impl_trait #display>)
David Tolnay26219462020-11-09 19:47:28 -08001004 } else {
1005 expand_return_type(&sig.ret)
1006 };
1007
1008 let arg_vars = sig.args.iter().map(|arg| &arg.ident);
1009 let vars = receiver_var.iter().chain(arg_vars);
1010
1011 let span = invoke.span();
1012 let call = match &sig.receiver {
1013 None => quote_spanned!(span=> super::#invoke),
1014 Some(receiver) => {
1015 let receiver_type = &receiver.ty;
1016 quote_spanned!(span=> #receiver_type::#invoke)
1017 }
1018 };
1019
1020 quote_spanned! {span=>
David Tolnay9938b642020-11-15 18:11:40 -08001021 #unsafety fn #local_name #generics(#(#all_args,)*) #ret {
David Tolnay26219462020-11-09 19:47:28 -08001022 #call(#(#vars,)*)
1023 }
1024 }
1025}
1026
David Tolnay5f9e8ca2020-05-07 17:21:05 -07001027fn expand_type_alias(alias: &TypeAlias) -> TokenStream {
Bryan Henry890083d2020-09-13 10:34:31 -07001028 let doc = &alias.doc;
David Tolnay2b0b6582020-12-30 16:40:57 -08001029 let attrs = &alias.attrs;
David Tolnay291c9352020-12-30 17:31:19 -08001030 let visibility = alias.visibility;
1031 let type_token = alias.type_token;
David Tolnay17a934c2020-11-02 00:40:04 -08001032 let ident = &alias.name.rust;
David Tolnay8c80de72020-12-28 22:13:34 -08001033 let generics = &alias.generics;
David Tolnay291c9352020-12-30 17:31:19 -08001034 let eq_token = alias.eq_token;
David Tolnay5f9e8ca2020-05-07 17:21:05 -07001035 let ty = &alias.ty;
David Tolnay291c9352020-12-30 17:31:19 -08001036 let semi_token = alias.semi_token;
1037
David Tolnay5f9e8ca2020-05-07 17:21:05 -07001038 quote! {
Bryan Henry890083d2020-09-13 10:34:31 -07001039 #doc
David Tolnay2b0b6582020-12-30 16:40:57 -08001040 #attrs
David Tolnay291c9352020-12-30 17:31:19 -08001041 #visibility #type_token #ident #generics #eq_token #ty #semi_token
David Tolnay5f9e8ca2020-05-07 17:21:05 -07001042 }
1043}
1044
Adrian Taylorc8713432020-10-21 18:20:55 -07001045fn expand_type_alias_verify(alias: &TypeAlias, types: &Types) -> TokenStream {
David Tolnay17a934c2020-11-02 00:40:04 -08001046 let ident = &alias.name.rust;
1047 let type_id = type_id(&alias.name);
David Tolnay83fe0f02020-05-07 20:00:15 -07001048 let begin_span = alias.type_token.span;
1049 let end_span = alias.semi_token.span;
1050 let begin = quote_spanned!(begin_span=> ::cxx::private::verify_extern_type::<);
1051 let end = quote_spanned!(end_span=> >);
1052
David Tolnay63a0e4e2020-10-03 18:52:32 -07001053 let mut verify = quote! {
David Tolnay83fe0f02020-05-07 20:00:15 -07001054 const _: fn() = #begin #ident, #type_id #end;
David Tolnay63a0e4e2020-10-03 18:52:32 -07001055 };
David Tolnay5f9e8ca2020-05-07 17:21:05 -07001056
David Tolnay17a934c2020-11-02 00:40:04 -08001057 if types.required_trivial.contains_key(&alias.name.rust) {
David Tolnay63a0e4e2020-10-03 18:52:32 -07001058 let begin = quote_spanned!(begin_span=> ::cxx::private::verify_extern_kind::<);
1059 verify.extend(quote! {
1060 const _: fn() = #begin #ident, ::cxx::kind::Trivial #end;
1061 });
Adrian Taylorc7043292020-09-25 12:48:36 -07001062 }
David Tolnay63a0e4e2020-10-03 18:52:32 -07001063
1064 verify
Adrian Taylorc7043292020-09-25 12:48:36 -07001065}
1066
David Tolnay8faec772020-11-02 00:18:19 -08001067fn type_id(name: &Pair) -> TokenStream {
1068 let path = name.to_fully_qualified();
David Tolnay5f9e8ca2020-05-07 17:21:05 -07001069 quote! {
1070 ::cxx::type_id!(#path)
1071 }
1072}
1073
David Tolnayb1f0b9b2021-01-01 14:26:26 -08001074fn expand_rust_box(ident: &NamedType, types: &Types, explicit_impl: Option<&Impl>) -> TokenStream {
David Tolnay95bc57f2021-01-01 13:29:44 -08001075 let resolve = types.resolve(ident);
1076 let link_prefix = format!("cxxbridge1$box${}$", resolve.to_symbol());
David Tolnayc4b34222020-12-12 13:06:26 -08001077 let link_alloc = format!("{}alloc", link_prefix);
David Tolnay25b3c1d2020-12-12 15:50:10 -08001078 let link_dealloc = format!("{}dealloc", link_prefix);
David Tolnay7db73692019-10-20 14:51:12 -04001079 let link_drop = format!("{}drop", link_prefix);
David Tolnay7db73692019-10-20 14:51:12 -04001080
Adrian Taylorc8713432020-10-21 18:20:55 -07001081 let local_prefix = format_ident!("{}__box_", &ident.rust);
David Tolnayc4b34222020-12-12 13:06:26 -08001082 let local_alloc = format_ident!("{}alloc", local_prefix);
David Tolnay25b3c1d2020-12-12 15:50:10 -08001083 let local_dealloc = format_ident!("{}dealloc", local_prefix);
David Tolnay7db73692019-10-20 14:51:12 -04001084 let local_drop = format_ident!("{}drop", local_prefix);
David Tolnay7db73692019-10-20 14:51:12 -04001085
David Tolnayb1f0b9b2021-01-01 14:26:26 -08001086 let begin_span =
1087 explicit_impl.map_or_else(Span::call_site, |explicit| explicit.impl_token.span);
1088 let end_span = explicit_impl.map_or_else(Span::call_site, |explicit| explicit.brace_token.span);
1089 let unsafe_token = format_ident!("unsafe", span = begin_span);
1090
1091 quote_spanned! {end_span=>
David Tolnay7db73692019-10-20 14:51:12 -04001092 #[doc(hidden)]
David Tolnayb1f0b9b2021-01-01 14:26:26 -08001093 #unsafe_token impl ::cxx::private::ImplBox for #ident {}
David Tolnay1acc8a02020-12-09 21:46:44 -08001094 #[doc(hidden)]
David Tolnayc4b34222020-12-12 13:06:26 -08001095 #[export_name = #link_alloc]
1096 unsafe extern "C" fn #local_alloc() -> *mut ::std::mem::MaybeUninit<#ident> {
1097 ::std::boxed::Box::into_raw(::std::boxed::Box::new(::std::mem::MaybeUninit::uninit()))
David Tolnay7db73692019-10-20 14:51:12 -04001098 }
1099 #[doc(hidden)]
David Tolnay25b3c1d2020-12-12 15:50:10 -08001100 #[export_name = #link_dealloc]
1101 unsafe extern "C" fn #local_dealloc(ptr: *mut ::std::mem::MaybeUninit<#ident>) {
1102 ::std::boxed::Box::from_raw(ptr);
1103 }
1104 #[doc(hidden)]
David Tolnay7db73692019-10-20 14:51:12 -04001105 #[export_name = #link_drop]
1106 unsafe extern "C" fn #local_drop(this: *mut ::std::boxed::Box<#ident>) {
1107 ::std::ptr::drop_in_place(this);
1108 }
David Tolnay7db73692019-10-20 14:51:12 -04001109 }
1110}
1111
David Tolnayb1f0b9b2021-01-01 14:26:26 -08001112fn expand_rust_vec(elem: &NamedType, types: &Types, explicit_impl: Option<&Impl>) -> TokenStream {
David Tolnay95bc57f2021-01-01 13:29:44 -08001113 let resolve = types.resolve(elem);
1114 let link_prefix = format!("cxxbridge1$rust_vec${}$", resolve.to_symbol());
David Tolnayf97c2d52020-04-25 16:37:48 -07001115 let link_new = format!("{}new", link_prefix);
Myron Ahneba35cf2020-02-05 19:41:51 +07001116 let link_drop = format!("{}drop", link_prefix);
Myron Ahneba35cf2020-02-05 19:41:51 +07001117 let link_len = format!("{}len", link_prefix);
David Tolnaydc62d712020-12-11 13:51:53 -08001118 let link_capacity = format!("{}capacity", link_prefix);
David Tolnay219c0792020-04-24 20:31:37 -07001119 let link_data = format!("{}data", link_prefix);
David Tolnayfb6b73c2020-11-10 14:32:16 -08001120 let link_reserve_total = format!("{}reserve_total", link_prefix);
1121 let link_set_len = format!("{}set_len", link_prefix);
Myron Ahneba35cf2020-02-05 19:41:51 +07001122
Adrian Taylorc8713432020-10-21 18:20:55 -07001123 let local_prefix = format_ident!("{}__vec_", elem.rust);
David Tolnayf97c2d52020-04-25 16:37:48 -07001124 let local_new = format_ident!("{}new", local_prefix);
Myron Ahneba35cf2020-02-05 19:41:51 +07001125 let local_drop = format_ident!("{}drop", local_prefix);
Myron Ahneba35cf2020-02-05 19:41:51 +07001126 let local_len = format_ident!("{}len", local_prefix);
David Tolnaydc62d712020-12-11 13:51:53 -08001127 let local_capacity = format_ident!("{}capacity", local_prefix);
David Tolnay219c0792020-04-24 20:31:37 -07001128 let local_data = format_ident!("{}data", local_prefix);
David Tolnayfb6b73c2020-11-10 14:32:16 -08001129 let local_reserve_total = format_ident!("{}reserve_total", local_prefix);
1130 let local_set_len = format_ident!("{}set_len", local_prefix);
Myron Ahneba35cf2020-02-05 19:41:51 +07001131
David Tolnayb1f0b9b2021-01-01 14:26:26 -08001132 let begin_span =
1133 explicit_impl.map_or_else(Span::call_site, |explicit| explicit.impl_token.span);
1134 let end_span = explicit_impl.map_or_else(Span::call_site, |explicit| explicit.brace_token.span);
1135 let unsafe_token = format_ident!("unsafe", span = begin_span);
1136
1137 quote_spanned! {end_span=>
Myron Ahneba35cf2020-02-05 19:41:51 +07001138 #[doc(hidden)]
David Tolnayb1f0b9b2021-01-01 14:26:26 -08001139 #unsafe_token impl ::cxx::private::ImplVec for #elem {}
David Tolnay1acc8a02020-12-09 21:46:44 -08001140 #[doc(hidden)]
David Tolnayf97c2d52020-04-25 16:37:48 -07001141 #[export_name = #link_new]
1142 unsafe extern "C" fn #local_new(this: *mut ::cxx::private::RustVec<#elem>) {
1143 ::std::ptr::write(this, ::cxx::private::RustVec::new());
1144 }
1145 #[doc(hidden)]
Myron Ahneba35cf2020-02-05 19:41:51 +07001146 #[export_name = #link_drop]
David Tolnay83a7ec92020-04-25 12:37:42 -07001147 unsafe extern "C" fn #local_drop(this: *mut ::cxx::private::RustVec<#elem>) {
David Tolnay4c64afb2020-04-24 11:30:18 -07001148 ::std::ptr::drop_in_place(this);
Myron Ahneba35cf2020-02-05 19:41:51 +07001149 }
David Tolnay85db5a02020-04-25 13:17:27 -07001150 #[doc(hidden)]
Myron Ahneba35cf2020-02-05 19:41:51 +07001151 #[export_name = #link_len]
David Tolnay83a7ec92020-04-25 12:37:42 -07001152 unsafe extern "C" fn #local_len(this: *const ::cxx::private::RustVec<#elem>) -> usize {
David Tolnay2cef5df2020-04-24 11:33:58 -07001153 (*this).len()
Myron Ahneba35cf2020-02-05 19:41:51 +07001154 }
David Tolnay219c0792020-04-24 20:31:37 -07001155 #[doc(hidden)]
David Tolnaydc62d712020-12-11 13:51:53 -08001156 #[export_name = #link_capacity]
1157 unsafe extern "C" fn #local_capacity(this: *const ::cxx::private::RustVec<#elem>) -> usize {
1158 (*this).capacity()
1159 }
1160 #[doc(hidden)]
David Tolnay219c0792020-04-24 20:31:37 -07001161 #[export_name = #link_data]
David Tolnay83a7ec92020-04-25 12:37:42 -07001162 unsafe extern "C" fn #local_data(this: *const ::cxx::private::RustVec<#elem>) -> *const #elem {
David Tolnay219c0792020-04-24 20:31:37 -07001163 (*this).as_ptr()
1164 }
David Tolnay503d0192020-04-24 22:18:56 -07001165 #[doc(hidden)]
David Tolnayfb6b73c2020-11-10 14:32:16 -08001166 #[export_name = #link_reserve_total]
1167 unsafe extern "C" fn #local_reserve_total(this: *mut ::cxx::private::RustVec<#elem>, cap: usize) {
1168 (*this).reserve_total(cap);
1169 }
1170 #[doc(hidden)]
1171 #[export_name = #link_set_len]
1172 unsafe extern "C" fn #local_set_len(this: *mut ::cxx::private::RustVec<#elem>, len: usize) {
1173 (*this).set_len(len);
1174 }
Myron Ahneba35cf2020-02-05 19:41:51 +07001175 }
1176}
1177
David Tolnay77a5e752021-01-01 14:15:18 -08001178fn expand_unique_ptr(
1179 ident: &NamedType,
1180 types: &Types,
1181 explicit_impl: Option<&Impl>,
1182) -> TokenStream {
Adrian Taylorc8713432020-10-21 18:20:55 -07001183 let name = ident.rust.to_string();
David Tolnay95bc57f2021-01-01 13:29:44 -08001184 let resolve = types.resolve(ident);
1185 let prefix = format!("cxxbridge1$unique_ptr${}$", resolve.to_symbol());
David Tolnay7db73692019-10-20 14:51:12 -04001186 let link_null = format!("{}null", prefix);
David Tolnay0b881402020-12-01 21:05:08 -08001187 let link_uninit = format!("{}uninit", prefix);
David Tolnay7db73692019-10-20 14:51:12 -04001188 let link_raw = format!("{}raw", prefix);
1189 let link_get = format!("{}get", prefix);
1190 let link_release = format!("{}release", prefix);
1191 let link_drop = format!("{}drop", prefix);
1192
David Tolnay15609ab2020-11-25 07:14:12 -08001193 let can_construct_from_value = types.structs.contains_key(&ident.rust)
1194 || types.enums.contains_key(&ident.rust)
1195 || types.aliases.contains_key(&ident.rust);
1196 let new_method = if can_construct_from_value {
1197 Some(quote! {
David Tolnay1cde5142020-12-10 19:48:12 -08001198 fn __new(value: Self) -> *mut ::std::ffi::c_void {
David Tolnay15609ab2020-11-25 07:14:12 -08001199 extern "C" {
David Tolnay0b881402020-12-01 21:05:08 -08001200 #[link_name = #link_uninit]
1201 fn __uninit(this: *mut *mut ::std::ffi::c_void) -> *mut ::std::ffi::c_void;
David Tolnay53838912020-04-09 20:56:44 -07001202 }
David Tolnay15609ab2020-11-25 07:14:12 -08001203 let mut repr = ::std::ptr::null_mut::<::std::ffi::c_void>();
David Tolnay0b881402020-12-01 21:05:08 -08001204 unsafe { __uninit(&mut repr).cast::<#ident>().write(value) }
David Tolnay15609ab2020-11-25 07:14:12 -08001205 repr
1206 }
1207 })
1208 } else {
1209 None
1210 };
David Tolnay53838912020-04-09 20:56:44 -07001211
David Tolnay0531f432020-10-03 23:50:28 -07001212 let begin_span =
1213 explicit_impl.map_or_else(Span::call_site, |explicit| explicit.impl_token.span);
1214 let end_span = explicit_impl.map_or_else(Span::call_site, |explicit| explicit.brace_token.span);
1215 let unsafe_token = format_ident!("unsafe", span = begin_span);
1216
1217 quote_spanned! {end_span=>
1218 #unsafe_token impl ::cxx::private::UniquePtrTarget for #ident {
David Tolnay3b40b6f2020-04-24 17:58:24 -07001219 const __NAME: &'static dyn ::std::fmt::Display = &#name;
David Tolnay7db73692019-10-20 14:51:12 -04001220 fn __null() -> *mut ::std::ffi::c_void {
1221 extern "C" {
1222 #[link_name = #link_null]
1223 fn __null(this: *mut *mut ::std::ffi::c_void);
1224 }
1225 let mut repr = ::std::ptr::null_mut::<::std::ffi::c_void>();
1226 unsafe { __null(&mut repr) }
1227 repr
1228 }
David Tolnay53838912020-04-09 20:56:44 -07001229 #new_method
David Tolnay7db73692019-10-20 14:51:12 -04001230 unsafe fn __raw(raw: *mut Self) -> *mut ::std::ffi::c_void {
1231 extern "C" {
1232 #[link_name = #link_raw]
David Tolnay23a0e9d2020-12-01 21:00:02 -08001233 fn __raw(this: *mut *mut ::std::ffi::c_void, raw: *mut ::std::ffi::c_void);
David Tolnay7db73692019-10-20 14:51:12 -04001234 }
1235 let mut repr = ::std::ptr::null_mut::<::std::ffi::c_void>();
David Tolnay23a0e9d2020-12-01 21:00:02 -08001236 __raw(&mut repr, raw.cast());
David Tolnay7db73692019-10-20 14:51:12 -04001237 repr
1238 }
1239 unsafe fn __get(repr: *mut ::std::ffi::c_void) -> *const Self {
1240 extern "C" {
1241 #[link_name = #link_get]
David Tolnay23a0e9d2020-12-01 21:00:02 -08001242 fn __get(this: *const *mut ::std::ffi::c_void) -> *const ::std::ffi::c_void;
David Tolnay7db73692019-10-20 14:51:12 -04001243 }
David Tolnay23a0e9d2020-12-01 21:00:02 -08001244 __get(&repr).cast()
David Tolnay7db73692019-10-20 14:51:12 -04001245 }
1246 unsafe fn __release(mut repr: *mut ::std::ffi::c_void) -> *mut Self {
1247 extern "C" {
1248 #[link_name = #link_release]
David Tolnay23a0e9d2020-12-01 21:00:02 -08001249 fn __release(this: *mut *mut ::std::ffi::c_void) -> *mut ::std::ffi::c_void;
David Tolnay7db73692019-10-20 14:51:12 -04001250 }
David Tolnay23a0e9d2020-12-01 21:00:02 -08001251 __release(&mut repr).cast()
David Tolnay7db73692019-10-20 14:51:12 -04001252 }
1253 unsafe fn __drop(mut repr: *mut ::std::ffi::c_void) {
1254 extern "C" {
1255 #[link_name = #link_drop]
1256 fn __drop(this: *mut *mut ::std::ffi::c_void);
1257 }
1258 __drop(&mut repr);
1259 }
1260 }
1261 }
1262}
1263
David Tolnay77a5e752021-01-01 14:15:18 -08001264fn expand_shared_ptr(
1265 ident: &NamedType,
1266 types: &Types,
1267 explicit_impl: Option<&Impl>,
1268) -> TokenStream {
David Tolnayb3b24a12020-12-01 15:27:43 -08001269 let name = ident.rust.to_string();
David Tolnay95bc57f2021-01-01 13:29:44 -08001270 let resolve = types.resolve(ident);
1271 let prefix = format!("cxxbridge1$shared_ptr${}$", resolve.to_symbol());
David Tolnayb3b24a12020-12-01 15:27:43 -08001272 let link_null = format!("{}null", prefix);
David Tolnay0b881402020-12-01 21:05:08 -08001273 let link_uninit = format!("{}uninit", prefix);
David Tolnayb3b24a12020-12-01 15:27:43 -08001274 let link_clone = format!("{}clone", prefix);
1275 let link_get = format!("{}get", prefix);
1276 let link_drop = format!("{}drop", prefix);
1277
1278 let can_construct_from_value = types.structs.contains_key(&ident.rust)
1279 || types.enums.contains_key(&ident.rust)
1280 || types.aliases.contains_key(&ident.rust);
1281 let new_method = if can_construct_from_value {
1282 Some(quote! {
David Tolnay1cde5142020-12-10 19:48:12 -08001283 unsafe fn __new(value: Self, new: *mut ::std::ffi::c_void) {
David Tolnayb3b24a12020-12-01 15:27:43 -08001284 extern "C" {
David Tolnay0b881402020-12-01 21:05:08 -08001285 #[link_name = #link_uninit]
1286 fn __uninit(new: *mut ::std::ffi::c_void) -> *mut ::std::ffi::c_void;
David Tolnayb3b24a12020-12-01 15:27:43 -08001287 }
David Tolnay0b881402020-12-01 21:05:08 -08001288 __uninit(new).cast::<#ident>().write(value);
David Tolnayb3b24a12020-12-01 15:27:43 -08001289 }
1290 })
1291 } else {
1292 None
1293 };
1294
1295 let begin_span =
1296 explicit_impl.map_or_else(Span::call_site, |explicit| explicit.impl_token.span);
1297 let end_span = explicit_impl.map_or_else(Span::call_site, |explicit| explicit.brace_token.span);
1298 let unsafe_token = format_ident!("unsafe", span = begin_span);
1299
1300 quote_spanned! {end_span=>
1301 #unsafe_token impl ::cxx::private::SharedPtrTarget for #ident {
1302 const __NAME: &'static dyn ::std::fmt::Display = &#name;
1303 unsafe fn __null(new: *mut ::std::ffi::c_void) {
1304 extern "C" {
1305 #[link_name = #link_null]
1306 fn __null(new: *mut ::std::ffi::c_void);
1307 }
1308 __null(new);
1309 }
1310 #new_method
1311 unsafe fn __clone(this: *const ::std::ffi::c_void, new: *mut ::std::ffi::c_void) {
1312 extern "C" {
1313 #[link_name = #link_clone]
1314 fn __clone(this: *const ::std::ffi::c_void, new: *mut ::std::ffi::c_void);
1315 }
1316 __clone(this, new);
1317 }
1318 unsafe fn __get(this: *const ::std::ffi::c_void) -> *const Self {
1319 extern "C" {
1320 #[link_name = #link_get]
David Tolnay23a0e9d2020-12-01 21:00:02 -08001321 fn __get(this: *const ::std::ffi::c_void) -> *const ::std::ffi::c_void;
David Tolnayb3b24a12020-12-01 15:27:43 -08001322 }
David Tolnay23a0e9d2020-12-01 21:00:02 -08001323 __get(this).cast()
David Tolnayb3b24a12020-12-01 15:27:43 -08001324 }
1325 unsafe fn __drop(this: *mut ::std::ffi::c_void) {
1326 extern "C" {
1327 #[link_name = #link_drop]
1328 fn __drop(this: *mut ::std::ffi::c_void);
1329 }
1330 __drop(this);
1331 }
1332 }
1333 }
1334}
1335
David Tolnay77a5e752021-01-01 14:15:18 -08001336fn expand_weak_ptr(ident: &NamedType, types: &Types, explicit_impl: Option<&Impl>) -> TokenStream {
David Tolnay215e77f2020-12-28 17:09:48 -08001337 let name = ident.rust.to_string();
David Tolnay95bc57f2021-01-01 13:29:44 -08001338 let resolve = types.resolve(ident);
1339 let prefix = format!("cxxbridge1$weak_ptr${}$", resolve.to_symbol());
David Tolnay215e77f2020-12-28 17:09:48 -08001340 let link_null = format!("{}null", prefix);
1341 let link_clone = format!("{}clone", prefix);
David Tolnay85b6bc42020-12-28 17:47:51 -08001342 let link_downgrade = format!("{}downgrade", prefix);
David Tolnay7a487852020-12-28 18:02:25 -08001343 let link_upgrade = format!("{}upgrade", prefix);
David Tolnay215e77f2020-12-28 17:09:48 -08001344 let link_drop = format!("{}drop", prefix);
1345
1346 let begin_span =
1347 explicit_impl.map_or_else(Span::call_site, |explicit| explicit.impl_token.span);
1348 let end_span = explicit_impl.map_or_else(Span::call_site, |explicit| explicit.brace_token.span);
1349 let unsafe_token = format_ident!("unsafe", span = begin_span);
1350
1351 quote_spanned! {end_span=>
1352 #unsafe_token impl ::cxx::private::WeakPtrTarget for #ident {
1353 const __NAME: &'static dyn ::std::fmt::Display = &#name;
1354 unsafe fn __null(new: *mut ::std::ffi::c_void) {
1355 extern "C" {
1356 #[link_name = #link_null]
1357 fn __null(new: *mut ::std::ffi::c_void);
1358 }
1359 __null(new);
1360 }
1361 unsafe fn __clone(this: *const ::std::ffi::c_void, new: *mut ::std::ffi::c_void) {
1362 extern "C" {
1363 #[link_name = #link_clone]
1364 fn __clone(this: *const ::std::ffi::c_void, new: *mut ::std::ffi::c_void);
1365 }
1366 __clone(this, new);
1367 }
David Tolnay85b6bc42020-12-28 17:47:51 -08001368 unsafe fn __downgrade(shared: *const ::std::ffi::c_void, weak: *mut ::std::ffi::c_void) {
1369 extern "C" {
1370 #[link_name = #link_downgrade]
1371 fn __downgrade(shared: *const ::std::ffi::c_void, weak: *mut ::std::ffi::c_void);
1372 }
1373 __downgrade(shared, weak);
1374 }
David Tolnay7a487852020-12-28 18:02:25 -08001375 unsafe fn __upgrade(weak: *const ::std::ffi::c_void, shared: *mut ::std::ffi::c_void) {
1376 extern "C" {
1377 #[link_name = #link_upgrade]
1378 fn __upgrade(weak: *const ::std::ffi::c_void, shared: *mut ::std::ffi::c_void);
1379 }
1380 __upgrade(weak, shared);
1381 }
David Tolnay215e77f2020-12-28 17:09:48 -08001382 unsafe fn __drop(this: *mut ::std::ffi::c_void) {
1383 extern "C" {
1384 #[link_name = #link_drop]
1385 fn __drop(this: *mut ::std::ffi::c_void);
1386 }
1387 __drop(this);
1388 }
1389 }
1390 }
1391}
1392
David Tolnay77a5e752021-01-01 14:15:18 -08001393fn expand_cxx_vector(elem: &NamedType, explicit_impl: Option<&Impl>, types: &Types) -> TokenStream {
Adrian Taylorc8713432020-10-21 18:20:55 -07001394 let name = elem.rust.to_string();
David Tolnay95bc57f2021-01-01 13:29:44 -08001395 let resolve = types.resolve(elem);
1396 let prefix = format!("cxxbridge1$std$vector${}$", resolve.to_symbol());
David Tolnaya83247c2020-04-24 14:36:10 -07001397 let link_size = format!("{}size", prefix);
Myron Ahneba35cf2020-02-05 19:41:51 +07001398 let link_get_unchecked = format!("{}get_unchecked", prefix);
David Tolnay95bc57f2021-01-01 13:29:44 -08001399 let unique_ptr_prefix = format!("cxxbridge1$unique_ptr$std$vector${}$", resolve.to_symbol());
David Tolnay3b40b6f2020-04-24 17:58:24 -07001400 let link_unique_ptr_null = format!("{}null", unique_ptr_prefix);
1401 let link_unique_ptr_raw = format!("{}raw", unique_ptr_prefix);
1402 let link_unique_ptr_get = format!("{}get", unique_ptr_prefix);
1403 let link_unique_ptr_release = format!("{}release", unique_ptr_prefix);
1404 let link_unique_ptr_drop = format!("{}drop", unique_ptr_prefix);
Myron Ahneba35cf2020-02-05 19:41:51 +07001405
David Tolnay0531f432020-10-03 23:50:28 -07001406 let begin_span =
1407 explicit_impl.map_or_else(Span::call_site, |explicit| explicit.impl_token.span);
1408 let end_span = explicit_impl.map_or_else(Span::call_site, |explicit| explicit.brace_token.span);
1409 let unsafe_token = format_ident!("unsafe", span = begin_span);
1410
1411 quote_spanned! {end_span=>
1412 #unsafe_token impl ::cxx::private::VectorElement for #elem {
David Tolnay3b40b6f2020-04-24 17:58:24 -07001413 const __NAME: &'static dyn ::std::fmt::Display = &#name;
David Tolnay17631102020-04-24 19:01:30 -07001414 fn __vector_size(v: &::cxx::CxxVector<Self>) -> usize {
David Tolnayfa2119c2020-04-24 14:42:58 -07001415 extern "C" {
1416 #[link_name = #link_size]
David Tolnay17631102020-04-24 19:01:30 -07001417 fn __vector_size(_: &::cxx::CxxVector<#elem>) -> usize;
Myron Ahneba35cf2020-02-05 19:41:51 +07001418 }
David Tolnayfa2119c2020-04-24 14:42:58 -07001419 unsafe { __vector_size(v) }
Myron Ahneba35cf2020-02-05 19:41:51 +07001420 }
David Tolnay767e00d2020-12-21 17:12:27 -08001421 unsafe fn __get_unchecked(v: *mut ::cxx::CxxVector<Self>, pos: usize) -> *mut Self {
David Tolnaycc75ad22020-04-24 14:45:16 -07001422 extern "C" {
1423 #[link_name = #link_get_unchecked]
David Tolnay767e00d2020-12-21 17:12:27 -08001424 fn __get_unchecked(_: *mut ::cxx::CxxVector<#elem>, _: usize) -> *mut #elem;
David Tolnaycc75ad22020-04-24 14:45:16 -07001425 }
David Tolnay93637ca2020-09-24 15:58:20 -04001426 __get_unchecked(v, pos)
David Tolnaycc75ad22020-04-24 14:45:16 -07001427 }
David Tolnay3b40b6f2020-04-24 17:58:24 -07001428 fn __unique_ptr_null() -> *mut ::std::ffi::c_void {
1429 extern "C" {
1430 #[link_name = #link_unique_ptr_null]
1431 fn __unique_ptr_null(this: *mut *mut ::std::ffi::c_void);
1432 }
1433 let mut repr = ::std::ptr::null_mut::<::std::ffi::c_void>();
1434 unsafe { __unique_ptr_null(&mut repr) }
1435 repr
1436 }
1437 unsafe fn __unique_ptr_raw(raw: *mut ::cxx::CxxVector<Self>) -> *mut ::std::ffi::c_void {
1438 extern "C" {
1439 #[link_name = #link_unique_ptr_raw]
1440 fn __unique_ptr_raw(this: *mut *mut ::std::ffi::c_void, raw: *mut ::cxx::CxxVector<#elem>);
1441 }
1442 let mut repr = ::std::ptr::null_mut::<::std::ffi::c_void>();
1443 __unique_ptr_raw(&mut repr, raw);
1444 repr
1445 }
1446 unsafe fn __unique_ptr_get(repr: *mut ::std::ffi::c_void) -> *const ::cxx::CxxVector<Self> {
1447 extern "C" {
1448 #[link_name = #link_unique_ptr_get]
1449 fn __unique_ptr_get(this: *const *mut ::std::ffi::c_void) -> *const ::cxx::CxxVector<#elem>;
1450 }
1451 __unique_ptr_get(&repr)
1452 }
1453 unsafe fn __unique_ptr_release(mut repr: *mut ::std::ffi::c_void) -> *mut ::cxx::CxxVector<Self> {
1454 extern "C" {
1455 #[link_name = #link_unique_ptr_release]
1456 fn __unique_ptr_release(this: *mut *mut ::std::ffi::c_void) -> *mut ::cxx::CxxVector<#elem>;
1457 }
1458 __unique_ptr_release(&mut repr)
1459 }
1460 unsafe fn __unique_ptr_drop(mut repr: *mut ::std::ffi::c_void) {
1461 extern "C" {
1462 #[link_name = #link_unique_ptr_drop]
1463 fn __unique_ptr_drop(this: *mut *mut ::std::ffi::c_void);
1464 }
1465 __unique_ptr_drop(&mut repr);
1466 }
Myron Ahneba35cf2020-02-05 19:41:51 +07001467 }
1468 }
1469}
1470
David Tolnay7db73692019-10-20 14:51:12 -04001471fn expand_return_type(ret: &Option<Type>) -> TokenStream {
1472 match ret {
1473 Some(ret) => quote!(-> #ret),
1474 None => TokenStream::new(),
1475 }
1476}
1477
David Tolnay75dca2e2020-03-25 20:17:52 -07001478fn indirect_return(sig: &Signature, types: &Types) -> bool {
1479 sig.ret
David Tolnay1e548172020-03-16 13:37:09 -07001480 .as_ref()
David Tolnay75dca2e2020-03-25 20:17:52 -07001481 .map_or(false, |ret| sig.throws || types.needs_indirect_abi(ret))
David Tolnay7db73692019-10-20 14:51:12 -04001482}
1483
David Tolnay2f090422020-11-02 18:25:35 -08001484fn expand_extern_type(ty: &Type, types: &Types, proper: bool) -> TokenStream {
David Tolnay7db73692019-10-20 14:51:12 -04001485 match ty {
Adrian Taylorc8713432020-10-21 18:20:55 -07001486 Type::Ident(ident) if ident.rust == RustString => quote!(::cxx::private::RustString),
David Tolnay7db73692019-10-20 14:51:12 -04001487 Type::RustBox(ty) | Type::UniquePtr(ty) => {
David Tolnay2f090422020-11-02 18:25:35 -08001488 let inner = expand_extern_type(&ty.inner, types, proper);
David Tolnay7db73692019-10-20 14:51:12 -04001489 quote!(*mut #inner)
1490 }
David Tolnaye6d50212020-04-25 15:38:23 -07001491 Type::RustVec(ty) => {
David Tolnay2f090422020-11-02 18:25:35 -08001492 let elem = expand_extern_type(&ty.inner, types, proper);
David Tolnaye6d50212020-04-25 15:38:23 -07001493 quote!(::cxx::private::RustVec<#elem>)
1494 }
David Tolnayf1c7f322020-08-27 00:46:01 -07001495 Type::Ref(ty) => {
1496 let mutability = ty.mutability;
1497 match &ty.inner {
Adrian Taylorc8713432020-10-21 18:20:55 -07001498 Type::Ident(ident) if ident.rust == RustString => {
David Tolnayf1c7f322020-08-27 00:46:01 -07001499 quote!(&#mutability ::cxx::private::RustString)
1500 }
1501 Type::RustVec(ty) => {
David Tolnay2f090422020-11-02 18:25:35 -08001502 let inner = expand_extern_type(&ty.inner, types, proper);
David Tolnayf1c7f322020-08-27 00:46:01 -07001503 quote!(&#mutability ::cxx::private::RustVec<#inner>)
1504 }
David Tolnay9c4ac2e2020-11-15 21:14:03 -08001505 inner if proper && types.is_considered_improper_ctype(inner) => match ty.mutable {
1506 false => quote!(*const ::std::ffi::c_void),
1507 true => quote!(*#mutability ::std::ffi::c_void),
David Tolnay4cb97672020-11-02 16:13:34 -08001508 },
David Tolnayf1c7f322020-08-27 00:46:01 -07001509 _ => quote!(#ty),
Myron Ahneba35cf2020-02-05 19:41:51 +07001510 }
David Tolnayf1c7f322020-08-27 00:46:01 -07001511 }
David Tolnay7db73692019-10-20 14:51:12 -04001512 Type::Str(_) => quote!(::cxx::private::RustStr),
David Tolnay5515a9e2020-11-25 19:07:54 -08001513 Type::SliceRef(_) => quote!(::cxx::private::RustSlice),
David Tolnay7db73692019-10-20 14:51:12 -04001514 _ => quote!(#ty),
1515 }
1516}
1517
David Tolnay2f090422020-11-02 18:25:35 -08001518fn expand_extern_return_type(ret: &Option<Type>, types: &Types, proper: bool) -> TokenStream {
David Tolnay7db73692019-10-20 14:51:12 -04001519 let ret = match ret {
1520 Some(ret) if !types.needs_indirect_abi(ret) => ret,
1521 _ => return TokenStream::new(),
1522 };
David Tolnay2f090422020-11-02 18:25:35 -08001523 let ty = expand_extern_type(ret, types, proper);
David Tolnay7db73692019-10-20 14:51:12 -04001524 quote!(-> #ty)
1525}