Loại trừu tượng Scala đại diện cho loại phân lớp

Question

Tôi đang tìm cách xác định phương thức trả về kiểu T trong đó T = loại của lớp con.

Tôi biết tôi có thể làm điều này bằng cách sử dụng các loại trừu tượng, nhưng không thích chi phí phải xác định lại T cho từng phân lớp.

Một số mẫu mã:

object Helper { 
    def help[A <: MyClass](cls: A): Option[A] = { cls.foo() map { _.asInstanceOf[A] } } 
} 

class MyClass { 
    type T <: MyClass 
    def foo(): Option[T] = Some(this.asInstanceOf[T]) 
} 

class ChildClass extends MyClass { 
    type T = ChildClass 
} 

Có thể là một tính năng ngôn ngữ mới đã làm cho dễ dàng hơn điều này? Hoặc tôi có thể sử dụng this.type theo một cách nào đó? Điều quan trọng với tôi là tôi có thể định nghĩa một lớp trợ giúp có thể gọi vào foo theo cách này.

Answer 1

Nếu bạn luôn quay trở lại this, thì bạn thực sự có thể có kiểu trả về this.type. Hay bạn đã thử nó chưa?

this.type đặc biệt hữu ích, ví dụ: khi bạn muốn chuỗi cuộc gọi đến cùng một đối tượng hoặc cung cấp bảo đảm tĩnh rằng bạn sẽ trả về cùng một đối tượng (chứ không phải bản sao). Ví dụ: Buffer s trong Scala có hoạt động nối thêm :+, trả về số Buffer[A] và +=, trả về this.type. Các bản sao trước đó lặp lại chuỗi có thể thay đổi được; sau này đảm bảo rằng bạn cập nhật đối tượng gốc.

Answer 2

Để theo dõi câu trả lời Jean-Phillippe, người đã viết của mình chính xác khi tôi đang viết tôi, đây là các mã:

trait SomeTrait { 
    def foo: this.type = this 
} 

class UsesTrait extends SomeTrait 

object Main { 
    def main(args: Array[String]) { 
    println((new UsesTrait).foo) // prints UsesTrait@<hash value> 
    } 
} 

Answer 3

tôi thấy thành ngữ sau đây hữu ích:

class MyClass[T] { 
    self: T => 
    def foo(): Option[T] = Some(this) 
} 

class ChildClass extends MyClass[ChildClass] 

new ChildClass().foo() 
//--> Option[ChildClass] = Some(ChildClass@2487b1)