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

Код корректен, потому что имена элементов кортежа не входят в идентичность его типа. Типы (x: Int, y: Int) и (row: Int, column: Int) структурно эквивалентны: оба содержат два значения Int в одинаковом порядке. При присваивании target получает имена, указанные в его объявлении, поэтому напечатает 10 20.

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

Кортежи в Swift предназначены для компактного объединения нескольких связанных значений без объявления отдельной структуры. Имена элементов добавляют читаемость и удобный доступ, но не должны превращать одинаковые наборы значений в несовместимые типы.

Такой подход отделяет структуру данных — количество, порядок и типы элементов — от их локальных описательных имён. Если именам требовалась бы строгая типовая семантика, для этого обычно используют отдельную struct.

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

Разработчик может ошибочно считать, что x и row формируют разные типы. Тогда он либо ожидает ошибку компиляции, либо делает лишнее преобразование через промежуточные значения.

Важно понимать последствие: кортеж с переименованными элементами не создаёт новый доменный тип и не защищает от смешения значений одинаковых типов. Например, кортежи (width: Int, height: Int) и (x: Int, y: Int) совместимы, хотя смысл их элементов различается.

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

Swift проверяет совместимость кортежей по их арности, порядку элементов и типу каждого элемента. Метки x, y, row и column служат именами доступа и не участвуют в проверке структурной совместимости.

В примере исходный кортеж содержит два значения Int. При инициализации target значения переносятся по позиции: source.0 становится target.row, а source.1 — target.column.

let source = (x: 10, y: 20)
let target: (row: Int, column: Int) = source

print(target.row)    // 10
print(target.column) // 20

После присваивания доступ к элементам выполняется через метки типа target, а не через исходные x и y. Если требуется самостоятельная семантика, инварианты или защита от перестановки одинаковых типов, следует объявить структуру:

struct Size {
    let width: Int
    let height: Int
}

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

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

Функция вычисляет координаты, а вызывающий код использует их как размеры. Оба результата могут иметь тип (Int, Int), поэтому компилятор не обнаружит смысловую ошибку при передаче или переименовании элементов.

Можно оставить кортеж: это быстро и достаточно для короткого локального участка кода. Но его минус — отсутствие типовой защиты от перепутывания значений. Выбранное решение — отдельные структуры Point и Size, если данные пересекают границу модуля или участвуют в бизнес-логике: это делает контракт явным и предотвращает часть ошибок на этапе компиляции.

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

Вопрос: Что именно проверяется при совместимости двух кортежей?

Ответ: Количество элементов, их порядок и типы. Метки элементов не влияют на совместимость. Поэтому (Int, String) несовместим с (String, Int), даже если метки выглядят одинаково.
Вопрос: Сохраняются ли исходные имена элементов после присваивания?

Ответ: Нет, при обращении используются имена типа или объявления целевого значения. В примере корректны target.row и target.column; исходные x и y не становятся частью нового имени переменной.
Вопрос: Почему для координат лучше выбрать struct, а не именованный кортеж?

Ответ: struct создаёт отдельный тип с явным смыслом, позволяет задать методы, инварианты, протоколы и более устойчивый публичный API. Кортеж короче и удобнее для временных результатов, но не различает семантически разные пары одинаковых типов.