Swift nil имеет числовое значение?

Question

Это правильный код в Swift:

println(nil < 1) 

И выход будет верно, также

println(nil > 1) 

будет ложным (число 1 произвольно, вы можете сделать то же самое для -1 и вероятно, что-то еще). Причина, о которой я прошу, заключается в том, что я видел код, который пытался сравнить "some_string".toInt() с числовым значением и скомпилировал его, что кажется неправильным, учитывая, что toInt() возвращает Int?.

Вопрос в том, должен ли это быть допустимым синтаксисом в Swift? Если да, то каково числовое значение nil?

---

Swift 3,0 Обновление:

Похоже Swift Evolution решать эту проблему removing the optional comparison operators. Это уже не проблема в Swift 3.0, поскольку она не компилируется.

Answer 1

Я считаю, что происходит то, что буквально 1 неявно приписывает тип Int? для сравнения с nil. Для тех, кто не привык к Свифт, я объясню немного дальше. У Swift есть концепция под названием «optionals», которая может иметь значение или быть nil. (Для тех, кто знаком с Haskell, это в основном монада Maybe.) Неправильно назначать nil переменной, которая явно не указана как необязательная, поэтому let i: Int = nil будет отклонена компилятором. Это позволяет использовать несколько преимуществ, которые выходят за рамки этого ответа, и это довольно умный способ сделать это.

Что здесь происходит, однако, является то, что буквальное 1 является допустимым значением нескольких типов: Int, Int32, Int64, UInt32, UInt64 и т.д., и т.д., и т.д. И это также действительное значение факультативные версии этих типов: Int?, Int32? и т.д.

Так что, когда Swift компилятор видит сравнение между буквальным значением и nil, он пытается найти тип, что оба эти значения будут справедливы для. 1 является допустимым значением типа Int?, а nil также является допустимым значением типа Int?, поэтому применяется оператор сравнения с типом подписи (Int?, Int?) -> Bool. (Это оператор сравнения, который принимает два значения Int? и возвращает Bool). Правила этого оператора говорят, что значения nil сортируются ниже, чем что-либо еще, даже Int.min, и поэтому вы получаете результат, увиденный в вопросе OP.