структурный тип с верхней границей?

Question

рассмотреть этот дизайн библиотеки мне нужно использовать и не может исправить:

trait Foo 

class IgnoreMe extends Foo 
class A extends Foo { def bar: A = ...} 
class B extends Foo { def bar: B = ...} 

В моем коде:

object Stuff { 
    type Barred = { def bar: Foo } 

    def doStuff(b:Barred) = b.bar 
} 

Это все хорошо, кроме того, что Stuff.doStuff будет принимать что-либо, соответствующее тип Barred, а не только подтипы Foo, которые я хочу.

Я хотел бы описать перемычку таким образом, что она является как подтипом Foo и имеет метод бара, и я не могу :(Помогите оценил

Answer 1

Просто

type Barred = Foo {def bar: Foo } 

Answer 2

Вы пробовали:.

def doStuff(b: Barred with Foo) = b.bar 

Другим способ для достижения того, чего вы хотите, без отражения во время выполнения (но с большим количеством работы, если в библиотеку добавлен новый подтип Foo с методом bar), было бы определить типы trait Barred[T], implicit экземпляров Barred[A] и Barred[B] и использовать тип связанный:

def doStuff[T : Barred](b: T) 

Answer 3

Учитывая ваши примеры, это может быть более подходящим:

type Barred[T <: Barred[T]] = Foo { def bar: T } 

Это позволяет определить, например,

def double_bar[T <: Barred[T]](x: T) = x.bar.bar 

который @ didierd ответ нет.