Skip to content

Commit 04ca6dc

Browse files
huonwhuonw
committed
std: Replace CloneableTuple with Tuple, which takes self by-val.
The old behaviour of `foo.n0()` is replaced by `foo.n0_ref().clone()`.
1 parent 6ed338c commit 04ca6dc

File tree

2 files changed

+104
-102
lines changed

2 files changed

+104
-102
lines changed

‎src/libstd/prelude.rs

+4-4
Original file line numberDiff line numberDiff line change
@@ -72,10 +72,10 @@ pub use from_str::FromStr;
7272
pub use to_bytes::IterBytes;
7373
pub use to_str::{ToStr, ToStrConsume};
7474
pub use tuple::{CopyableTuple, ImmutableTuple};
75-
pub use tuple::{CloneableTuple1, ImmutableTuple1};
76-
pub use tuple::{CloneableTuple2, CloneableTuple3, CloneableTuple4, CloneableTuple5};
77-
pub use tuple::{CloneableTuple6, CloneableTuple7, CloneableTuple8, CloneableTuple9};
78-
pub use tuple::{CloneableTuple10, CloneableTuple11, CloneableTuple12};
75+
pub use tuple::{Tuple1, ImmutableTuple1};
76+
pub use tuple::{Tuple2, Tuple3, Tuple4, Tuple5};
77+
pub use tuple::{Tuple6, Tuple7, Tuple8, Tuple9};
78+
pub use tuple::{Tuple10, Tuple11, Tuple12};
7979
pub use tuple::{ImmutableTuple2, ImmutableTuple3, ImmutableTuple4, ImmutableTuple5};
8080
pub use tuple::{ImmutableTuple6, ImmutableTuple7, ImmutableTuple8, ImmutableTuple9};
8181
pub use tuple::{ImmutableTuple10, ImmutableTuple11, ImmutableTuple12};

‎src/libstd/tuple.rs

