Tại sao không thể chỉ định giá trị mặc định của tham số Varala varargs?

Question

tôi đã viết một lớp mà chấp nhận một varargs như một tham số, và chỉ định mặc định của nó để người dùng thường có thể nhanh chóng nó mà không chỉ định một tham số:

class MyClass(values: Int* = 42) { } 

Tuy nhiên, trình biên dịch và REPL cho tôi các lỗi sau đây :

<console>:7: error: type mismatch; 
found : Int(42) 
required: Int* 
     class MyClass(values: Int* = 42) { } 
           ^
<console>:7: error: a parameter section with a `*'-parameter is not allowed to have default arguments 
     class MyClass(values: Int* = 42) { } 

là một workaround, tôi đã thử sau đây, nhưng nó đã không làm việc một trong hai: (. nó rất mơ hồ rõ ràng)

class MyClass(value: Int = 42, otherValues: Int*) { } 

Tôi tự hỏi tại sao nó không được phép có mặc định cho tham số varargs. Lý do kỹ thuật hoặc lý luận nằm dưới đây là gì? (Tôi đoán là chỉ định một varargs trống sẽ yêu cầu một số cú pháp đặc biệt hoặc thành ngữ, nhưng tôi không chắc chắn nếu đây là một lý do đủ.)

Answer 1

Suy nghĩ một chút về vấn đề này, tôi nghĩ rằng nó chỉ là một vấn đề không thêm quá nhiều phức tạp, giả sử bạn có

def f(a: A, xs: X* = Seq(x0, x1)) = ??? 

Bây giờ người gọi sử dụng như thế này: f(a).

Làm cách nào để biết người gọi có ý định vượt qua danh sách số không hoặc muốn kích hoạt các đối số mặc định bằng cách không cung cấp không? Trong ví dụ của bạn, bạn giả định rằng sự thay thế thứ hai là trường hợp duy nhất sẽ có và trình biên dịch cần cung cấp giá trị đối số mặc định. Nhưng một sản phẩm trống Seq() đã là một giá trị hoàn toàn hợp lệ do người gọi cung cấp. Tôi đoán người gọi có thể viết f(a, Seq(): _*) nhưng nó cồng kềnh.

Answer 2

Varargs, không chỉ trong Scala, là một trừu tượng trên một danh sách các đối số , nếu tôi không nhầm, nó được chia nhỏ thành Seq, một danh sách các đối số. Xuất phát từ điều này, bạn mong đợi kết quả gì từ values: Int* = 42? Và sau đó, khi bạn gọi phương thức này, các đối số nên được chuyển vào phương thức này như thế nào?

Answer 3

Từ scala đặc điểm kỹ thuật (Mục 4.6.2)

Không được phép để de fi ne bất kỳ đối số mặc định trong phần tham số với một tham số lặp đi lặp lại

Có lẽ một workaround sẽ giúp đỡ?

class MyClass(values: Int*) { 
    def this() = this(5) 
} 

Answer 4

workaround khác là để làm cho Seq rõ ràng:

class MyClass(values: Seq[Int] = Seq(42)) { } 

Answer 5

Giá trị mặc định để varargs chỉ không có ý nghĩa, vì bạn không thể tìm ra bao nhiêu lý lẽ nên được thông qua. Đây không phải là một hạn chế của scala, đây là một giới hạn hợp lý.