Быстрое связывание данных типов данных

Question

У меня довольно простой вопрос о привязке типов данных на языке программирования Swift. Я был удивлен, не найти какую-либо конкретную информацию по этому вопросу через мои поиски, так что я считаю, что было бы лучше, чтобы привести свой вопрос здесь для углубленного ответа:

• Как типы данных связаны в программировании Swift от Apple язык?
• Являются ли типы данных привязаны к переменным и параметрам во время компиляции?
• Связаны ли они с временем выполнения или комбинацией из двух?

Answer 1

Swift связывает типы данных во время компиляции. Если вы программируете Swift с помощью Xcode, вы можете найти тип любой переменной в своем коде на Опция -clicking на этой переменной.

Вот отрывок из The Swift Programming Language (Swift 3) (курсив мой):

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

Поскольку Swift является безопасным, выполняет проверки типов при компиляции вашего кода и помещает любые несоответствующие типы в качестве ошибок. Это позволяет вам уловить и исправить ошибки как можно раньше в процессе разработки .

Проверка типов помогает избежать ошибок при работе с различными типами значений. Однако это не означает, что вы должны указать тип каждой константы и переменной, которую вы объявляете. Если вы не указали тип требуемого значения, Swift использует тип вывод для выработки соответствующего типа. Вывод типа позволяет компилятору автоматически вывести тип конкретного выражения , когда он компилирует ваш код, просто изучив значения, которые вы даете .