Ошибка Swift range с сообщением switch

Question

Привет, ребята, я здесь новый, и сейчас я изучаю Swift, кодируя некоторые причудливые алгоритмы, которые приходят мне на ум, читая книгу «Яблоки Свифт».

Я пытался сжать (автоматически понизить) любое значение IntegerType. Вот небольшой отрывок из моего кода, который почти отлично работает за исключением одного случая:

switch signedValue 
{ 
case Int64(Int8.min)...Int64(Int8.max):   compressedValue = Int8(signedValue) 
case (Int64(Int8.max) + 1)...Int64(UInt8.max): compressedValue = UInt8(signedValue) 
case Int64(Int16.min)...Int64(Int16.max):  compressedValue = Int16(signedValue) 
case (Int64(Int16.max) + 1)...Int64(UInt16.max): compressedValue = UInt16(signedValue) 
case Int64(Int32.min)...Int64(Int32.max):  compressedValue = Int32(signedValue) 
case (Int64(Int32.max) + 1)...Int64(UInt32.max): compressedValue = UInt32(signedValue) 
case Int64(Int.min)...Int64(Int.max):   compressedValue = Int(signedValue) // range bug #1 - workaround '..<' 
default:           compressedValue = signedValue 
} 

Пусть signedValue имеет тип Int64 и входное значение = 10_000_000_000. Это приведет к ошибке во время выполнения (в Playground):

Execution was interrupted, reason: EXC_BAD_INSTRUCTION ... 

Может кто-нибудь помочь мне понять, что именно здесь происходит. Обходной путь для этой проблемы. Вместо «...» я мог бы использовать «.. <», но это не так, как должен быть диапазон.

Answer 1

В отличие от интервалов (которые имеют два аромата, полуоткрытые или закрытые), Range только полуоткрыт. Поэтому, когда вы пишете 1...5, функция ... увеличивает правый аргумент, чтобы создать полуоткрытый диапазон 1..<6.

В результате этого вы не можете иметь диапазон, который охватывает всю длину целочисленного типа, так как 1...Int.max приведет к увеличению приращения Int.max и ошибке переполнения. Аналогичная ошибка с let s = "hello"; let r = s.startIndex...s.endIndex

Все не потеряно, однако, поскольку вы не должны использовать диапазоны в любом случае, это задание для ClosedInterval. Так как оператор ... используется для обоих, и по умолчанию диапазонов (для перегрузки причины старшинства), необходимо четко определить тип:

let i64interval: ClosedInterval = Int64(Int64.min)...Int64(Int64.max) 
switch signedValue { 
    // etc 
    case i64interval: compressedValue = Int(signedValue) 
    default:   compressedValue = signedValue 
} 

Answer 2

Посмотрите на the documentation для Range типа. У этого есть следующий маленький самородок информации, который я никогда не замечал раньше:

Если T имеет максимальное значение, оно может служить в качестве endIndex, но никогда не может содержаться в диапазоне.

T, в этой цитате, является типом значения в Range. Поэтому, если у вас есть Range из Int s, максимальное значение Int не может содержаться в Range.

Именно поэтому он работает, если вы положили ..<, а не ....

Хороший вопрос, кстати ...