Thiết kế cú pháp - Tại sao nên sử dụng dấu ngoặc đơn khi không có đối số nào được thông qua?

Trong nhiều ngôn ngữ, cú pháp function_name(arg1, arg2, ...)được sử dụng để gọi một hàm. Khi chúng ta muốn gọi hàm mà không có bất kỳ đối số nào, chúng ta phải làm function_name().

Tôi thấy thật kỳ lạ khi trình biên dịch hoặc trình thông dịch kịch bản sẽ yêu cầu ()phát hiện thành công nó như một lệnh gọi hàm. Nếu một biến được biết là có thể gọi được, tại sao sẽ không function_name;đủ?

Mặt khác, trong một số ngôn ngữ chúng ta có thể làm: function_name 'test';hoặc thậm chí function_name 'first' 'second';để gọi một chức năng hoặc một lệnh.

Tôi nghĩ rằng dấu ngoặc đơn sẽ tốt hơn nếu chúng chỉ cần khai báo thứ tự ưu tiên và ở những nơi khác là tùy chọn. Ví dụ, làm if expression == true function_name;nên có giá trị như if (expression == true) function_name();.

Điều khó chịu nhất theo ý kiến ​​của tôi là phải làm gì 'SOME_STRING'.toLowerCase()khi rõ ràng không cần đối số cho hàm nguyên mẫu. Tại sao các nhà thiết kế quyết định chống lại đơn giản hơn 'SOME_STRING'.lower?

Tuyên bố miễn trừ trách nhiệm: Đừng hiểu sai ý tôi, tôi thích cú pháp giống như C! ;) Tôi chỉ hỏi liệu nó có thể tốt hơn không. Có yêu cầu ()có bất kỳ lợi thế hiệu suất, hoặc nó làm cho việc hiểu mã dễ dàng hơn? Tôi thực sự tò mò về lý do chính xác là gì.

Đối với các ngôn ngữ sử dụng các hàm hạng nhất , điều khá phổ biến là cú pháp tham chiếu đến một hàm là:

a = object.functionName

trong khi hành động gọi hàm đó là:

b = object.functionName()

atrong ví dụ trên sẽ được tham chiếu đến hàm trên (và bạn có thể gọi nó bằng cách thực hiện a()), trong khi bsẽ chứa giá trị trả về của hàm.

Mặc dù một số ngôn ngữ có thể thực hiện các cuộc gọi hàm mà không có dấu ngoặc đơn, nhưng nó có thể gây nhầm lẫn cho dù chúng đang gọi hàm hay chỉ đơn giản là tham chiếu đến hàm.

Thật vậy, Scala cho phép điều này, mặc dù có một quy ước được tuân theo: nếu phương thức này có tác dụng phụ, dù sao thì nên sử dụng dấu ngoặc đơn.

Là một người viết trình biên dịch, tôi sẽ thấy sự hiện diện được bảo đảm của dấu ngoặc đơn khá thuận tiện; Tôi sẽ luôn biết rằng đó là một cuộc gọi phương thức và tôi sẽ không phải xây dựng một phân nhánh cho trường hợp kỳ lạ.

Là một lập trình viên và người đọc mã, sự hiện diện của dấu ngoặc đơn không nghi ngờ gì rằng đó là một cuộc gọi phương thức, mặc dù không có tham số nào được thông qua.

Việc truyền tham số không phải là đặc tính xác định duy nhất của lệnh gọi phương thức. Tại sao tôi lại xử lý một phương thức không tham số khác với phương thức có tham số?

Đây thực sự là một sự thay đổi khá tinh tế của các lựa chọn cú pháp. Tôi sẽ nói với các ngôn ngữ chức năng, dựa trên phép tính lambda đã gõ.

Trong các ngôn ngữ đã nói, mọi hàm đều có chính xác một đối số . Những gì chúng ta thường nghĩ là "nhiều đối số" thực sự là một tham số duy nhất của loại sản phẩm. Vì vậy, ví dụ, hàm so sánh hai số nguyên:

leq : int * int -> bool
leq (a, b) = a <= b

mất một cặp số nguyên. Các dấu ngoặc không biểu thị các tham số hàm; chúng được sử dụng để khớp mẫu với đối số. Để thuyết phục bạn rằng đây thực sự là một đối số, thay vào đó chúng ta có thể sử dụng các hàm chiếu thay vì khớp mẫu để giải cấu trúc cặp:

leq some_pair = some_pair.1 <= some_pair.2

Do đó, dấu ngoặc đơn thực sự là một tiện lợi cho phép chúng ta tạo mẫu khớp và lưu một số cách gõ. Họ không bắt buộc.

Điều gì về một chức năng mà bề ngoài không có đối số? Một chức năng như vậy thực sự có tên miền Unit. Thành viên duy nhất Unitthường được viết là (), vì vậy đó là lý do tại sao dấu ngoặc đơn xuất hiện.

say_hi : Unit -> string
say_hi a = "Hi buddy!"

