Массивы
Вы узнаете
Как объявить массив, прочитать элемент и какой индекс последний.
Тип массива — это длина в квадратных скобках и тип элемента: [5]u8 — пять беззнаковых байтов. Значение перечисляет элементы в квадратных скобках. Индекс 0 — начальный элемент, поэтому в массиве из 5 последний индекс 4. Тест читает элемент так: PRIMES[4]. Следите, чтобы объявленная длина совпадала со списком: проверка в этом браузере не ловит расхождение.
Попробуйте
Добавьте в PRIMES шестое простое число, поправьте длину и напишите assert для индекса 5.
A t27 array drawn as a row of cells with their indexes, from the lesson spec. Lesson 7 of the t27 basics course.
specs/basics/07_arrays.t27
// SPDX-License-Identifier: Apache-2.0
; t27 basics, lesson 7: Arrays.
; An array has a length and a type, [5]u8, and its items are read by index from 0.
module basics_07_arrays;
pub const PRIMES : [5]u8 = [2, 3, 5, 7, 11];
pub const DIGITS : [3]str = ["zero", "one", "two"];
test indexes_start_at_zero {
assert PRIMES[0] == 2;
assert PRIMES[4] == 11;
assert DIGITS[2] == "two";
}
Все уроки
Модуль 1 · Файл спеки
Что лежит в файле .t27: строка module, строки прозы и комментарии.
Модуль 2 · Значения и типы
Константы, ширина целого числа, а также true, false и текст.
Модуль 3 · Массивы, триты и выражения
Списки значений, три значения трита и что вычисляют операторы.
Модуль 4 · Тесты и функции
Блок test, несколько маленьких тестов в одной спеке и функция с типизированными входами.
Модуль 5 · Внутри функции
Имена через let и var, выбор через if и switch и циклы.
Модуль 6 · Видимость и свои типы
Что pub открывает другим модулям, и структуры и перечисления, которые вы объявляете.
Модуль 7 · Модули, правила и gen-ts
Чтение другого модуля, правило, которое выполняется всегда, и спека, превращённая в TypeScript.
Модуль 8 · Компилятор и tri
Бэкенды, которые пишет t27c, стадии, в которых он читает спеку, и команда tri.
Модуль 9 · Ошибки, программа и что дальше
Как читать ошибку компилятора, одна маленькая законченная программа и какой курс пройти дальше.