@@ -13,16 +13,16 @@ provides three kinds of material:
1313 - Appendix chapters providing rationale and references to languages that
1414 influenced the design.
1515
16- This document does not serve as an introduction to the
16+ This document does not serve as a tutorial introduction to the
1717language. Background familiarity with the language is assumed. A separate
18- [ guide ] is available to help acquire such background familiarity.
18+ [ tutorial ] document is available to help acquire such background familiarity.
1919
2020This document also does not serve as a reference to the [ standard]
2121library included in the language distribution. Those libraries are
2222documented separately by extracting documentation attributes from their
2323source code.
2424
25- [ guide ] : guide .html
25+ [ tutorial ] : tutorial .html
2626[ standard ] : std/index.html
2727
2828## Disclaimer
@@ -349,7 +349,7 @@ enclosed within two `U+0022` (double-quote) characters,
349349with the exception of ` U+0022 ` itself,
350350which must be _ escaped_ by a preceding ` U+005C ` character (` \ ` ),
351351or a _ raw byte string literal_ .
352- It is equivalent to a ` &'static [u8] ` borrowed array of unsigned 8-bit integers.
352+ It is equivalent to a ` &'static [u8] ` borrowed vector of unsigned 8-bit integers.
353353
354354Some additional _ escapes_ are available in either byte or non-raw byte string
355355literals. An escape starts with a ` U+005C ` (` \ ` ) and continues with one of
@@ -2555,8 +2555,6 @@ The currently implemented features of the reference compiler are:
25552555 which is considered wildly unsafe and will be
25562556 obsoleted by language improvements.
25572557
2558- * ` tuple_indexing ` - Allows use of tuple indexing (expressions like ` expr.0 ` )
2559-
25602558If a feature is promoted to a language feature, then all existing programs will
25612559start to receive compilation warnings about #[ feature] directives which enabled
25622560the new feature (because the directive is no longer necessary). However, if
@@ -2811,17 +2809,16 @@ When the type providing the field inherits mutabilty, it can be [assigned](#assi
28112809Also, if the type of the expression to the left of the dot is a pointer,
28122810it is automatically dereferenced to make the field access possible.
28132811
2814- ### Array expressions
2812+ ### Vector expressions
28152813
28162814~~~~ {.ebnf .gram}
2817- array_expr : '[' "mut" ? vec_elems? ']' ;
2815+ vec_expr : '[' "mut" ? vec_elems? ']' ;
28182816
2819- array_elems : [expr [',' expr]*] | [expr ',' ".." expr] ;
2817+ vec_elems : [expr [',' expr]*] | [expr ',' ".." expr] ;
28202818~~~~
28212819
2822- An [ array] ( #vector,-array,-and-slice-types ) _ expression_ is written by
2823- enclosing zero or more comma-separated expressions of uniform type in square
2824- brackets.
2820+ A [ _ vector_ ] ( #vector-types ) _ expression_ is written by enclosing zero or
2821+ more comma-separated expressions of uniform type in square brackets.
28252822
28262823In the ` [expr ',' ".." expr] ` form, the expression after the ` ".." `
28272824must be a constant expression that can be evaluated at compile time, such
@@ -2830,7 +2827,7 @@ as a [literal](#literals) or a [static item](#static-items).
28302827~~~~
28312828[1i, 2, 3, 4];
28322829["a", "b", "c", "d"];
2833- [0i, ..128]; // array with 128 zeros
2830+ [0i, ..128]; // vector with 128 zeros
28342831[0u8, 0u8, 0u8, 0u8];
28352832~~~~
28362833
@@ -2840,9 +2837,9 @@ as a [literal](#literals) or a [static item](#static-items).
28402837idx_expr : expr '[' expr ']' ;
28412838~~~~
28422839
2843- [ Array ] ( #vector,-array,-and-slice -types ) -typed expressions can be indexed by writing a
2840+ [ Vector ] ( #vector-types ) -typed expressions can be indexed by writing a
28442841square-bracket-enclosed expression (the index) after them. When the
2845- array is mutable, the resulting [ lvalue] ( #lvalues,-rvalues-and-temporaries ) can be assigned to.
2842+ vector is mutable, the resulting [ lvalue] ( #lvalues,-rvalues-and-temporaries ) can be assigned to.
28462843
28472844Indices are zero-based, and may be of any integral type. Vector access
28482845is bounds-checked at run-time. When the check fails, it will put the
@@ -2903,7 +2900,7 @@ This means that arithmetic operators can be overridden for user-defined types.
29032900The default meaning of the operators on standard types is given here.
29042901
29052902* ` + `
2906- : Addition and array /string concatenation.
2903+ : Addition and vector /string concatenation.
29072904 Calls the ` add ` method on the ` std::ops::Add ` trait.
29082905* ` - `
29092906 : Subtraction.
@@ -3206,7 +3203,7 @@ for_expr : "for" pat "in" no_struct_literal_expr '{' block '}' ;
32063203A ` for ` expression is a syntactic construct for looping over elements
32073204provided by an implementation of ` std::iter::Iterator ` .
32083205
3209- An example of a for loop over the contents of an array :
3206+ An example of a for loop over the contents of a vector :
32103207
32113208~~~~
32123209# type Foo = int;
@@ -3264,7 +3261,7 @@ match_pat : pat [ '|' pat ] * [ "if" expr ] ? ;
32643261
32653262A ` match ` expression branches on a * pattern* . The exact form of matching that
32663263occurs depends on the pattern. Patterns consist of some combination of
3267- literals, destructured arrays or enum constructors, structures and
3264+ literals, destructured vectors or enum constructors, structures and
32683265tuples, variable binding specifications, wildcards (` .. ` ), and placeholders
32693266(` _ ` ). A ` match ` expression has a * head expression* , which is the value to
32703267compare to the patterns. The type of the patterns must equal the type of the
@@ -3293,11 +3290,11 @@ between `_` and `..` is that the pattern `C(_)` is only type-correct if `C` has
32933290exactly one argument, while the pattern ` C(..) ` is type-correct for any enum
32943291variant ` C ` , regardless of how many arguments ` C ` has.
32953292
3296- Used inside a array pattern, ` .. ` stands for any number of elements, when the
3293+ Used inside a vector pattern, ` .. ` stands for any number of elements, when the
32973294` advanced_slice_patterns ` feature gate is turned on. This wildcard can be used
3298- at most once for a given array , which implies that it cannot be used to
3295+ at most once for a given vector , which implies that it cannot be used to
32993296specifically match elements that are at an unknown distance from both ends of a
3300- array , like ` [.., 42, ..] ` . If followed by a variable name, it will bind the
3297+ vector , like ` [.., 42, ..] ` . If followed by a variable name, it will bind the
33013298corresponding slice to the variable. Example:
33023299
33033300~~~~
@@ -3430,7 +3427,7 @@ let message = match x {
34303427~~~~
34313428
34323429Range patterns only work on scalar types
3433- (like integers and characters; not like arrays and structs, which have sub-components).
3430+ (like integers and characters; not like vectors and structs, which have sub-components).
34343431A range pattern may not be a sub-range of another range pattern inside the same ` match ` .
34353432
34363433Finally, match patterns can accept * pattern guards* to further refine the
@@ -3538,10 +3535,10 @@ http://www.unicode.org/glossary/#unicode_scalar_value)
35383535(ie. a code point that is not a surrogate),
35393536represented as a 32-bit unsigned word in the 0x0000 to 0xD7FF
35403537or 0xE000 to 0x10FFFF range.
3541- A ` [char] ` array is effectively an UCS-4 / UTF-32 string.
3538+ A ` [char] ` vector is effectively an UCS-4 / UTF-32 string.
35423539
35433540A value of type ` str ` is a Unicode string,
3544- represented as a array of 8-bit unsigned bytes holding a sequence of UTF-8 codepoints.
3541+ represented as a vector of 8-bit unsigned bytes holding a sequence of UTF-8 codepoints.
35453542Since ` str ` is of unknown size, it is not a _ first class_ type,
35463543but can only be instantiated through a pointer type,
35473544such as ` &str ` or ` String ` .
@@ -3652,7 +3649,7 @@ Such recursion has restrictions:
36523649
36533650* Recursive types must include a nominal type in the recursion
36543651 (not mere [ type definitions] ( #type-definitions ) ,
3655- or other structural types such as [ arrays ] ( #vector,-array,-and-slice -types ) or [ tuples] ( #tuple-types ) ).
3652+ or other structural types such as [ vectors ] ( #vector-types ) or [ tuples] ( #tuple-types ) ).
36563653* A recursive ` enum ` item must have at least one non-recursive constructor
36573654 (in order to give the recursion a basis case).
36583655* The size of a recursive type must be finite;
@@ -4156,7 +4153,7 @@ heap data.
41564153### Built in types
41574154
41584155The runtime provides C and Rust code to assist with various built-in types,
4159- such as arrays , strings, and the low level communication system (ports,
4156+ such as vectors , strings, and the low level communication system (ports,
41604157channels, tasks).
41614158
41624159Support for other built-in types such as simple types, tuples and
@@ -4175,7 +4172,7 @@ communication facilities.
41754172The Rust compiler supports various methods to link crates together both
41764173statically and dynamically. This section will explore the various methods to
41774174link Rust crates together, and more information about native libraries can be
4178- found in the [ ffi guide ] [ ffi ] .
4175+ found in the [ ffi tutorial ] [ ffi ] .
41794176
41804177In one session of compilation, the compiler can generate multiple artifacts
41814178through the usage of either command line flags or the ` crate_type ` attribute.
0 commit comments