Để gọi hàm này, chúng ta sẽ phải áp dụng nó cho một giá trị kiểu Unit, phải ()như vậy, vì vậy chúng ta kết thúc bằng văn bản say_hi ().

Vì vậy, thực sự không có thứ gọi là danh sách đối số!

Ví dụ, trong Javascript sử dụng tên phương thức không có () sẽ trả về hàm mà không thực hiện nó. Bằng cách này, bạn có thể chuyển hàm dưới dạng đối số sang phương thức khác.

Trong Java, sự lựa chọn được đưa ra là một mã định danh theo sau () hoặc (...) có nghĩa là một cuộc gọi phương thức trong khi một mã định danh không có () đề cập đến một biến thành viên. Điều này có thể cải thiện khả năng đọc, vì bạn không nghi ngờ liệu bạn đang xử lý một phương thức hay một biến thành viên. Trong thực tế, cùng một tên có thể được sử dụng cho cả một phương thức và một biến thành viên, cả hai sẽ có thể truy cập được bằng cú pháp tương ứng của chúng.

Cú pháp tuân theo ngữ nghĩa, vì vậy hãy bắt đầu từ ngữ nghĩa:

Các cách sử dụng một chức năng hoặc phương pháp là gì?

Thực tế, có nhiều cách:

• một hàm có thể được gọi, có hoặc không có đối số
• một chức năng có thể được coi là một giá trị
• một hàm có thể được áp dụng một phần (tạo một bao đóng lấy ít nhất một đối số ít hơn và đóng trên các đối số đã truyền)

Có một cú pháp tương tự cho các mục đích sử dụng khác nhau là cách tốt nhất để tạo ra một ngôn ngữ mơ hồ hoặc ít nhất là một ngôn ngữ khó hiểu (và chúng ta có đủ những thứ đó).

Trong các ngôn ngữ C và C:

• việc gọi một hàm được thực hiện bằng cách sử dụng dấu ngoặc đơn để đặt các đối số (có thể không có) như trong func()
• việc xử lý một hàm như một giá trị có thể được thực hiện bằng cách sử dụng tên của nó như trong &func(C tạo một con trỏ hàm)
• trong một số ngôn ngữ, bạn có các cú pháp ngắn để áp dụng một phần; someVariable::someMethodVí dụ, Java cho phép (giới hạn trong trình nhận phương thức, nhưng vẫn hữu ích)

Lưu ý cách mỗi cách sử dụng có một cú pháp khác nhau, cho phép bạn phân biệt chúng dễ dàng.

Trong một ngôn ngữ có tác dụng phụ, IMO thực sự hữu ích để phân biệt giữa việc đọc (trong lý thuyết tác dụng phụ miễn phí) của một biến

variable

và gọi một chức năng, có thể phát sinh tác dụng phụ

launch_nukes()

OTOH, nếu không có tác dụng phụ (trừ những tác dụng được mã hóa trong hệ thống loại) thì sẽ không có điểm nào khác biệt giữa việc đọc một biến và gọi một hàm không có đối số.

Không có câu trả lời nào khác đã cố gắng giải quyết câu hỏi: cần có bao nhiêu sự dư thừa trong thiết kế ngôn ngữ? Bởi vì ngay cả khi bạn có thể thiết kế một ngôn ngữ để x = sqrt yđặt x thành căn bậc hai của y, điều đó không có nghĩa là bạn nhất thiết phải làm.

Trong một ngôn ngữ không có sự dư thừa, mỗi chuỗi ký tự có nghĩa là một cái gì đó, có nghĩa là nếu bạn mắc một lỗi duy nhất, bạn sẽ không nhận được thông báo lỗi, chương trình của bạn sẽ làm sai, đó có thể là một cái gì đó rất khác với những gì bạn dự định và rất khó để gỡ lỗi. (Như bất kỳ ai từng làm việc với các biểu thức thông thường đều sẽ biết.) Một chút dư thừa là một điều tốt vì nó cho phép phát hiện ra nhiều lỗi của bạn và càng có nhiều sự dư thừa thì khả năng chẩn đoán sẽ càng chính xác. Bây giờ tất nhiên, bạn có thể đi quá xa (không ai trong chúng ta muốn viết bằng COBOL những ngày này), nhưng có một sự cân bằng là đúng.

Dự phòng cũng giúp dễ đọc, bởi vì có nhiều manh mối hơn. Tiếng Anh không có dư thừa sẽ rất khó đọc, và điều tương tự cũng đúng với ngôn ngữ lập trình.

Trong hầu hết các trường hợp, đây là những lựa chọn cú pháp về ngữ pháp của ngôn ngữ. Nó rất hữu ích cho ngữ pháp cho các cấu trúc riêng lẻ khác nhau (tương đối) không rõ ràng khi được kết hợp tất cả lại với nhau. (Nếu có sự mơ hồ, như trong một số khai báo C ++, phải có các quy tắc cụ thể để phân giải.) Trình biên dịch không có vĩ độ để đoán; nó là cần thiết để làm theo đặc điểm kỹ thuật ngôn ngữ.

