Skip to content

Commit b77d60a

Browse files
committed
Auto merge of #25888 - steveklabnik:rollup, r=steveklabnik
- Successful merges: #25788, #25861, #25864, #25865, #25866, #25873, #25876, #25883, #25886 - Failed merges:
2 parents 996fb8d + ed19a6e commit b77d60a

File tree

15 files changed

+190
-36
lines changed

15 files changed

+190
-36
lines changed

src/doc/style/features/functions-and-methods/README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,7 @@ for any operation that is clearly associated with a particular
2020
type.
2121

2222
Methods have numerous advantages over functions:
23+
2324
* They do not need to be imported or qualified to be used: all you
2425
need is a value of the appropriate type.
2526
* Their invocation performs autoborrowing (including mutable borrows).

src/doc/style/features/functions-and-methods/input.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -159,7 +159,7 @@ fn foo(a: u8) { ... }
159159
Note that
160160
[`ascii::Ascii`](http://static.rust-lang.org/doc/master/std/ascii/struct.Ascii.html)
161161
is a _wrapper_ around `u8` that guarantees the highest bit is zero; see
162-
[newtype patterns]() for more details on creating typesafe wrappers.
162+
[newtype patterns](../types/newtype.md) for more details on creating typesafe wrappers.
163163
164164
Static enforcement usually comes at little run-time cost: it pushes the
165165
costs to the boundaries (e.g. when a `u8` is first converted into an

src/doc/style/features/let.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@ Prefer
3434

3535
```rust
3636
let foo = match bar {
37-
Baz => 0,
37+
Baz => 0,
3838
Quux => 1
3939
};
4040
```
@@ -44,7 +44,7 @@ over
4444
```rust
4545
let foo;
4646
match bar {
47-
Baz => {
47+
Baz => {
4848
foo = 0;
4949
}
5050
Quux => {
@@ -61,8 +61,8 @@ conditional expression.
6161
Prefer
6262

6363
```rust
64-
s.iter().map(|x| x * 2)
65-
.collect::<Vec<_>>()
64+
let v = s.iter().map(|x| x * 2)
65+
.collect::<Vec<_>>();
6666
```
6767

6868
over

src/doc/style/ownership/builders.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ If `T` is such a data structure, consider introducing a `T` _builder_:
1616
value. When possible, choose a better name: e.g. `Command` is the builder for
1717
`Process`.
1818
2. The builder constructor should take as parameters only the data _required_ to
19-
to make a `T`.
19+
make a `T`.
2020
3. The builder should offer a suite of convenient methods for configuration,
2121
including setting up compound inputs (like slices) incrementally.
2222
These methods should return `self` to allow chaining.

src/doc/trpl/README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ language would.
1515

1616
[rust]: http://rust-lang.org
1717

18-
“The Rust Programming Language” is split into seven sections. This introduction
18+
“The Rust Programming Language” is split into eight sections. This introduction
1919
is the first. After this:
2020

2121
* [Getting started][gs] - Set up your computer for Rust development.

src/doc/trpl/glossary.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ In the example above `x` and `y` have arity 2. `z` has arity 3.
1919

2020
When a compiler is compiling your program, it does a number of different
2121
things. One of the things that it does is turn the text of your program into an
22-
‘abstract syntax tree’, or‘AST’. This tree is a representation of the
22+
‘abstract syntax tree’, or ‘AST’. This tree is a representation of the
2323
structure of your program. For example, `2 + 3` can be turned into a tree:
2424

2525
```text

src/doc/trpl/lifetimes.md

Lines changed: 23 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -134,8 +134,29 @@ x: &'a i32,
134134
# }
135135
```
136136

137-
uses it. So why do we need a lifetime here? We need to ensure that any
138-
reference to the contained `i32` does not outlive the containing `Foo`.
137+
uses it. So why do we need a lifetime here? We need to ensure that any reference
138+
to a `Foo` cannot outlive the reference to an `i32` it contains.
139+
140+
If you have multiple references, you can use the same lifetime multiple times:
141+
142+
```rust
143+
fn x_or_y<'a>(x: &'a str, y: &'a str) -> &'a str {
144+
# x
145+
# }
146+
```
147+
148+
This says that `x` and `y` both are alive for the same scope, and that the
149+
return value is also alive for that scope. If you wanted `x` and `y` to have
150+
different lifetimes, you can use multiple lifetime parameters:
151+
152+
```rust
153+
fn x_or_y<'a, 'b>(x: &'a str, y: &'b str) -> &'a str {
154+
# x
155+
# }
156+
```
157+
158+
In this example, `x` and `y` have different valid scopes, but the return value
159+
has the same lifetime as `x`.
139160

140161
## Thinking in scopes
141162

src/doc/trpl/method-syntax.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ Functions are great, but if you want to call a bunch of them on some data, it
44
can be awkward. Consider this code:
55

66
```rust,ignore
7-
baz(bar(foo)));
7+
baz(bar(foo));
88
```
99

1010
We would read this left-to right, and so we see ‘baz bar foo’. But this isn’t the

src/doc/trpl/traits.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -285,7 +285,7 @@ fn bar<T, K>(x: T, y: K) where T: Clone, K: Clone + Debug {
285285

286286
fn main() {
287287
foo("Hello", "world");
288-
bar("Hello", "workd");
288+
bar("Hello", "world");
289289
}
290290
```
291291

src/libcore/mem.rs

Lines changed: 48 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -52,20 +52,61 @@ pub use intrinsics::transmute;
5252
/// * `mpsc::{Sender, Receiver}` cycles (they use `Arc` internally)
5353
/// * Panicking destructors are likely to leak local resources
5454
///
55+
/// # When To Use
56+
///
57+
/// There's only a few reasons to use this function. They mainly come
58+
/// up in unsafe code or FFI code.
59+
///
60+
/// * You have an uninitialized value, perhaps for performance reasons, and
61+
/// need to prevent the destructor from running on it.
62+
/// * You have two copies of a value (like `std::mem::swap`), but need the
63+
/// destructor to only run once to prevent a double free.
64+
/// * Transferring resources across FFI boundries.
65+
///
5566
/// # Example
5667
///
57-
/// ```rust,no_run
68+
/// Leak some heap memory by never deallocating it.
69+
///
70+
/// ```rust
5871
/// use std::mem;
59-
/// use std::fs::File;
6072
///
61-
/// // Leak some heap memory by never deallocating it
6273
/// let heap_memory = Box::new(3);
6374
/// mem::forget(heap_memory);
75+
/// ```
76+
///
77+
/// Leak an I/O object, never closing the file.
78+
///
79+
/// ```rust,no_run
80+
/// use std::mem;
81+
/// use std::fs::File;
6482
///
65-
/// // Leak an I/O object, never closing the file
6683
/// let file = File::open("foo.txt").unwrap();
6784
/// mem::forget(file);
6885
/// ```
86+
///
87+
/// The swap function uses forget to good effect.
88+
///
89+
/// ```rust
90+
/// use std::mem;
91+
/// use std::ptr;
92+
///
93+
/// fn swap<T>(x: &mut T, y: &mut T) {
94+
/// unsafe {
95+
/// // Give ourselves some scratch space to work with
96+
/// let mut t: T = mem::uninitialized();
97+
///
98+
/// // Perform the swap, `&mut` pointers never alias
99+
/// ptr::copy_nonoverlapping(&*x, &mut t, 1);
100+
/// ptr::copy_nonoverlapping(&*y, x, 1);
101+
/// ptr::copy_nonoverlapping(&t, y, 1);
102+
///
103+
/// // y and t now point to the same thing, but we need to completely
104+
/// // forget `t` because we do not want to run the destructor for `T`
105+
/// // on its value, which is still owned somewhere outside this function.
106+
/// mem::forget(t);
107+
/// }
108+
/// }
109+
/// ```
69110
#[stable(feature = "rust1", since = "1.0.0")]
70111
pub fn forget<T>(t: T) {
71112
unsafe { intrinsics::forget(t) }
@@ -267,8 +308,9 @@ pub fn swap<T>(x: &mut T, y: &mut T) {
267308
ptr::copy_nonoverlapping(&*y, x, 1);
268309
ptr::copy_nonoverlapping(&t, y, 1);
269310

270-
// y and t now point to the same thing, but we need to completely forget `t`
271-
// because it's no longer relevant.
311+
// y and t now point to the same thing, but we need to completely
312+
// forget `t` because we do not want to run the destructor for `T`
313+
// on its value, which is still owned somewhere outside this function.
272314
forget(t);
273315
}
274316
}

0 commit comments

Comments
 (0)