scala: Тип обработки рисунка

Question

Другой вопрос от новичка.

Я пытаюсь понять, как работает следующий фрагмент кода. Теперь не сомневаюсь, каков смысл второго оператора case.

obj match { 
     case _: BigInt => Int.MaxValue 
     case BigInt => -1  
    } 

В первом случае я буду соответствовать объекту против типа BingInt Что будет согласующий против во втором случае?

Answer 1

Первый case соответствует любому значению, которое является BigInt. Второй номер case соответствует BigInt компаньон.

def test(obj: Any) = obj match { 
    case _: BigInt => Int.MaxValue 
    case BigInt => -1 
} 

scala> test(BigInt(1)) 
res2: Int = 2147483647 

scala> test(BigInt) 
res3: Int = -1 

Тем не менее, вполне вероятно, что то, что вы действительно хотите, это первый случай, если у вас есть какие-либо конкретные причины, чтобы проверить, является ли вы передаете объект BigInt компаньона к тому сопоставлению с образцом.