ジェネリック クラスは、その型パラメーターがいくつかの追加の制限に準拠していることを前提としてのみ、そのメソッドの 1 つを使用可能にする可能性があると思います (構文はその場で即興で作成されます)。
trait Col[T] extends Traversable[T] {
def sum[T<:Int] :T = (0/:this)(_+_)
}
暗黙のパラメーターを証拠として使用できると思います...これに対する言語機能はありますか?
質問する
1733 次