get(i: int) -- 모듈
- 컬렉션 →
- 수신자
- Array<T>
- 최소 인자 수
- 1
- 최대 인자 수
- 1
Declaration and parameters
사용 조건
기본 포함 · 예
These types are provided by the language. No module import is required.
The declarations below describe the standard operations on built-in values.
수신자
Array<T>
매개변수 제약
Array<T>.get(i: int) returns Option<T>. An index from zero to one less than the length returns Some with that element. A negative index or an index at or past the length returns None().
get never faults for its index. Use values[i] when an index outside the array is a program error. That expression faults under the access rule.
The length property returns the number of elements as int. An empty array has length 0.
Array<T>.push(x: T) returns unit. It appends x after the last element and increases the length by one. Earlier elements keep their positions.
Push writes to the array value. The receiver must be rooted in a let mut binding. Other array values are unchanged under collection value semantics.
결과
The declared result type is Option<T>.
효과
실패
Result and effects
The lookup never faults for its index. Index with values[i] when an index outside the array is a program error.
Related entries
Read, count and append array elements
Read, count and append array elements
Array<T>.get(i: int) returns Option<T>. An index from zero to one less than the length returns Some with that element. A negative index or an index at or past the length returns None().
get never faults for its index. Use values[i] when an index outside the array is a program error. That expression faults under the access rule.
The length property returns the number of elements as int. An empty array has length 0.
Array<T>.push(x: T) returns unit. It appends x after the last element and increases the length by one. Earlier elements keep their positions.
Push writes to the array value. The receiver must be rooted in a let mut binding. Other array values are unchanged under collection value semantics.
이유
A lookup that may miss returns its absence as a value, so reads of neighbors at the edges of a sequence need no separate bounds test. Indexing keeps its fault for indexes that a correct program never produces. The two intents keep two spellings. push builds a sequence in order without rebuilding it.
Read elements without faulting at the edges
import std.iolet names = ["a", "b", "c"]for index in ([-1, 0, 2, 3]) {match (names.get(index)) {case Some(name) => io.writeLine("{index}: {name}")case None() => io.writeLine("{index}: none")}}let empty: Array<string> = []io.writeLine("{empty.length}: {empty.get(0) ?? "none"}")
-1: none
0: a
2: c
3: none
0: none
기대 결과
기대 결과
실행을 마칩니다. 종료 코드 0.
-1: none0: a2: c3: none0: none
Append elements to a mutable array
import std.iolet mut names: Array<string> = []io.writeLine("{names.length}")names.push("a")names.push("b")io.writeLine("{names.length}: {names.join(",")}")
0
2: a,b
기대 결과
기대 결과
실행을 마칩니다. 종료 코드 0.
02: a,b