Tại sao Scala không thể tối ưu hóa kết quả phù hợp này với một công tắc?

Question

Tôi đã pattern match này phù hợp với chỉ trên các giá trị Byte nhưng khi tôi thêm các @switch nó nói:

không thể phát ra chuyển sang @switch trận đấu chú thích

tôi thiếu gì ở đây?

Just FYI, những gì tôi đã cố gắng đã và đã không làm việc:

• Di chuyển liên tục này cho một giao diện Java và sử dụng public static final byte lĩnh vực (Tôi cũng đã cố gắng làm cho chúng int thay vì byte)
• Đánh dấu các trường là final val tại đối tượng đồng hành Scala Message
• Đánh dấu các trường là @inline tại đối tượng đồng hành

Tôi chắc chắn bị lạc ở đây.

Answer 1

Câu trả lời theo quy định tại diễn đàn scala-user đã làm cho Vals thức và loại bỏ các Byte chú thích:

object Message { 
    final val Authentication = 'R' 
    final val BackendKeyData = 'K' 
    final val Bind = 'B' 
    final val BindComplete = '2' 
} 

Bây giờ @switch một cách chính xác tạo ra một lookupswitch (nó không tạo ra một tableswitch nhưng nó đủ tốt) .