8.6 Присваивания

Присваивание — это выражение, которое сохраняет новое значение в переменной. Например, следующее выражение присваивает значение 1 переменной z:

z = 1

После выполнения этого выражения переменная z имеет значение 1. Предыдущее значение z переменной забывается. Знак «=» называется оператором присваивания.

Присваивания могут хранить и строковые значения. Например, следующее выражение сохранит значение "this food is good" в переменной message:

thing = "food"
predicate = "good"
message = [ "this " , thing , " is " , predicate ]

(Это также иллюстрирует конкатенацию строк.)

Большинство операторов (сложения, конкатенации и т. д.) не имеют эффектов, кроме вычисления значения. Если вы игнорируете значение, можно было бы и не использовать оператор. Оператор присваивания отличается. Он производит значение, но даже если вы его игнорируете, присваивание всё равно оказывает влияние на переменную, изменяя её. Мы называем это побочным эффектом.

Левый операнд присваивания не обязательно должен быть переменной (см. Переменные). Он также может быть элементом матрицы (см. Индексные выражения) или списком возвращаемых значений (см. Вызов функций). Всё это называется левыми значениями, что означает, что они могут стоять слева от оператора присваивания. Правый операнд может быть любым выражением. Он производит новое значение, которое присваивание сохраняет в указанной переменной, элементе матрицы или списке возвращаемых значений.

Важно отметить, что переменные не имеют постоянных типов. Тип переменной — это просто тип того значения, которое она в данный момент хранит. В следующем фрагменте программы переменная foo сначала имеет числовое значение, а затем — строковое:

octave:13> foo = 1
foo = 1
octave:13> foo = "bar"
foo = bar

Когда второе присваивание придает переменной foo строковое значение, факт, что она ранее имела числовое значение, забывается.

Присваивание скаляра индексированной матрице устанавливает все элементы, на которые ссылаются индексы, в значение скаляра. Например, если a — это матрица с как минимум двумя столбцами,

a(:, 2) = 5

устанавливает все элементы во втором столбце a в значение 5.

Присваивание пустой матрицы ‘[]’ в большинстве случаев позволяет вам удалять строки или столбцы матриц и векторов. См. Пустые матрицы. Например, задана матрица A размером 4x5, то присваивание

A (3, :) = []

удаляет третью строку из A, а присваивание

A (:, 1:2:5) = []

удаляет первый, третий и пятый столбцы.

Присваивание является выражением, поэтому оно имеет значение. Таким образом, z = 1 как выражение имеет значение 1. Одним из последствий этого является то, что вы можете написать несколько присваиваний вместе:

x = y = z = 0

сохраняет значение 0 во всех трёх переменных. Это происходит потому, что значение z = 0, которое равно 0, сохраняется в y, а затем значение y = z = 0, которое равно 0, сохраняется в x.

Это также относится к присваиваниям списков значений, поэтому следующее выражение является допустимым

[a, b, c] = [u, s, v] = svd (a)

что точно эквивалентно

[u, s, v] = svd (a)
a = u
b = s
c = v

В выражениях такого типа количество значений в каждой части выражения не обязательно должно совпадать. Например, выражение

[a, b] = [u, s, v] = svd (a)

эквивалентно

[u, s, v] = svd (a)
a = u
b = s

Однако количество значений слева от выражения не может превышать количества значений справа. Например, следующее вызовет ошибку.

[a, b, c, d] = [u, s, v] = svd (a);
-| error: element number 4 undefined in return list

Символ ~ может использоваться в качестве заполнителя в списке левых значений, указывая, что соответствующее возвращаемое значение должно быть проигнорировано и не сохранено нигде:

[~, s, v] = svd (a);

Это более чисто и эффективнее по памяти, чем использование фиктивной переменной. Значение nargout выражения правой части не изменяется. Если присваивание используется как выражение, возвращаемое значение представляет собой список, разделенный запятыми, с пропущенными игнорируемыми значениями.

Очень распространённый шаблон программирования — это увеличение существующей переменной на заданное значение, как в этом примере

a = a + 2;

Это можно записать более ясно и компактно, используя оператор +=

a += 2;

Аналогичные операторы существуют также для вычитания (-=), умножения (*=) и деления (/=). Выражение вида

expr1 op= expr2

вычисляется как

expr1 = (expr1) op (expr2)

где op может быть +, -, *, или /, при условии, что expr2 — простое выражение без побочных эффектов. Если expr2 также содержит оператор присваивания, то это выражение вычисляется как

temp = expr2
expr1 = (expr1) op temp

где temp — временное значение, хранящее вычисленный результат вычисления expr2. Таким образом, выражение

a *= b+1

вычисляется как

a = a * (b+1)

а не

a = a * b + 1

Вы можете использовать присваивание в любом месте, где требуется выражение. Например, допустимо написать x != (y = 1) для установки y в 1 и затем проверки, равняется ли x 1. Но этот стиль затрудняет чтение программ. Кроме случаев однократного использования программы, следует переписать её, избавившись от такого вложенного присваивания. Это никогда не представляет больших трудностей.