Scala: Có thể chỉ ra một lớp chung mà thực hiện một phương thức nhất định

Question

Tôi nghĩ sẽ dễ dàng hơn khi giải thích nó bằng một ví dụ đơn giản. (giúp rephrasing tiêu đề được chào đón ;-)

Tôi muốn thực hiện phương thức squared và sử dụng implicit def, tự động thêm nó vào bất kỳ lớp nào hỗ trợ * -operator.

Với một Int nó rất dễ dàng:

class EnhancedInt(x: Int) { def squared = x * x } 

implicit def IntToEnchancedInt(x: Int) = new EnhancedInt(x) 

Nhưng với Bất kỳ hoặc AnyVal tôi nhận được lỗi sau:

scala> class EnhanceAny(x: AnyVal) { def squared = x * x } 
<console>:7: error: value * is not a member of AnyVal 
     class EnhanceAny(x: AnyVal) { def squared = x * x } 

Tôi muốn biết làm thế nào tôi có thể áp dụng nó cho bất kỳ số hoặc thậm chí tốt hơn cho bất kỳ lớp học nào hỗ trợ * -operator.

Answer 1

Nó không thể có giải pháp hoạt động trên bất kỳ loại với một phương pháp * mà không cần viết một chuyển đổi soạn sẵn cho từng loại bạn muốn để đối phó với. Về cơ bản để làm điều đó bạn sẽ cần một kiểu cấu trúc đệ quy, và Scala không hỗ trợ những loại đó vì việc loại bỏ kiểu JVM. Xem phần này post để biết thêm chi tiết.

Bạn có thể nhận được khá gần với những gì bạn muốn bằng cách sử dụng loại lớp cùng với loại lớp học Numeric, (lấy cảm hứng từ câu trả lời cho câu hỏi this và this). Điều này sẽ làm việc với hầu hết các nguyên thủy:

//define the type class 
trait Multipliable[X] { def *(x: X): X} 

//define an implicit from A <% Numeric[A] -> Multipliable[Numeric[A]] 
implicit def Numeric2Mult[A](a: A)(implicit num: Numeric[A]): Multipliable[A] = new Multipliable[A]{def *(b: A) = num.times(a, b)} 

//now define your Enhanced class using the type class 
class EnhancedMultipliable[T <% Multipliable[T]](x: T){ def squared = x * x} 

//lastly define the conversion to the enhanced class 
implicit def Mult2EnhancedMult[T <% Multipliable[T]](x: T) = new EnhancedMultipliable[T](x) 

3.squared 
//Int = 9 

3.1415F.squared 
//Float = 9.869022 

123456789L.squared 
//Long = 15241578750190521 

Answer 2

Go lần Scala: How to define “generic” function parameters?

Answer 3

Hãy nghĩ về điều đó. Phép nhân có các thuộc tính khác nhau trên các đối tượng khác nhau. Phép nhân số nguyên, ví dụ, là kết hợp và giao hoán, nhân vô hướng không phải là giao hoán. Và nhân trên số dấu chấm động ... Nhưng, tất nhiên, bạn có thể có những gì bạn muốn với đặc điểm hoặc với "đặc điểm và ngầm" xây dựng tương tự như một typeclass.