Scala - характеристики соответствия шаблону, которые имеют «self type», как аргумент типа, дают непроверенное предупреждение

Question

Я пытаюсь определить «неизменные свойства сеттера» и общие функции для них.

У меня есть рабочая реализация, но я немного обеспокоен «непроверенными» предупреждениями из соответствия шаблонов. Я не совсем уверен, что я могу с этим поделать.

type Point = (Double, Double) 

trait Sizable[A] { 
    this: A => 
    def size: Point 

    /* immutable object value setter, returns a new of the same object*/ 
    def size(point: Point): A with Sizable[A] 
} 

def partitionToSizable[T](elements: List[T]): 
    (List[T], List[T with Sizable[T]]) = 
    elements.foldLeft((List[T](), List[T with Sizable[T]]()))((p, c) => 
     c match { 
     case a: T with Sizable[T] => (p._1, p._2 ++ List(a)) 
     case a => (p._1 ++ List(a), p._2) 
     }) 

Приведенный выше код демонстрирует проблему.

Я даже не уверен, насколько велика проблема в том, что T не отмечен, поскольку все элементы в списке будут иметь тип T, а точка соответствия шаблонов не определяет, является ли этот тип T, поскольку мы уже знаем это.

Теоретически Sizable всегда будет иметь тип T из-за подписи его закрывающей функции.

Если у вас нет другого решения, я бы хотя бы хотел подавить предупреждение. @unchecked аннотации, похоже, не подавляют предупреждение.

Если я изменить случай с: T с Sizable [T] случаю а: Sizable [_] не будет компилироваться, так как тип результата, очевидно, не подтверждают Т.

ClassTags или TypeTags может решить но я подозреваю, что они действительно не нужны. (также может иметь служебные издержки производительности и TypeTags не работают с Scala.js)

Answer 1

Я думаю, что только case a: Sizable[T @unchecked] => a.size((15,20)) должен работать.

Answer 2

Основная проблема здесь: partitionToSizable. Он принимает List[T], а затем пытается разбить его на List[T]и a List[T with Sizable[T]]. Вы берете список одного типа, а затем говорите, что один тип T на самом деле два разных типа: T и T with Sizable[T]. Это указывает на проблему с дизайном вашего типа. Я бы рекомендовал сначала решить это.

Одним из решений может быть признание того, что вещи, которые являются значимыми, и вещи, которые не являются значительными, должны быть представлены как два разных типа. Затем вы можете использовать следующую подпись:

def partitionToSizable[T1, T2 <: Sizable[T2]](
    elements: List[Either[T1, T2]]): (List[T1], List[T2]) 

Тогда вам не нужно бросать; вы можете совпадать с рисунком или складывать на Either.