@@ -271,16 +271,26 @@ fn write_struct<'a>(out: &mut OutFile<'a>, strct: &'a Struct, methods: &[&Extern
271
271
272
272
out. next_section ( ) ;
273
273
274
+ // default move constructors/assignments for trivially copyable types
275
+ // used for indirect return
276
+ if out. types . structs_with_constructors . contains ( & strct. name . rust ) {
277
+ writeln ! ( out, " {0}({0}&&) noexcept = default;" , strct. name. cxx) ;
278
+ writeln ! ( out, " {0}& operator=({0}&&) noexcept = default;" , strct. name. cxx) ;
279
+ }
280
+
274
281
for method in methods {
275
282
if !method. doc . is_empty ( ) {
276
283
out. next_section ( ) ;
277
284
}
278
285
write_doc ( out, " " , & method. doc ) ;
279
286
write ! ( out, " " ) ;
280
287
let sig = & method. sig ;
281
- let local_name = method. name . cxx . to_string ( ) ;
288
+ let local_name = match ( & method. self_type , sig. constructor ) {
289
+ ( Some ( self_type) , true ) => out. types . resolve ( self_type) . name . cxx . to_string ( ) ,
290
+ _ => method. name . cxx . to_string ( ) ,
291
+ } ;
282
292
let indirect_call = false ;
283
- if method. self_type . is_some ( ) {
293
+ if method. self_type . is_some ( ) && !method . sig . constructor {
284
294
write ! ( out, "static " ) ;
285
295
}
286
296
write_rust_function_shim_decl ( out, & local_name, sig, & None , indirect_call) ;
@@ -375,7 +385,7 @@ fn write_opaque_type<'a>(out: &mut OutFile<'a>, ety: &'a ExternType, methods: &[
375
385
let sig = & method. sig ;
376
386
let local_name = method. name . cxx . to_string ( ) ;
377
387
let indirect_call = false ;
378
- if method. self_type . is_some ( ) {
388
+ if method. self_type . is_some ( ) && !method . sig . constructor {
379
389
write ! ( out, "static " ) ;
380
390
}
381
391
write_rust_function_shim_decl ( out, & local_name, sig, & None , indirect_call) ;
@@ -754,51 +764,61 @@ fn write_cxx_function_shim<'a>(out: &mut OutFile<'a>, efn: &'a ExternFn) {
754
764
if !efn. args . is_empty ( ) || efn. receiver . is_some ( ) {
755
765
write ! ( out, ", " ) ;
756
766
}
757
- write_indirect_return_type_space ( out, efn. ret . as_ref ( ) . unwrap ( ) ) ;
767
+ if efn. sig . constructor {
768
+ write ! (
769
+ out,
770
+ "{} " ,
771
+ out. types. resolve( efn. self_type. as_ref( ) . unwrap( ) ) . name. cxx
772
+ ) ;
773
+ } else {
774
+ write_indirect_return_type_space ( out, efn. ret . as_ref ( ) . unwrap ( ) ) ;
775
+ }
758
776
write ! ( out, "*return$" ) ;
759
777
}
760
778
writeln ! ( out, ") noexcept {{" ) ;
761
- write ! ( out, " " ) ;
762
- write_return_type ( out, & efn. ret ) ;
763
- match & efn. receiver {
764
- None => write ! ( out, "(*{}$)(" , efn. name. rust) ,
765
- Some ( receiver) => write ! (
766
- out,
767
- "({}::*{}$)(" ,
768
- out. types. resolve( & receiver. ty) . name. to_fully_qualified( ) ,
769
- efn. name. rust,
770
- ) ,
771
- }
772
- for ( i, arg) in efn. args . iter ( ) . enumerate ( ) {
773
- if i > 0 {
774
- write ! ( out, ", " ) ;
779
+ if !efn. sig . constructor {
780
+ write ! ( out, " " ) ;
781
+ write_return_type ( out, & efn. ret ) ;
782
+ match & efn. receiver {
783
+ None => write ! ( out, "(*{}$)(" , efn. name. rust) ,
784
+ Some ( receiver) => write ! (
785
+ out,
786
+ "({}::*{}$)(" ,
787
+ out. types. resolve( & receiver. ty) . name. to_fully_qualified( ) ,
788
+ efn. name. rust,
789
+ ) ,
775
790
}
776
- write_type ( out, & arg. ty ) ;
777
- }
778
- write ! ( out, ")" ) ;
779
- if let Some ( receiver) = & efn. receiver {
780
- if !receiver. mutable {
781
- write ! ( out, " const" ) ;
791
+ for ( i, arg) in efn. args . iter ( ) . enumerate ( ) {
792
+ if i > 0 {
793
+ write ! ( out, ", " ) ;
794
+ }
795
+ write_type ( out, & arg. ty ) ;
782
796
}
797
+ write ! ( out, ")" ) ;
798
+ if let Some ( receiver) = & efn. receiver {
799
+ if !receiver. mutable {
800
+ write ! ( out, " const" ) ;
801
+ }
802
+ }
803
+ write ! ( out, " = " ) ;
804
+ match ( & efn. receiver , & efn. self_type ) {
805
+ ( None , None ) => write ! ( out, "{}" , efn. name. to_fully_qualified( ) ) ,
806
+ ( Some ( receiver) , None ) => write ! (
807
+ out,
808
+ "&{}::{}" ,
809
+ out. types. resolve( & receiver. ty) . name. to_fully_qualified( ) ,
810
+ efn. name. cxx,
811
+ ) ,
812
+ ( None , Some ( self_type) ) => write ! (
813
+ out,
814
+ "&{}::{}" ,
815
+ out. types. resolve( self_type) . name. to_fully_qualified( ) ,
816
+ efn. name. cxx,
817
+ ) ,
818
+ _ => unreachable ! ( "receiver and self_type are mutually exclusive" ) ,
819
+ }
820
+ writeln ! ( out, ";" ) ;
783
821
}
784
- write ! ( out, " = " ) ;
785
- match ( & efn. receiver , & efn. self_type ) {
786
- ( None , None ) => write ! ( out, "{}" , efn. name. to_fully_qualified( ) ) ,
787
- ( Some ( receiver) , None ) => write ! (
788
- out,
789
- "&{}::{}" ,
790
- out. types. resolve( & receiver. ty) . name. to_fully_qualified( ) ,
791
- efn. name. cxx,
792
- ) ,
793
- ( None , Some ( self_type) ) => write ! (
794
- out,
795
- "&{}::{}" ,
796
- out. types. resolve( self_type) . name. to_fully_qualified( ) ,
797
- efn. name. cxx,
798
- ) ,
799
- _ => unreachable ! ( "receiver and self_type are mutually exclusive" ) ,
800
- }
801
- writeln ! ( out, ";" ) ;
802
822
write ! ( out, " " ) ;
803
823
if efn. throws {
804
824
out. builtin . ptr_len = true ;
@@ -811,28 +831,38 @@ fn write_cxx_function_shim<'a>(out: &mut OutFile<'a>, efn: &'a ExternFn) {
811
831
if indirect_return {
812
832
out. include . new = true ;
813
833
write ! ( out, "new (return$) " ) ;
814
- write_indirect_return_type ( out, efn. ret . as_ref ( ) . unwrap ( ) ) ;
834
+ if efn. sig . constructor {
835
+ write ! (
836
+ out,
837
+ "{}" ,
838
+ out. types. resolve( efn. self_type. as_ref( ) . unwrap( ) ) . name. cxx
839
+ ) ;
840
+ } else {
841
+ write_indirect_return_type ( out, efn. ret . as_ref ( ) . unwrap ( ) ) ;
842
+ }
815
843
write ! ( out, "(" ) ;
816
844
} else if efn. ret . is_some ( ) {
817
845
write ! ( out, "return " ) ;
818
846
}
819
- match & efn. ret {
820
- Some ( Type :: Ref ( _) ) => write ! ( out, "&" ) ,
821
- Some ( Type :: Str ( _) ) if !indirect_return => {
822
- out. builtin . rust_str_repr = true ;
823
- write ! ( out, "::rust::impl<::rust::Str>::repr(" ) ;
847
+ if !efn. sig . constructor {
848
+ match & efn. ret {
849
+ Some ( Type :: Ref ( _) ) => write ! ( out, "&" ) ,
850
+ Some ( Type :: Str ( _) ) if !indirect_return => {
851
+ out. builtin . rust_str_repr = true ;
852
+ write ! ( out, "::rust::impl<::rust::Str>::repr(" ) ;
853
+ }
854
+ Some ( ty @ Type :: SliceRef ( _) ) if !indirect_return => {
855
+ out. builtin . rust_slice_repr = true ;
856
+ write ! ( out, "::rust::impl<" ) ;
857
+ write_type ( out, ty) ;
858
+ write ! ( out, ">::repr(" ) ;
859
+ }
860
+ _ => { }
824
861
}
825
- Some ( ty @ Type :: SliceRef ( _) ) if !indirect_return => {
826
- out. builtin . rust_slice_repr = true ;
827
- write ! ( out, "::rust::impl<" ) ;
828
- write_type ( out, ty) ;
829
- write ! ( out, ">::repr(" ) ;
862
+ match & efn. receiver {
863
+ None => write ! ( out, "{}$(" , efn. name. rust) ,
864
+ Some ( _) => write ! ( out, "(self.*{}$)(" , efn. name. rust) ,
830
865
}
831
- _ => { }
832
- }
833
- match & efn. receiver {
834
- None => write ! ( out, "{}$(" , efn. name. rust) ,
835
- Some ( _) => write ! ( out, "(self.*{}$)(" , efn. name. rust) ,
836
866
}
837
867
for ( i, arg) in efn. args . iter ( ) . enumerate ( ) {
838
868
if i > 0 {
@@ -862,7 +892,9 @@ fn write_cxx_function_shim<'a>(out: &mut OutFile<'a>, efn: &'a ExternFn) {
862
892
write ! ( out, "{}" , arg. name. cxx) ;
863
893
}
864
894
}
865
- write ! ( out, ")" ) ;
895
+ if !efn. sig . constructor {
896
+ write ! ( out, ")" ) ;
897
+ }
866
898
match & efn. ret {
867
899
Some ( Type :: RustBox ( _) ) => write ! ( out, ".into_raw()" ) ,
868
900
Some ( Type :: UniquePtr ( _) ) => write ! ( out, ".release()" ) ,
@@ -892,27 +924,36 @@ fn write_cxx_function_shim<'a>(out: &mut OutFile<'a>, efn: &'a ExternFn) {
892
924
fn write_function_pointer_trampoline ( out : & mut OutFile , efn : & ExternFn , var : & Pair , f : & Signature ) {
893
925
let r_trampoline = mangle:: r_trampoline ( efn, var, out. types ) ;
894
926
let indirect_call = true ;
895
- write_rust_function_decl_impl ( out, & r_trampoline, f, indirect_call) ;
927
+ write_rust_function_decl_impl ( out, & r_trampoline, f, & efn . self_type , indirect_call) ;
896
928
897
929
out. next_section ( ) ;
898
930
let c_trampoline = mangle:: c_trampoline ( efn, var, out. types ) . to_string ( ) ;
899
931
let doc = Doc :: new ( ) ;
900
- write_rust_function_shim_impl ( out, & c_trampoline, f, & efn. self_type , & doc, & r_trampoline, indirect_call) ;
932
+ write_rust_function_shim_impl (
933
+ out,
934
+ & c_trampoline,
935
+ f,
936
+ & efn. self_type ,
937
+ & doc,
938
+ & r_trampoline,
939
+ indirect_call,
940
+ ) ;
901
941
}
902
942
903
943
fn write_rust_function_decl < ' a > ( out : & mut OutFile < ' a > , efn : & ' a ExternFn ) {
904
944
out. set_namespace ( & efn. name . namespace ) ;
905
945
out. begin_block ( Block :: ExternC ) ;
906
946
let link_name = mangle:: extern_fn ( efn, out. types ) ;
907
947
let indirect_call = false ;
908
- write_rust_function_decl_impl ( out, & link_name, efn, indirect_call) ;
948
+ write_rust_function_decl_impl ( out, & link_name, efn, & efn . self_type , indirect_call) ;
909
949
out. end_block ( Block :: ExternC ) ;
910
950
}
911
951
912
952
fn write_rust_function_decl_impl (
913
953
out : & mut OutFile ,
914
954
link_name : & Symbol ,
915
955
sig : & Signature ,
956
+ self_type : & Option < Ident > ,
916
957
indirect_call : bool ,
917
958
) {
918
959
out. next_section ( ) ;
@@ -947,15 +988,23 @@ fn write_rust_function_decl_impl(
947
988
if needs_comma {
948
989
write ! ( out, ", " ) ;
949
990
}
950
- match sig. ret . as_ref ( ) . unwrap ( ) {
951
- Type :: Ref ( ret) => {
952
- write_type_space ( out, & ret. inner ) ;
953
- if !ret. mutable {
954
- write ! ( out, "const " ) ;
991
+ if sig. constructor {
992
+ write ! (
993
+ out,
994
+ "{} " ,
995
+ out. types. resolve( self_type. as_ref( ) . unwrap( ) ) . name. cxx
996
+ ) ;
997
+ } else {
998
+ match sig. ret . as_ref ( ) . unwrap ( ) {
999
+ Type :: Ref ( ret) => {
1000
+ write_type_space ( out, & ret. inner ) ;
1001
+ if !ret. mutable {
1002
+ write ! ( out, "const " ) ;
1003
+ }
1004
+ write ! ( out, "*" ) ;
955
1005
}
956
- write ! ( out, "*" ) ;
1006
+ ret => write_type_space ( out, ret ) ,
957
1007
}
958
- ret => write_type_space ( out, ret) ,
959
1008
}
960
1009
write ! ( out, "*return$" ) ;
961
1010
needs_comma = true ;
@@ -982,7 +1031,15 @@ fn write_rust_function_shim<'a>(out: &mut OutFile<'a>, efn: &'a ExternFn) {
982
1031
let doc = & efn. doc ;
983
1032
let invoke = mangle:: extern_fn ( efn, out. types ) ;
984
1033
let indirect_call = false ;
985
- write_rust_function_shim_impl ( out, & local_name, efn, & efn. self_type , doc, & invoke, indirect_call) ;
1034
+ write_rust_function_shim_impl (
1035
+ out,
1036
+ & local_name,
1037
+ efn,
1038
+ & efn. self_type ,
1039
+ doc,
1040
+ & invoke,
1041
+ indirect_call,
1042
+ ) ;
986
1043
}
987
1044
988
1045
fn write_rust_function_shim_decl (
@@ -993,12 +1050,18 @@ fn write_rust_function_shim_decl(
993
1050
indirect_call : bool ,
994
1051
) {
995
1052
begin_function_definition ( out) ;
996
- write_return_type ( out, & sig. ret ) ;
1053
+ if !sig. constructor {
1054
+ write_return_type ( out, & sig. ret ) ;
1055
+ }
997
1056
if let Some ( self_type) = self_type {
998
- write ! ( out, "{}::{}(" , out. types. resolve( self_type) . name. cxx, local_name) ;
1057
+ let cxx_name = & out. types . resolve ( self_type) . name . cxx ;
1058
+ if sig. constructor {
1059
+ write ! ( out, "{}::{}(" , cxx_name, cxx_name) ;
1060
+ } else {
1061
+ write ! ( out, "{}::{}(" , cxx_name, local_name) ;
1062
+ }
999
1063
} else {
1000
1064
write ! ( out, "{}(" , local_name) ;
1001
-
1002
1065
}
1003
1066
for ( i, arg) in sig. args . iter ( ) . enumerate ( ) {
1004
1067
if i > 0 {
@@ -1059,20 +1122,22 @@ fn write_rust_function_shim_impl(
1059
1122
write ! ( out, " " ) ;
1060
1123
let indirect_return = indirect_return ( sig, out. types ) ;
1061
1124
if indirect_return {
1062
- out. builtin . maybe_uninit = true ;
1063
- write ! ( out, "::rust::MaybeUninit<" ) ;
1064
- match sig. ret . as_ref ( ) . unwrap ( ) {
1065
- Type :: Ref ( ret) => {
1066
- write_type_space ( out, & ret. inner ) ;
1067
- if !ret. mutable {
1068
- write ! ( out, "const " ) ;
1125
+ if !sig. constructor {
1126
+ out. builtin . maybe_uninit = true ;
1127
+ write ! ( out, "::rust::MaybeUninit<" ) ;
1128
+ match sig. ret . as_ref ( ) . unwrap ( ) {
1129
+ Type :: Ref ( ret) => {
1130
+ write_type_space ( out, & ret. inner ) ;
1131
+ if !ret. mutable {
1132
+ write ! ( out, "const " ) ;
1133
+ }
1134
+ write ! ( out, "*" ) ;
1069
1135
}
1070
- write ! ( out, "*" ) ;
1136
+ ret => write_type ( out, ret ) ,
1071
1137
}
1072
- ret => write_type ( out, ret) ,
1138
+ writeln ! ( out, "> return$;" ) ;
1139
+ write ! ( out, " " ) ;
1073
1140
}
1074
- writeln ! ( out, "> return$;" ) ;
1075
- write ! ( out, " " ) ;
1076
1141
} else if let Some ( ret) = & sig. ret {
1077
1142
write ! ( out, "return " ) ;
1078
1143
match ret {
@@ -1128,7 +1193,11 @@ fn write_rust_function_shim_impl(
1128
1193
if needs_comma {
1129
1194
write ! ( out, ", " ) ;
1130
1195
}
1131
- write ! ( out, "&return$.value" ) ;
1196
+ if sig. constructor {
1197
+ write ! ( out, "this" ) ;
1198
+ } else {
1199
+ write ! ( out, "&return$.value" ) ;
1200
+ }
1132
1201
needs_comma = true ;
1133
1202
}
1134
1203
if indirect_call {
@@ -1152,7 +1221,7 @@ fn write_rust_function_shim_impl(
1152
1221
writeln ! ( out, " throw ::rust::impl<::rust::Error>::error(error$);" ) ;
1153
1222
writeln ! ( out, " }}" ) ;
1154
1223
}
1155
- if indirect_return {
1224
+ if indirect_return && !sig . constructor {
1156
1225
write ! ( out, " return " ) ;
1157
1226
match sig. ret . as_ref ( ) . unwrap ( ) {
1158
1227
Type :: Ref ( _) => write ! ( out, "*return$.value" ) ,
@@ -1174,9 +1243,11 @@ fn write_return_type(out: &mut OutFile, ty: &Option<Type>) {
1174
1243
}
1175
1244
1176
1245
fn indirect_return ( sig : & Signature , types : & Types ) -> bool {
1177
- sig. ret
1178
- . as_ref ( )
1179
- . is_some_and ( |ret| sig. throws || types. needs_indirect_abi ( ret) )
1246
+ sig. constructor
1247
+ || sig
1248
+ . ret
1249
+ . as_ref ( )
1250
+ . is_some_and ( |ret| sig. throws || types. needs_indirect_abi ( ret) )
1180
1251
}
1181
1252
1182
1253
fn write_indirect_return_type ( out : & mut OutFile , ty : & Type ) {
0 commit comments