@@ -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
@@ -2811,17 +2811,16 @@ When the type providing the field inherits mutabilty, it can be [assigned](#assi
28112811Also, if the type of the expression to the left of the dot is a pointer,
28122812it is automatically dereferenced to make the field access possible.
28132813
2814- ### Array expressions
2814+ ### Vector expressions
28152815
28162816~~~~ {.ebnf .gram}
2817- array_expr : '[' "mut" ? vec_elems? ']' ;
2817+ vec_expr : '[' "mut" ? vec_elems? ']' ;
28182818
2819- array_elems : [expr [',' expr]*] | [expr ',' ".." expr] ;
2819+ vec_elems : [expr [',' expr]*] | [expr ',' ".." expr] ;
28202820~~~~
28212821
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.
2822+ A [ _ vector_ ] ( #vector-types ) _ expression_ is written by enclosing zero or
2823+ more comma-separated expressions of uniform type in square brackets.
28252824
28262825In the ` [expr ',' ".." expr] ` form, the expression after the ` ".." `
28272826must be a constant expression that can be evaluated at compile time, such
@@ -2830,7 +2829,7 @@ as a [literal](#literals) or a [static item](#static-items).
28302829~~~~
28312830[1i, 2, 3, 4];
28322831["a", "b", "c", "d"];
2833- [0i, ..128]; // array with 128 zeros
2832+ [0i, ..128]; // vector with 128 zeros
28342833[0u8, 0u8, 0u8, 0u8];
28352834~~~~
28362835
@@ -2840,9 +2839,9 @@ as a [literal](#literals) or a [static item](#static-items).
28402839idx_expr : expr '[' expr ']' ;
28412840~~~~
28422841
2843- [ Array ] ( #vector,-array,-and-slice -types ) -typed expressions can be indexed by writing a
2842+ [ Vector ] ( #vector-types ) -typed expressions can be indexed by writing a
28442843square-bracket-enclosed expression (the index) after them. When the
2845- array is mutable, the resulting [ lvalue] ( #lvalues,-rvalues-and-temporaries ) can be assigned to.
2844+ vector is mutable, the resulting [ lvalue] ( #lvalues,-rvalues-and-temporaries ) can be assigned to.
28462845
28472846Indices are zero-based, and may be of any integral type. Vector access
28482847is bounds-checked at run-time. When the check fails, it will put the
@@ -2903,7 +2902,7 @@ This means that arithmetic operators can be overridden for user-defined types.
29032902The default meaning of the operators on standard types is given here.
29042903
29052904* ` + `
2906- : Addition and array /string concatenation.
2905+ : Addition and vector /string concatenation.
29072906 Calls the ` add ` method on the ` std::ops::Add ` trait.
29082907* ` - `
29092908 : Subtraction.
@@ -3206,7 +3205,7 @@ for_expr : "for" pat "in" no_struct_literal_expr '{' block '}' ;
32063205A ` for ` expression is a syntactic construct for looping over elements
32073206provided by an implementation of ` std::iter::Iterator ` .
32083207
3209- An example of a for loop over the contents of an array :
3208+ An example of a for loop over the contents of a vector :
32103209
32113210~~~~
32123211# type Foo = int;
@@ -3264,7 +3263,7 @@ match_pat : pat [ '|' pat ] * [ "if" expr ] ? ;
32643263
32653264A ` match ` expression branches on a * pattern* . The exact form of matching that
32663265occurs depends on the pattern. Patterns consist of some combination of
3267- literals, destructured arrays or enum constructors, structures and
3266+ literals, destructured vectors or enum constructors, structures and
32683267tuples, variable binding specifications, wildcards (` .. ` ), and placeholders
32693268(` _ ` ). A ` match ` expression has a * head expression* , which is the value to
32703269compare to the patterns. The type of the patterns must equal the type of the
@@ -3293,11 +3292,11 @@ between `_` and `..` is that the pattern `C(_)` is only type-correct if `C` has
32933292exactly one argument, while the pattern ` C(..) ` is type-correct for any enum
32943293variant ` C ` , regardless of how many arguments ` C ` has.
32953294
3296- Used inside a array pattern, ` .. ` stands for any number of elements, when the
3295+ Used inside a vector pattern, ` .. ` stands for any number of elements, when the
32973296` 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
3297+ at most once for a given vector , which implies that it cannot be used to
32993298specifically 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
3299+ vector , like ` [.., 42, ..] ` . If followed by a variable name, it will bind the
33013300corresponding slice to the variable. Example:
33023301
33033302~~~~
@@ -3430,7 +3429,7 @@ let message = match x {
34303429~~~~
34313430
34323431Range patterns only work on scalar types
3433- (like integers and characters; not like arrays and structs, which have sub-components).
3432+ (like integers and characters; not like vectors and structs, which have sub-components).
34343433A range pattern may not be a sub-range of another range pattern inside the same ` match ` .
34353434
34363435Finally, match patterns can accept * pattern guards* to further refine the
@@ -3538,10 +3537,10 @@ http://www.unicode.org/glossary/#unicode_scalar_value)
35383537(ie. a code point that is not a surrogate),
35393538represented as a 32-bit unsigned word in the 0x0000 to 0xD7FF
35403539or 0xE000 to 0x10FFFF range.
3541- A ` [char] ` array is effectively an UCS-4 / UTF-32 string.
3540+ A ` [char] ` vector is effectively an UCS-4 / UTF-32 string.
35423541
35433542A 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.
3543+ represented as a vector of 8-bit unsigned bytes holding a sequence of UTF-8 codepoints.
35453544Since ` str ` is of unknown size, it is not a _ first class_ type,
35463545but can only be instantiated through a pointer type,
35473546such as ` &str ` or ` String ` .
@@ -3652,7 +3651,7 @@ Such recursion has restrictions:
36523651
36533652* Recursive types must include a nominal type in the recursion
36543653 (not mere [ type definitions] ( #type-definitions ) ,
3655- or other structural types such as [ arrays ] ( #vector,-array,-and-slice -types ) or [ tuples] ( #tuple-types ) ).
3654+ or other structural types such as [ vectors ] ( #vector-types ) or [ tuples] ( #tuple-types ) ).
36563655* A recursive ` enum ` item must have at least one non-recursive constructor
36573656 (in order to give the recursion a basis case).
36583657* The size of a recursive type must be finite;
@@ -4156,7 +4155,7 @@ heap data.
41564155### Built in types
41574156
41584157The 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,
4158+ such as vectors , strings, and the low level communication system (ports,
41604159channels, tasks).
41614160
41624161Support for other built-in types such as simple types, tuples and
@@ -4175,7 +4174,7 @@ communication facilities.
41754174The Rust compiler supports various methods to link crates together both
41764175statically and dynamically. This section will explore the various methods to
41774176link Rust crates together, and more information about native libraries can be
4178- found in the [ ffi guide ] [ ffi ] .
4177+ found in the [ ffi tutorial ] [ ffi ] .
41794178
41804179In one session of compilation, the compiler can generate multiple artifacts
41814180through the usage of either command line flags or the ` crate_type ` attribute.
0 commit comments