Làm thế nào để nhanh chóng một thể hiện của loại đại diện bởi tham số gõ vào Scala

Question

dụ:

import scala.actors._ 
import Actor._ 

class BalanceActor[T <: Actor] extends Actor { 
    val workers: Int = 10 

    private lazy val actors = new Array[T](workers) 

    override def start() = { 
    for (i <- 0 to (workers - 1)) { 
     // error below: classtype required but T found 
     actors(i) = new T 
     actors(i).start 
    } 
    super.start() 
    } 
    // error below: method mailboxSize cannot be accessed in T 
    def workerMailboxSizes: List[Int] = (actors map (_.mailboxSize)).toList 
. 
. 
. 

Lưu ý các lỗi thứ hai cho thấy rằng nó biết các mục diễn viên là "T" s, nhưng không phải là chữ "T" là một lớp con của tác nhân, như bị ràng buộc trong định nghĩa chung của lớp.

Mã này có thể được sửa chữa để hoạt động như thế nào (sử dụng Scala 2.8)?

Answer 1

EDIT - xin lỗi, tôi chỉ vừa mới nhận thấy lỗi đầu tiên của bạn. Không có cách nào instantiating một T khi chạy vì loại thông tin bị mất khi chương trình của bạn được biên dịch (thông qua loại tẩy xoá)

Bạn sẽ phải vượt qua trong một số nhà máy để đạt được việc xây dựng:

class BalanceActor[T <: Actor](val fac:() => T) extends Actor { 
    val workers: Int = 10 

    private lazy val actors = new Array[T](workers) 

    override def start() = { 
    for (i <- 0 to (workers - 1)) { 
     actors(i) = fac() //use the factory method to instantiate a T 
     actors(i).start 
    } 
    super.start() 
    } 
} 

Điều này có thể được sử dụng với một số diễn viên CalcActor như sau:

val ba = new BalanceActor[CalcActor]({() => new CalcActor }) 
ba.start 

là một sang một bên: bạn có thể sử dụng until thay vì to:

val size = 10 
0 until size //is equivalent to: 
0 to (size -1) 

Answer 2

Sử dụng Manifest:

class Foo[A](a: A)(implicit m: scala.reflect.Manifest[A]) { 
    def create: A = m.erasure.newInstance.asInstanceOf[A] 
} 

class Bar 

var bar1 = new Bar  // prints "bar1: Bar = Bar@321ea24" in console 
val foo = new Foo[Bar](bar1) 
val bar2 = foo.create // prints "bar2: Bar = Bar@6ef7cbcc" in console 
bar2.isInstanceOf[Bar] // prints "Boolean = true" in console 

BTW, Manifest được cung cấp tài liệu trong 2.7.X nên sử dụng nó một cách cẩn thận. Cùng một mã hoạt động trong 2.8.0 hàng đêm là tốt.

Answer 3

Bạn không thể, như đã đề cập, tạo nhanh T do xóa. Vào thời gian chạy, không có T. Điều này không giống như các mẫu của C++, trong đó sự thay thế xảy ra là thời gian biên dịch và nhiều lớp thực sự được biên dịch, cho mỗi biến thể trong việc sử dụng thực tế.

Giải pháp tệp kê khai thú vị, nhưng giả định có một hàm tạo cho T không yêu cầu tham số. Bạn không thể giả định điều đó.

Đối với vấn đề thứ hai, phương pháp mailboxSize được bảo vệ, vì vậy bạn không thể gọi nó trên một đối tượng khác. Cập nhật: điều này chỉ đúng với Scala 2.8.

Answer 4

Hiện tại, đây là cách thích hợp và an toàn hơn để thực hiện việc này. Scala 2.10 đã giới thiệu TypeTags, cho phép chúng ta khắc phục vấn đề xóa khi sử dụng các kiểu generic.

tại Có thể parameterise lớp học của bạn như sau:

class BalanceActor[T <: Actor :ClassTag](fac:() => T) extends Actor { 
    val actors = Array.fill[T](10)(fac()) 
} 

Bằng cách này, chúng ta đang đòi hỏi một ClassTag ngầm [T] có sẵn khi lớp được khởi tạo. Trình biên dịch sẽ đảm bảo đây là trường hợp và sẽ tạo mã mà chuyển ClassTag [T] vào trong hàm tạo lớp. ClassTag [T] sẽ chứa tất cả các thông tin về T, và kết quả của thông tin này có sẵn cho trình biên dịch tại thời gian biên dịch (pre-erasure) bây giờ cũng có sẵn trong thời gian chạy, cho phép chúng ta xây dựng một mảng [T].

Lưu ý rằng nó vẫn không thể làm:

class BalanceActor[T <: Actor :ClassTag] extends Actor { 
    val actors = Array.fill[T](10)(new T()) 
} 

Lý do này không làm việc là trình biên dịch không có cách nào để biết liệu lớp T có một constructor không có arg.