В чем разница между безопасностью типа и типом вывода?

Question

Как они отличаются? Я немного смущен, потому что они, похоже, похожи на концепции.

Answer 1

От Swift собственного documentation:

Тип безопасность

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

var welcomeMessage: String 
welcomeMessage = 22 // this would create an error because you 
//already specified that it's going to be a String 

Тип Умозаключение

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

var meaningOfLife = 42 // meaningOfLife is inferred to be of type Int 
meaningOfLife = 55 // it Works, because 55 is an Int 

Тип безопасности & Тип Умозаключение вместе

var meaningOfLife = 42 // 'Type inference' happened here, we didn't specify that this an Int, the compiler itself found out. 
meaningOfLife = 55 // it Works, because 55 is an Int 
meaningOfLife = "SomeString" // Because of 'Type Safety' ability you will get an 
//error message: 'cannot assign value of type 'String' to type 'Int''