Почему эта структурная граница не работает должным образом?

Question

Я пытаюсь написать простой вспомогательный метод, который получает что-то, что может быть закрыто, и некоторую функцию, которая получает первый и гарантирует, что "closeable" закрывается после выполнения функции.

Например, я хочу использовать это так:

  closing(new FileOutputStream("/asda"))(_.write("asas"))

Мой импл

object Helpers {

  def closing[T <: { def close }](closeable: T)(action: T => Unit): Unit =
    try action apply closeable finally closeable close

}

Но при попытке скомпилировать этот простой тест:

object Test {

  import Helpers._

  closing(new FileOutputStream("/asda"))(_.write("asas"))

}

Компилятор жалуется на:

выводимые аргументы типа [java.io.FileOutputStream] не соответствуют границам параметров типа закрытия метода [T<: AnyRef {def close: Unit}]

Есть идеи почему?

Answer 1

Вам нужно написать

def closing[T <: { def close() }]

В Scala есть разница между методами с пустыми скобками и методами без скобок вообще.

Answer 2

Типовые границы хитры. В частности, Scala отслеживает количество списков параметров в дополнение к самим параметрам. Попробуйте это!

class A { def f = 5 }
class B { def f() = 5 }
class C { def f()() = 5 }
def useA[X <: { def f: Int }](x: X) = x.f
def useB[X <: { def f(): Int }](x: X) = x.f
def useC[X <: { def f()(): Int}](x: X) = x.f

useA(new A)  // This works, but what other combinations do?

В вашем случае вы хотите

def closing[T <: { def close() }] ...

PS Если вы действительно планируете использовать это много, вы, вероятно, должны также поиграть с

class D extends B { override def f = 6 }
class E extends A { override def f() = 6 }

и посмотрим, какие use вам нужно использовать в каждом конкретном случае.