Visual Basic, dưới nhiều hình thức khác nhau, phân biệt giữa các thủ tục không trả về giá trị và hàm.

Các thủ tục phải được gọi là một tuyên bố và không yêu cầu parens, chỉ cần các đối số được phân tách bằng dấu phẩy, nếu có. Các hàm phải được gọi là một phần của biểu thức và yêu cầu parens.

Đó là một sự khác biệt tương đối không cần thiết làm cho việc tái cấu trúc thủ công giữa hai hình thức trở nên đau đớn hơn nó phải có.

(Mặt khác Visual Basic sử dụng dấu ngoặc cùng ()để tham khảo mảng như cho các cuộc gọi chức năng, vì vậy tài liệu tham khảo mảng trông giống như chức năng cuộc gọi. Và điều này giúp giảm bớt refactoring tay một mảng thành một cuộc gọi chức năng! Vì vậy, chúng ta có thể suy nghĩ về các ngôn ngữ khác sử dụng []'s để tham khảo mảng, nhưng tôi lạc đề ...)

Trong ngôn ngữ C và C ++, nội dung của các biến được tự động truy cập bằng cách sử dụng tên của chúng và nếu bạn muốn tham chiếu đến chính biến đó thay vì nội dung của nó, bạn áp dụng toán tử đơn nguyên &.

Loại cơ chế này cũng có thể được áp dụng cho tên hàm. Tên hàm thô có thể ám chỉ một lệnh gọi hàm, trong khi đó một toán tử đơn nguyên &sẽ được sử dụng để gọi hàm (chính nó) là dữ liệu. Cá nhân, tôi thích ý tưởng truy cập các hàm không có đối số không có tác dụng phụ với cú pháp giống như các biến.

Điều này là hoàn toàn hợp lý (cũng như các lựa chọn cú pháp khác cho việc này).

Tính nhất quán và dễ đọc.

Nếu tôi biết rằng bạn gọi hàm Xnhư thế này: X(arg1, arg2, ...)thì tôi mong nó hoạt động theo cách tương tự để không có đối số : X().

Bây giờ đồng thời tôi biết rằng bạn có thể định nghĩa biến là một số ký hiệu và sử dụng nó như thế này:

a = 5
b = a
...

Bây giờ tôi sẽ nghĩ gì khi tôi tìm thấy điều này?

c = X

Dự đoán của bạn là tốt như của tôi. Trong trường hợp bình thường, Xlà một biến. Nhưng nếu chúng tôi đi theo con đường của bạn, nó cũng có thể là một chức năng! Tôi có nhớ liệu biểu tượng nào ánh xạ tới nhóm nào (biến / hàm) không?

Chúng ta có thể áp đặt các ràng buộc nhân tạo, ví dụ: "Các hàm bắt đầu bằng chữ in hoa. Các biến bắt đầu bằng chữ in thường", nhưng điều đó không cần thiết và làm cho mọi thứ phức tạp hơn, mặc dù đôi khi có thể giúp một số mục tiêu thiết kế.

Lưu ý phụ 1: Các câu trả lời khác hoàn toàn bỏ qua một điều nữa: ngôn ngữ có thể cho phép bạn sử dụng cùng tên cho cả chức năng và biến và phân biệt theo ngữ cảnh. Xem Common Lisplàm ví dụ. Chức năng xvà biến xcùng tồn tại hoàn toàn tốt.

Lưu ý phụ 2: Câu trả lời được chấp nhận cho chúng ta thấy cú pháp : object.functionname. Thứ nhất, nó không phổ biến đối với các ngôn ngữ có chức năng hạng nhất. Thứ hai, là một lập trình viên, tôi sẽ coi đây là một thông tin bổ sung: functionnamethuộc về một object. Cho dù objectlà một đối tượng, một lớp hay một không gian tên không quan trọng lắm, nhưng nó cho tôi biết rằng nó thuộc về một nơi nào đó . Điều này có nghĩa là bạn phải thêm cú pháp nhân tạo object.cho từng chức năng toàn cầu hoặc tạo một số objectđể giữ tất cả các chức năng toàn cầu.

Và bằng cách nào đó, bạn mất khả năng có các không gian tên riêng cho các hàm và biến.

Để thêm vào các câu trả lời khác, hãy lấy ví dụ C này:

void *func_factory(void)
{
        return 0;
}

void *(*ff)(void);

void example()
{
        ff = func_factory;
        ff = func_factory();
}

Nếu toán tử gọi là tùy chọn, sẽ không có cách nào để phân biệt giữa gán chức năng và gọi hàm.

Điều này thậm chí còn có vấn đề hơn trong các ngôn ngữ thiếu một hệ thống loại, ví dụ JavaScript, trong đó suy luận kiểu không thể được sử dụng để tìm ra cái gì và không phải là một hàm.