@@ -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 a tutorial introduction to the
16+ This document does not serve as an introduction to the
1717language. Background familiarity with the language is assumed. A separate
18- [ tutorial ] document is available to help acquire such background familiarity.
18+ [ guide ] 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- [ tutorial ] : tutorial .html
25+ [ guide ] : guide .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 vector of unsigned 8-bit integers.
352+ It is equivalent to a ` &'static [u8] ` borrowed array 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,6 +2555,8 @@ 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+
25582560If a feature is promoted to a language feature, then all existing programs will
25592561start to receive compilation warnings about #[ feature] directives which enabled
25602562the new feature (because the directive is no longer necessary). However, if
@@ -2809,16 +2811,17 @@ When the type providing the field inherits mutabilty, it can be [assigned](#assi
28092811Also, if the type of the expression to the left of the dot is a pointer,
28102812it is automatically dereferenced to make the field access possible.
28112813
2812- ### Vector expressions
2814+ ### Array expressions
28132815
28142816~~~~ {.ebnf .gram}
2815- vec_expr : '[' "mut" ? vec_elems? ']' ;
2817+ array_expr : '[' "mut" ? vec_elems? ']' ;
28162818
2817- vec_elems : [expr [',' expr]*] | [expr ',' ".." expr] ;
2819+ array_elems : [expr [',' expr]*] | [expr ',' ".." expr] ;
28182820~~~~
28192821
2820- A [ _ vector_ ] ( #vector-types ) _ expression_ is written by enclosing zero or
2821- more comma-separated expressions of uniform type in square brackets.
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.
28222825
28232826In the ` [expr ',' ".." expr] ` form, the expression after the ` ".." `
28242827must be a constant expression that can be evaluated at compile time, such
@@ -2827,7 +2830,7 @@ as a [literal](#literals) or a [static item](#static-items).
28272830~~~~
28282831[1i, 2, 3, 4];
28292832["a", "b", "c", "d"];
2830- [0i, ..128]; // vector with 128 zeros
2833+ [0i, ..128]; // array with 128 zeros
28312834[0u8, 0u8, 0u8, 0u8];
28322835~~~~
28332836
@@ -2837,9 +2840,9 @@ as a [literal](#literals) or a [static item](#static-items).
28372840idx_expr : expr '[' expr ']' ;
28382841~~~~
28392842
2840- [ Vector ] ( #vector-types ) -typed expressions can be indexed by writing a
2843+ [ Array ] ( #vector,-array,-and-slice -types ) -typed expressions can be indexed by writing a
28412844square-bracket-enclosed expression (the index) after them. When the
2842- vector is mutable, the resulting [ lvalue] ( #lvalues,-rvalues-and-temporaries ) can be assigned to.
2845+ array is mutable, the resulting [ lvalue] ( #lvalues,-rvalues-and-temporaries ) can be assigned to.
28432846
28442847Indices are zero-based, and may be of any integral type. Vector access
28452848is bounds-checked at run-time. When the check fails, it will put the
@@ -2900,7 +2903,7 @@ This means that arithmetic operators can be overridden for user-defined types.
29002903The default meaning of the operators on standard types is given here.
29012904
29022905* ` + `
2903- : Addition and vector /string concatenation.
2906+ : Addition and array /string concatenation.
29042907 Calls the ` add ` method on the ` std::ops::Add ` trait.
29052908* ` - `
29062909 : Subtraction.
@@ -3203,7 +3206,7 @@ for_expr : "for" pat "in" no_struct_literal_expr '{' block '}' ;
32033206A ` for ` expression is a syntactic construct for looping over elements
32043207provided by an implementation of ` std::iter::Iterator ` .
32053208
3206- An example of a for loop over the contents of a vector :
3209+ An example of a for loop over the contents of an array :
32073210
32083211~~~~
32093212# type Foo = int;
@@ -3261,7 +3264,7 @@ match_pat : pat [ '|' pat ] * [ "if" expr ] ? ;
32613264
32623265A ` match ` expression branches on a * pattern* . The exact form of matching that
32633266occurs depends on the pattern. Patterns consist of some combination of
3264- literals, destructured vectors or enum constructors, structures and
3267+ literals, destructured arrays or enum constructors, structures and
32653268tuples, variable binding specifications, wildcards (` .. ` ), and placeholders
32663269(` _ ` ). A ` match ` expression has a * head expression* , which is the value to
32673270compare to the patterns. The type of the patterns must equal the type of the
@@ -3290,11 +3293,11 @@ between `_` and `..` is that the pattern `C(_)` is only type-correct if `C` has
32903293exactly one argument, while the pattern ` C(..) ` is type-correct for any enum
32913294variant ` C ` , regardless of how many arguments ` C ` has.
32923295
3293- Used inside a vector pattern, ` .. ` stands for any number of elements, when the
3296+ Used inside a array pattern, ` .. ` stands for any number of elements, when the
32943297` advanced_slice_patterns ` feature gate is turned on. This wildcard can be used
3295- at most once for a given vector , which implies that it cannot be used to
3298+ at most once for a given array , which implies that it cannot be used to
32963299specifically match elements that are at an unknown distance from both ends of a
3297- vector , like ` [.., 42, ..] ` . If followed by a variable name, it will bind the
3300+ array , like ` [.., 42, ..] ` . If followed by a variable name, it will bind the
32983301corresponding slice to the variable. Example:
32993302
33003303~~~~
@@ -3427,7 +3430,7 @@ let message = match x {
34273430~~~~
34283431
34293432Range patterns only work on scalar types
3430- (like integers and characters; not like vectors and structs, which have sub-components).
3433+ (like integers and characters; not like arrays and structs, which have sub-components).
34313434A range pattern may not be a sub-range of another range pattern inside the same ` match ` .
34323435
34333436Finally, match patterns can accept * pattern guards* to further refine the
@@ -3535,10 +3538,10 @@ http://www.unicode.org/glossary/#unicode_scalar_value)
35353538(ie. a code point that is not a surrogate),
35363539represented as a 32-bit unsigned word in the 0x0000 to 0xD7FF
35373540or 0xE000 to 0x10FFFF range.
3538- A ` [char] ` vector is effectively an UCS-4 / UTF-32 string.
3541+ A ` [char] ` array is effectively an UCS-4 / UTF-32 string.
35393542
35403543A value of type ` str ` is a Unicode string,
3541- represented as a vector of 8-bit unsigned bytes holding a sequence of UTF-8 codepoints.
3544+ represented as a array of 8-bit unsigned bytes holding a sequence of UTF-8 codepoints.
35423545Since ` str ` is of unknown size, it is not a _ first class_ type,
35433546but can only be instantiated through a pointer type,
35443547such as ` &str ` or ` String ` .
@@ -3649,7 +3652,7 @@ Such recursion has restrictions:
36493652
36503653* Recursive types must include a nominal type in the recursion
36513654 (not mere [ type definitions] ( #type-definitions ) ,
3652- or other structural types such as [ vectors ] ( #vector-types ) or [ tuples] ( #tuple-types ) ).
3655+ or other structural types such as [ arrays ] ( #vector,-array,-and-slice -types ) or [ tuples] ( #tuple-types ) ).
36533656* A recursive ` enum ` item must have at least one non-recursive constructor
36543657 (in order to give the recursion a basis case).
36553658* The size of a recursive type must be finite;
@@ -4153,7 +4156,7 @@ heap data.
41534156### Built in types
41544157
41554158The runtime provides C and Rust code to assist with various built-in types,
4156- such as vectors , strings, and the low level communication system (ports,
4159+ such as arrays , strings, and the low level communication system (ports,
41574160channels, tasks).
41584161
41594162Support for other built-in types such as simple types, tuples and
@@ -4172,7 +4175,7 @@ communication facilities.
41724175The Rust compiler supports various methods to link crates together both
41734176statically and dynamically. This section will explore the various methods to
41744177link Rust crates together, and more information about native libraries can be
4175- found in the [ ffi tutorial ] [ ffi ] .
4178+ found in the [ ffi guide ] [ ffi ] .
41764179
41774180In one session of compilation, the compiler can generate multiple artifacts
41784181through the usage of either command line flags or the ` crate_type ` attribute.
0 commit comments