Краткий ответ

Код напечатает 1, затем -1. Optional chaining вызывает increment() только при наличии значения в counter; если Optional равен nil, вызов и изменение пропускаются без ошибки.

Поскольку counter объявлен через var, Swift может извлечь хранимую структуру, вызвать её mutating-метод и записать изменённое значение обратно в Optional.

Исторический контекст

Optionals нужны для явного представления отсутствия значения в системе типов. Такой подход позволяет отличать корректное значение от ситуации, когда результата нет, не полагаясь на специальный sentinel вроде -1 или null.

Optional chaining решает практическую задачу безопасного обращения к вложенному или необязательному значению. Он уменьшает количество ручных проверок на nil, сохраняя сам факт возможного отсутствия в типе выражения.

Постановка проблемы

Вызов метода через Optional может выглядеть как обычный вызов метода, но объектом операции является не непосредственно Counter, а значение типа Counter?. Неверное понимание этого механизма приводит к ожиданию, что метод всегда будет вызван или что при nil автоматически создастся новый Counter.

Для изменяющего метода есть дополнительный риск: изменение структуры должно быть записано обратно в исходное хранилище. Если исходное значение доступно только для чтения, такая операция невозможна; если Optional равен nil, изменять нечего.

Подробное решение

В строке counter?.increment() Swift проверяет Optional. При состоянии .some, содержащем Counter, он временно получает хранимую структуру, вызывает mutating-метод и сохраняет обновлённую структуру обратно в counter. Поэтому value становится равным 1.

При состоянии .none цепочка прекращается до вызова метода. Результатом операции optional chaining был бы Optional-результат метода; для метода с возвращаемым типом Void это не превращается в создание значения Counter и не меняет counter.

Вторая строка печатает -1, потому что после counter = nil выражение counter?.value также даёт nil, а оператор ?? выбирает запасное значение. Сам ?? здесь только преобразует результат для печати; он не влияет на то, был ли вызван increment().

Такое поведение относится к value semantics структуры: изменяется значение, хранящееся в конкретной переменной. Для класса через optional chaining изменялось бы состояние объекта по ссылке, если объект существует; саму ссылку optional chaining не заменяет новым объектом.

struct Box {
    var number = 0
    mutating func add() { number += 1 }
}

var box: Box? = Box()
box?.add()
print(box?.number ?? -1) // 1
box = nil
box?.add()
print(box?.number ?? -1) // -1

Вызов не является принудительным извлечением: при nil не возникает исключения, в отличие от операции counter!. Однако optional chaining может скрыть факт пропущенного действия, поэтому для обязательной бизнес-операции иногда лучше использовать guard let и явно обработать отсутствие значения.

Ситуация из практики

Предположим, экран редактирует необязательный черновик документа:

var draft: Draft?
draft?.updateLastEditedDate()

Вариант с optional chaining краток и уместен, если отсутствие черновика означает «обновление не требуется». Вариант с guard let лучше, если отсутствие черновика является ошибкой или должно быть отражено в интерфейсе: он делает ветку отказа явной, но добавляет код обработки.

Создание черновика автоматически перед вызовом метода выглядит удобным, однако меняет бизнес-смысл операции: отсутствие объекта перестаёт быть пропуском действия и превращается в создание нового состояния. Поэтому в данном случае выбран optional chaining, если обновление является необязательным, а обязательность должна проверяться отдельно на уровне сценария.

Что кандидаты часто упускают

Можно ли вызвать через optional chaining метод, который возвращает значение?

Да. Результат такого вызова становится Optional. Например, вызов метода с результатом Int через value?.method() имеет тип Int?: при .some содержит результат метода, при nil равен nil. Это отличается от Void только типом результата, а правило условного вызова остаётся тем же.

Создаёт ли optional chaining значение, если Optional равен nil?

Нет. Цепочка только условно продолжает доступ; она не вызывает инициализатор, не создаёт объект и не записывает значение в Optional. Если требуется значение по умолчанию, его нужно задать явно через ??, а если требуется создать объект — выполнить отдельную логику инициализации.

Что изменится, если counter объявить через let?

Вызов counter?.increment() не сможет изменить структуру, потому что increment() объявлен как mutating, а доступ к содержимому let является неизменяемым. Для класса вызов изменяющего состояние метода через let-ссылку обычно допустим, поскольку меняется объект, а не сама ссылка; это наглядно показывает различие между value semantics структуры и reference semantics класса.