Có cách nào để đảm bảo loại có thể tuần tự hóa tại thời gian biên dịch

Question

Tôi làm việc với Spark thường xuyên, và nó sẽ tiết kiệm cho tôi rất nhiều thời gian nếu trình biên dịch có thể đảm bảo rằng một loại có thể tuần tự hóa.

Có thể với một lớp loại?

def foo[T: IsSerializable](t: T) = { 
    // do stuff requiring T to be serializable 
} 

Không đủ để hạn chế T <: Có thể tuần tự hóa. Nó vẫn có thể thất bại trong thời gian chạy. Bài kiểm tra đơn vị là một sự thay thế tốt, nhưng bạn vẫn có thể quên chúng, đặc biệt khi làm việc với các đội lớn.

Tôi nghĩ rằng điều này có thể không thể thực hiện tại thời gian biên dịch mà không có các loại được niêm phong.

Answer 1

Có, có thể, nhưng không theo cách bạn đang hy vọng. lớp kiểu của bạn IsSerializable có thể cung cấp một cơ chế để chuyển đổi T của bạn đến một giá trị của một loại mà là đảm bảo được Serializable và ngược lại,

trait IsSerializable[T] { 
    def toSerializable(t: T): String 
    def fromSerializable(s: String): Option[T] 
} 

Nhưng, tất nhiên, điều này chỉ là một lớp kiểu thay thế dựa cơ chế tuần tự hóa trong quyền riêng của nó, làm cho việc sử dụng serialization JVM không cần thiết.

Khóa học hành động tốt nhất của bạn sẽ là vận động hành lang Spark để hỗ trợ trực tiếp dựa trên chuỗi lớp học trực tiếp.