+100-98
Original file line numberDiff line numberDiff line change
@@ -80,9 +80,9 @@ impl<T, U> ImmutableTuple<T, U> for (T, U) {
8080

8181
macro_rules! tuple_impls {
8282
($(
83-
($cloneable_trait:ident, $immutable_trait:ident) {
83+
($move_trait:ident, $immutable_trait:ident) {
8484
$(($get_fn:ident, $get_ref_fn:ident) -> $T:ident {
85-
$get_pattern:pat => $ret:expr
85+
$move_pattern:pat, $ref_pattern:pat => $ret:expr
8686
})+
8787
}
8888
)+) => {
@@ -93,15 +93,16 @@ macro_rules! tuple_impls {
9393
#[cfg(not(test))] use num::Zero;
9494

9595
$(
96-
pub trait $cloneable_trait<$($T),+> {
97-
$(fn $get_fn(&self) -> $T;)+
96+
pub trait $move_trait<$($T),+> {
97+
$(fn $get_fn(self) -> $T;)+
9898
}
9999

100-
impl<$($T:Clone),+> $cloneable_trait<$($T),+> for ($($T,)+) {
100+
impl<$($T),+> $move_trait<$($T),+> for ($($T,)+) {
101101
$(
102102
#[inline]
103-
fn $get_fn(&self) -> $T {
104-
self.$get_ref_fn().clone()
103+
fn $get_fn(self) -> $T {
104+
let $move_pattern = self;
105+
$ret
105106
}
106107
)+
107108
}
@@ -114,7 +115,8 @@ macro_rules! tuple_impls {
114115
$(
115116
#[inline]
116117
fn $get_ref_fn<'a>(&'a self) -> &'a $T {
117-
match *self { $get_pattern => $ret }
118+
let $ref_pattern = *self;
119+
$ret
118120
}
119121
)+
120122
}
@@ -221,118 +223,118 @@ macro_rules! lexical_cmp {
221223

222224

223225
tuple_impls! {
224-
(CloneableTuple1, ImmutableTuple1) {
225-
(n0, n0_ref) -> A { (ref a,) => a }
226+
(Tuple1, ImmutableTuple1) {
227+
(n0, n0_ref) -> A { (a,), (ref a,) => a }
226228
}
227229

228-
(CloneableTuple2, ImmutableTuple2) {
229-
(n0, n0_ref) -> A { (ref a,_) => a }
230-
(n1, n1_ref) -> B { (_,ref b) => b }
230+
(Tuple2, ImmutableTuple2) {
231+
(n0, n0_ref) -> A { (a,_), (ref a,_) => a }
232+
(n1, n1_ref) -> B { (_,b), (_,ref b) => b }
231233
}
232234

233-
(CloneableTuple3, ImmutableTuple3) {
234-
(n0, n0_ref) -> A { (ref a,_,_) => a }
235-
(n1, n1_ref) -> B { (_,ref b,_) => b }
236-
(n2, n2_ref) -> C { (_,_,ref c) => c }
235+
(Tuple3, ImmutableTuple3) {
236+
(n0, n0_ref) -> A { (a,_,_), (ref a,_,_) => a }
237+
(n1, n1_ref) -> B { (_,b,_), (_,ref b,_) => b }
238+
(n2, n2_ref) -> C { (_,_,c), (_,_,ref c) => c }
237239
}
238240

239-
(CloneableTuple4, ImmutableTuple4) {
240-
(n0, n0_ref) -> A { (ref a,_,_,_) => a }
241-
(n1, n1_ref) -> B { (_,ref b,_,_) => b }
242-
(n2, n2_ref) -> C { (_,_,ref c,_) => c }
243-
(n3, n3_ref) -> D { (_,_,_,ref d) => d }
241+
(Tuple4, ImmutableTuple4) {
242+
(n0, n0_ref) -> A { (a,_,_,_), (ref a,_,_,_) => a }
243+
(n1, n1_ref) -> B { (_,b,_,_), (_,ref b,_,_) => b }
244+
(n2, n2_ref) -> C { (_,_,c,_), (_,_,ref c,_) => c }
245+
(n3, n3_ref) -> D { (_,_,_,d), (_,_,_,ref d) => d }
244246
}
245247

246-
(CloneableTuple5, ImmutableTuple5) {
247-
(n0, n0_ref) -> A { (ref a,_,_,_,_) => a }
248-
(n1, n1_ref) -> B { (_,ref b,_,_,_) => b }
249-
(n2, n2_ref) -> C { (_,_,ref c,_,_) => c }
250-
(n3, n3_ref) -> D { (_,_,_,ref d,_) => d }
251-
(n4, n4_ref) -> E { (_,_,_,_,ref e) => e }
248+
(Tuple5, ImmutableTuple5) {
249+
(n0, n0_ref) -> A { (a,_,_,_,_), (ref a,_,_,_,_) => a }
250+
(n1, n1_ref) -> B { (_,b,_,_,_), (_,ref b,_,_,_) => b }
251+
(n2, n2_ref) -> C { (_,_,c,_,_), (_,_,ref c,_,_) => c }
252+
(n3, n3_ref) -> D { (_,_,_,d,_), (_,_,_,ref d,_) => d }
253+
(n4, n4_ref) -> E { (_,_,_,_,e), (_,_,_,_,ref e) => e }
252254
}
253255

254-
(CloneableTuple6, ImmutableTuple6) {
255-
(n0, n0_ref) -> A { (ref a,_,_,_,_,_) => a }
256-
(n1, n1_ref) -> B { (_,ref b,_,_,_,_) => b }
257-
(n2, n2_ref) -> C { (_,_,ref c,_,_,_) => c }
258-
(n3, n3_ref) -> D { (_,_,_,ref d,_,_) => d }
259-
(n4, n4_ref) -> E { (_,_,_,_,ref e,_) => e }
260-
(n5, n5_ref) -> F { (_,_,_,_,_,ref f) => f }
256+
(Tuple6, ImmutableTuple6) {
257+
(n0, n0_ref) -> A { (a,_,_,_,_,_), (ref a,_,_,_,_,_) => a }
258+
(n1, n1_ref) -> B { (_,b,_,_,_,_), (_,ref b,_,_,_,_) => b }
259+
(n2, n2_ref) -> C { (_,_,c,_,_,_), (_,_,ref c,_,_,_) => c }
260+
(n3, n3_ref) -> D { (_,_,_,d,_,_), (_,_,_,ref d,_,_) => d }
261+
(n4, n4_ref) -> E { (_,_,_,_,e,_), (_,_,_,_,ref e,_) => e }
262+
(n5, n5_ref) -> F { (_,_,_,_,_,f), (_,_,_,_,_,ref f) => f }
261263
}
262264

263-
(CloneableTuple7, ImmutableTuple7) {
264-
(n0, n0_ref) -> A { (ref a,_,_,_,_,_,_) => a }
265-
(n1, n1_ref) -> B { (_,ref b,_,_,_,_,_) => b }
266-
(n2, n2_ref) -> C { (_,_,ref c,_,_,_,_) => c }
267-
(n3, n3_ref) -> D { (_,_,_,ref d,_,_,_) => d }
268-
(n4, n4_ref) -> E { (_,_,_,_,ref e,_,_) => e }
269-
(n5, n5_ref) -> F { (_,_,_,_,_,ref f,_) => f }
270-
(n6, n6_ref) -> G { (_,_,_,_,_,_,ref g) => g }
265+
(Tuple7, ImmutableTuple7) {
266+
(n0, n0_ref) -> A { (a,_,_,_,_,_,_), (ref a,_,_,_,_,_,_) => a }
267+
(n1, n1_ref) -> B { (_,b,_,_,_,_,_), (_,ref b,_,_,_,_,_) => b }
268+
(n2, n2_ref) -> C { (_,_,c,_,_,_,_), (_,_,ref c,_,_,_,_) => c }
269+
(n3, n3_ref) -> D { (_,_,_,d,_,_,_), (_,_,_,ref d,_,_,_) => d }
270+
(n4, n4_ref) -> E { (_,_,_,_,e,_,_), (_,_,_,_,ref e,_,_) => e }
271+
(n5, n5_ref) -> F { (_,_,_,_,_,f,_), (_,_,_,_,_,ref f,_) => f }
272+
(n6, n6_ref) -> G { (_,_,_,_,_,_,g), (_,_,_,_,_,_,ref g) => g }
271273
}
272274

273-
(CloneableTuple8, ImmutableTuple8) {
274-
(n0, n0_ref) -> A { (ref a,_,_,_,_,_,_,_) => a }
275-
(n1, n1_ref) -> B { (_,ref b,_,_,_,_,_,_) => b }
276-
(n2, n2_ref) -> C { (_,_,ref c,_,_,_,_,_) => c }
277-
(n3, n3_ref) -> D { (_,_,_,ref d,_,_,_,_) => d }
278-
(n4, n4_ref) -> E { (_,_,_,_,ref e,_,_,_) => e }
279-
(n5, n5_ref) -> F { (_,_,_,_,_,ref f,_,_) => f }
280-
(n6, n6_ref) -> G { (_,_,_,_,_,_,ref g,_) => g }
281-
(n7, n7_ref) -> H { (_,_,_,_,_,_,_,ref h) => h }
275+
(Tuple8, ImmutableTuple8) {
276+
(n0, n0_ref) -> A { (a,_,_,_,_,_,_,_), (ref a,_,_,_,_,_,_,_) => a }
277+
(n1, n1_ref) -> B { (_,b,_,_,_,_,_,_), (_,ref b,_,_,_,_,_,_) => b }
278+
(n2, n2_ref) -> C { (_,_,c,_,_,_,_,_), (_,_,ref c,_,_,_,_,_) => c }
279+
(n3, n3_ref) -> D { (_,_,_,d,_,_,_,_), (_,_,_,ref d,_,_,_,_) => d }
280+
(n4, n4_ref) -> E { (_,_,_,_,e,_,_,_), (_,_,_,_,ref e,_,_,_) => e }
281+
(n5, n5_ref) -> F { (_,_,_,_,_,f,_,_), (_,_,_,_,_,ref f,_,_) => f }
282+
(n6, n6_ref) -> G { (_,_,_,_,_,_,g,_), (_,_,_,_,_,_,ref g,_) => g }
283+
(n7, n7_ref) -> H { (_,_,_,_,_,_,_,h), (_,_,_,_,_,_,_,ref h) => h }
282284
}
283285

284-
(CloneableTuple9, ImmutableTuple9) {
285-
(n0, n0_ref) -> A { (ref a,_,_,_,_,_,_,_,_) => a }
286-
(n1, n1_ref) -> B { (_,ref b,_,_,_,_,_,_,_) => b }
287-
(n2, n2_ref) -> C { (_,_,ref c,_,_,_,_,_,_) => c }
288-
(n3, n3_ref) -> D { (_,_,_,ref d,_,_,_,_,_) => d }
289-
(n4, n4_ref) -> E { (_,_,_,_,ref e,_,_,_,_) => e }
290-
(n5, n5_ref) -> F { (_,_,_,_,_,ref f,_,_,_) => f }
291-
(n6, n6_ref) -> G { (_,_,_,_,_,_,ref g,_,_) => g }
292-
(n7, n7_ref) -> H { (_,_,_,_,_,_,_,ref h,_) => h }
293-
(n8, n8_ref) -> I { (_,_,_,_,_,_,_,_,ref i) => i }
286+
(Tuple9, ImmutableTuple9) {
287+
(n0, n0_ref) -> A { (a,_,_,_,_,_,_,_,_), (ref a,_,_,_,_,_,_,_,_) => a }
288+
(n1, n1_ref) -> B { (_,b,_,_,_,_,_,_,_), (_,ref b,_,_,_,_,_,_,_) => b }
289+
(n2, n2_ref) -> C { (_,_,c,_,_,_,_,_,_), (_,_,ref c,_,_,_,_,_,_) => c }
290+
(n3, n3_ref) -> D { (_,_,_,d,_,_,_,_,_), (_,_,_,ref d,_,_,_,_,_) => d }
291+
(n4, n4_ref) -> E { (_,_,_,_,e,_,_,_,_), (_,_,_,_,ref e,_,_,_,_) => e }
292+
(n5, n5_ref) -> F { (_,_,_,_,_,f,_,_,_), (_,_,_,_,_,ref f,_,_,_) => f }
293+
(n6, n6_ref) -> G { (_,_,_,_,_,_,g,_,_), (_,_,_,_,_,_,ref g,_,_) => g }
294+
(n7, n7_ref) -> H { (_,_,_,_,_,_,_,h,_), (_,_,_,_,_,_,_,ref h,_) => h }
295+
(n8, n8_ref) -> I { (_,_,_,_,_,_,_,_,i), (_,_,_,_,_,_,_,_,ref i) => i }
294296
}
295297

296-
(CloneableTuple10, ImmutableTuple10) {
297-
(n0, n0_ref) -> A { (ref a,_,_,_,_,_,_,_,_,_) => a }
298-
(n1, n1_ref) -> B { (_,ref b,_,_,_,_,_,_,_,_) => b }
299-
(n2, n2_ref) -> C { (_,_,ref c,_,_,_,_,_,_,_) => c }
300-
(n3, n3_ref) -> D { (_,_,_,ref d,_,_,_,_,_,_) => d }
301-
(n4, n4_ref) -> E { (_,_,_,_,ref e,_,_,_,_,_) => e }
302-
(n5, n5_ref) -> F { (_,_,_,_,_,ref f,_,_,_,_) => f }
303-
(n6, n6_ref) -> G { (_,_,_,_,_,_,ref g,_,_,_) => g }
304-
(n7, n7_ref) -> H { (_,_,_,_,_,_,_,ref h,_,_) => h }
305-
(n8, n8_ref) -> I { (_,_,_,_,_,_,_,_,ref i,_) => i }
306-
(n9, n9_ref) -> J { (_,_,_,_,_,_,_,_,_,ref j) => j }
298+
(Tuple10, ImmutableTuple10) {
299+
(n0, n0_ref) -> A { (a,_,_,_,_,_,_,_,_,_), (ref a,_,_,_,_,_,_,_,_,_) => a }
300+
(n1, n1_ref) -> B { (_,b,_,_,_,_,_,_,_,_), (_,ref b,_,_,_,_,_,_,_,_) => b }
301+
(n2, n2_ref) -> C { (_,_,c,_,_,_,_,_,_,_), (_,_,ref c,_,_,_,_,_,_,_) => c }
302+
(n3, n3_ref) -> D { (_,_,_,d,_,_,_,_,_,_), (_,_,_,ref d,_,_,_,_,_,_) => d }
303+
(n4, n4_ref) -> E { (_,_,_,_,e,_,_,_,_,_), (_,_,_,_,ref e,_,_,_,_,_) => e }
304+
(n5, n5_ref) -> F { (_,_,_,_,_,f,_,_,_,_), (_,_,_,_,_,ref f,_,_,_,_) => f }
305+
(n6, n6_ref) -> G { (_,_,_,_,_,_,g,_,_,_), (_,_,_,_,_,_,ref g,_,_,_) => g }
306+
(n7, n7_ref) -> H { (_,_,_,_,_,_,_,h,_,_), (_,_,_,_,_,_,_,ref h,_,_) => h }
307+
(n8, n8_ref) -> I { (_,_,_,_,_,_,_,_,i,_), (_,_,_,_,_,_,_,_,ref i,_) => i }
308+
(n9, n9_ref) -> J { (_,_,_,_,_,_,_,_,_,j), (_,_,_,_,_,_,_,_,_,ref j) => j }
307309
}
308310

309-
(CloneableTuple11, ImmutableTuple11) {
310-
(n0, n0_ref) -> A { (ref a,_,_,_,_,_,_,_,_,_,_) => a }
311-
(n1, n1_ref) -> B { (_,ref b,_,_,_,_,_,_,_,_,_) => b }
312-
(n2, n2_ref) -> C { (_,_,ref c,_,_,_,_,_,_,_,_) => c }
313-
(n3, n3_ref) -> D { (_,_,_,ref d,_,_,_,_,_,_,_) => d }
314-
(n4, n4_ref) -> E { (_,_,_,_,ref e,_,_,_,_,_,_) => e }
315-
(n5, n5_ref) -> F { (_,_,_,_,_,ref f,_,_,_,_,_) => f }
316-
(n6, n6_ref) -> G { (_,_,_,_,_,_,ref g,_,_,_,_) => g }
317-
(n7, n7_ref) -> H { (_,_,_,_,_,_,_,ref h,_,_,_) => h }
318-
(n8, n8_ref) -> I { (_,_,_,_,_,_,_,_,ref i,_,_) => i }
319-
(n9, n9_ref) -> J { (_,_,_,_,_,_,_,_,_,ref j,_) => j }
320-
(n10, n10_ref) -> K { (_,_,_,_,_,_,_,_,_,_,ref k) => k }
311+
(Tuple11, ImmutableTuple11) {
312+
(n0, n0_ref) -> A { (a,_,_,_,_,_,_,_,_,_,_), (ref a,_,_,_,_,_,_,_,_,_,_) => a }
313+
(n1, n1_ref) -> B { (_,b,_,_,_,_,_,_,_,_,_), (_,ref b,_,_,_,_,_,_,_,_,_) => b }
314+
(n2, n2_ref) -> C { (_,_,c,_,_,_,_,_,_,_,_), (_,_,ref c,_,_,_,_,_,_,_,_) => c }
315+
(n3, n3_ref) -> D { (_,_,_,d,_,_,_,_,_,_,_), (_,_,_,ref d,_,_,_,_,_,_,_) => d }
316+
(n4, n4_ref) -> E { (_,_,_,_,e,_,_,_,_,_,_), (_,_,_,_,ref e,_,_,_,_,_,_) => e }
317+
(n5, n5_ref) -> F { (_,_,_,_,_,f,_,_,_,_,_), (_,_,_,_,_,ref f,_,_,_,_,_) => f }
318+
(n6, n6_ref) -> G { (_,_,_,_,_,_,g,_,_,_,_), (_,_,_,_,_,_,ref g,_,_,_,_) => g }
319+
(n7, n7_ref) -> H { (_,_,_,_,_,_,_,h,_,_,_), (_,_,_,_,_,_,_,ref h,_,_,_) => h }
320+
(n8, n8_ref) -> I { (_,_,_,_,_,_,_,_,i,_,_), (_,_,_,_,_,_,_,_,ref i,_,_) => i }
321+
(n9, n9_ref) -> J { (_,_,_,_,_,_,_,_,_,j,_), (_,_,_,_,_,_,_,_,_,ref j,_) => j }
322+
(n10, n10_ref) -> K { (_,_,_,_,_,_,_,_,_,_,k), (_,_,_,_,_,_,_,_,_,_,ref k) => k }
321323
}
322324

323-
(CloneableTuple12, ImmutableTuple12) {
324-
(n0, n0_ref) -> A { (ref a,_,_,_,_,_,_,_,_,_,_,_) => a }
325-
(n1, n1_ref) -> B { (_,ref b,_,_,_,_,_,_,_,_,_,_) => b }
326-
(n2, n2_ref) -> C { (_,_,ref c,_,_,_,_,_,_,_,_,_) => c }
327-
(n3, n3_ref) -> D { (_,_,_,ref d,_,_,_,_,_,_,_,_) => d }
328-
(n4, n4_ref) -> E { (_,_,_,_,ref e,_,_,_,_,_,_,_) => e }
329-
(n5, n5_ref) -> F { (_,_,_,_,_,ref f,_,_,_,_,_,_) => f }
330-
(n6, n6_ref) -> G { (_,_,_,_,_,_,ref g,_,_,_,_,_) => g }
331-
(n7, n7_ref) -> H { (_,_,_,_,_,_,_,ref h,_,_,_,_) => h }
332-
(n8, n8_ref) -> I { (_,_,_,_,_,_,_,_,ref i,_,_,_) => i }
333-
(n9, n9_ref) -> J { (_,_,_,_,_,_,_,_,_,ref j,_,_) => j }
334-
(n10, n10_ref) -> K { (_,_,_,_,_,_,_,_,_,_,ref k,_) => k }
335-
(n11, n11_ref) -> L { (_,_,_,_,_,_,_,_,_,_,_,ref l) => l }
325+
(Tuple12, ImmutableTuple12) {
326+
(n0, n0_ref) -> A { (a,_,_,_,_,_,_,_,_,_,_,_), (ref a,_,_,_,_,_,_,_,_,_,_,_) => a }
327+
(n1, n1_ref) -> B { (_,b,_,_,_,_,_,_,_,_,_,_), (_,ref b,_,_,_,_,_,_,_,_,_,_) => b }
328+
(n2, n2_ref) -> C { (_,_,c,_,_,_,_,_,_,_,_,_), (_,_,ref c,_,_,_,_,_,_,_,_,_) => c }
329+
(n3, n3_ref) -> D { (_,_,_,d,_,_,_,_,_,_,_,_), (_,_,_,ref d,_,_,_,_,_,_,_,_) => d }
330+
(n4, n4_ref) -> E { (_,_,_,_,e,_,_,_,_,_,_,_), (_,_,_,_,ref e,_,_,_,_,_,_,_) => e }
331+
(n5, n5_ref) -> F { (_,_,_,_,_,f,_,_,_,_,_,_), (_,_,_,_,_,ref f,_,_,_,_,_,_) => f }
332+
(n6, n6_ref) -> G { (_,_,_,_,_,_,g,_,_,_,_,_), (_,_,_,_,_,_,ref g,_,_,_,_,_) => g }
333+
(n7, n7_ref) -> H { (_,_,_,_,_,_,_,h,_,_,_,_), (_,_,_,_,_,_,_,ref h,_,_,_,_) => h }
334+
(n8, n8_ref) -> I { (_,_,_,_,_,_,_,_,i,_,_,_), (_,_,_,_,_,_,_,_,ref i,_,_,_) => i }
335+
(n9, n9_ref) -> J { (_,_,_,_,_,_,_,_,_,j,_,_), (_,_,_,_,_,_,_,_,_,ref j,_,_) => j }
336+
(n10, n10_ref) -> K { (_,_,_,_,_,_,_,_,_,_,k,_), (_,_,_,_,_,_,_,_,_,_,ref k,_) => k }
337+
(n11, n11_ref) -> L { (_,_,_,_,_,_,_,_,_,_,_,l), (_,_,_,_,_,_,_,_,_,_,_,ref l) => l }
336338
}
337339
}
338340

0 commit comments

Comments
 (0)