Tại sao tham số tùy chọn phải xuất hiện ở cuối khai báo

Question

Trong tất cả các ngôn ngữ lập trình hỗ trợ các tham số tùy chọn mà tôi đã thấy có giả, các thông số tùy chọn phải xuất hiện ở cuối khai báo. Không có thông số bắt buộc nào có thể được bao gồm sau một mục tùy chọn. Lý do cho điều đó là gì? Tôi đoán nó có thể được yêu cầu biên dịch/thông dịch viên.

Answer 1

Vâng, nếu chúng ở phía trước, bạn sẽ phát hiện ra sao khi chúng không được cung cấp? Cách duy nhất sẽ là nếu loại biến khác nhau sau thông số tùy chọn. Bit của một yêu cầu kỳ lạ, do đó, nó có ý nghĩa rằng bạn chỉ buộc họ phải là cuối cùng (lưu các rắc rối của các quy tắc phức tạp để phát hiện các "cuối cùng" tham số tùy chọn).

Bên cạnh đó, đây là cách tự nhiên nhất để thực hiện khi gọi chức năng.

Answer 2

Chỉ cần đoán trong tự nhiên: Có thể có điều gì đó liên quan đến quy ước gọi điện (ví dụ: thông số được đẩy vào ngăn xếp từ trái sang phải, thông số tùy chọn sẽ bị bỏ qua trong trường hợp chúng không được chỉ định).

Answer 3

Java và C# không có tên thông số, do đó bạn không thể làm:

myfunction(param1='Meh', optionalParam=2) 

Bạn phải làm:

myfunction('Meh', 2) 

Nếu không

myFunction(2, 'Meh') 

là mơ hồ. Làm thế nào là trình biên dịch phải biết rằng bạn có nghĩa là 2 được trong bộ tham số tùy chọn?

Answer 4

Tham số tùy chọn ở cuối cho phép bạn dừng chỉ định thông số tại một số điểm, ví dụ:

void Test(int a, optional int b = 0, optional int c = 0) { ... } 

Test(3); 

Nếu bạn thực hiện c một tham số cần thiết, bạn sẽ phải sử dụng cú pháp như thế này:

Test(3, , 2); 
Test(a := 3, c := 2); 

Ưu điểm của một tham số tùy chọn là nó có thể được coi như nếu nó wasn' t có. Nếu các tham số tùy chọn nằm ở giữa danh sách tham số, điều này là không thể nếu không có "đếm dấu phẩy" hoặc sử dụng một cú pháp quá chi tiết.

Answer 5

Xem xét một khai báo như sau:

int foo(float a, int b=0, int c=0, float d); 

(chú ý làm thế nào tôi đã xác định các thông số defult ở giữa của danh sách) mà sau đó được gọi là như

foo(0.0,1,2.0) 

cuộc gọi là gì? Cụ thể có b hoặc c bị bỏ qua?

nhà thiết kế trình biên dịch có thể làm được việc này bằng cách sử dụng tên thông số

foo(a=0,c=0,d=2.0) 

một tính năng có sẵn trong python ví dụ.

Answer 6

Đây chỉ là một quy tắc tùy ý mà các nhà thiết kế của những ngôn ngữ cụ thể đó đã thực hiện.Hoàn toàn không có lý do kỹ thuật tại sao hạn chế đó nên ở đó.

Nó hoạt động tốt trong Ruby:

def foo(m1, m2, o1='o1', o2='o2', *rest, m3, m4) 
    return m1, m2, o1, o2, rest, m3, m4 
end 

foo(1, 2, 3, 4) 
# => [1, 2, 'o1', 'o2', [], 3, 4] 

foo(1, 2, 3, 4, 5) 
# => [1, 2, 3, 'o2', [], 4, 5] 

foo(1, 2, 3, 4, 5, 6) 
# => [1, 2, 3, 4, [], 5, 6] 

foo(1, 2, 3, 4, 5, 6, 7) 
# => [1, 2, 3, 4, [5], 6, 7] 

foo(1, 2, 3, 4, 5, 6, 7, 8) 
# => [1, 2, 3, 4, [5, 6], 7, 8] 

Mọi đối số bắt buộc phải được cung cấp:

foo(1, 2, 3) 
# => ArgumentError: wrong number of arguments (3 for 4) 

Nếu không có tham số còn lại, cung cấp hơn number_of_mandatory + lập luận number_of_optional là một lỗi:

def bar(m1, m2, o1='o1', o2='o2', m3, m4) 
    return m1, m2, o1, o2, m3, m4 
end 

bar(1, 2, 3, 4, 5, 6, 7) 
# => ArgumentError: wrong number of arguments (7 for 6) 

Tham số bắt buộc ở đầu trò chơi danh sách ter bị ràng buộc từ trái sang phải từ đầu danh sách đối số. Các tham số bắt buộc ở cuối danh sách tham số bị ràng buộc từ phải sang trái từ cuối danh sách đối số. Các tham số tùy chọn bị ràng buộc từ trái sang phải từ đầu danh sách đối số còn lại. Tất cả các đối số còn lại đều bị ràng buộc với các đối số còn lại.