Dấu chấm phẩy tùy chọn

Thông thường, trong một ngôn ngữ mệnh lệnh có mục đích chung - dấu chấm phẩy là dấu phân cách câu lệnh là bắt buộc hoặc không được phép hoàn toàn (ví dụ: C và Python).

Tuy nhiên, một số ngôn ngữ, như JavaScript, cho phép bạn từ chối phân định các câu lệnh của mình bằng dấu chấm phẩy, có lợi cho các dấu phân cách khác (chẳng hạn như một dòng mới).

Các quyết định thiết kế đằng sau này là gì? Tôi hiểu rằng dấu chấm phẩy rất cần thiết khi viết nhiều câu trên cùng một dòng, nhưng có lý do nào khác để bắt chúng không bắt buộc (ngoại trừ theo C) không?

Làm cho chúng bắt buộc (hoặc không cho phép chúng hoàn toàn) làm giảm số lượng các trường hợp góc, loại bỏ nguồn tiềm ẩn của các lỗi tối nghĩa và đơn giản hóa thiết kế trình biên dịch / trình thông dịch.

Các nhà thiết kế ngôn ngữ đã chọn làm cho họ tùy chọn đã chọn sống với sự mơ hồ để đổi lấy sự linh hoạt cú pháp lớn hơn.

JavaScript đã cho chúng ta thấy rằng đây là một ý tưởng rất tồi. Ví dụ:

return
0;

Trong C, giá trị này trả về giá trị bằng 0. Trong JavaScript, giá trị này trả về undefinedvì dấu chấm phẩy được chèn sau câu lệnh return và không rõ ràng tại sao mã của bạn bị phá vỡ trừ khi bạn biết về chi tiết chèn dấu chấm phẩy tự động.

Nó đơn giản hóa ngữ pháp và trình phân tích cú pháp của bạn phần nào để làm cho dấu chấm phẩy bắt buộc. Về cơ bản, nó cho phép lexer kết xuất tất cả các khoảng trắng, bao gồm cả dòng mới và trình phân tích cú pháp không phải lo lắng về điều đó.

Mặt khác, một khi bạn bắt đầu muốn nói với trình phân tích cú pháp về khoảng trắng, thì không khó để tạo dấu chấm phẩy tùy chọn. Bạn thường có thể gộp chúng lại với nhau bằng whitespacemã thông báo và trình phân tích cú pháp của bạn có thể xử lý tốt.

Ví dụ: thử chèn dấu chấm phẩy vào chuỗi câu lệnh C sau đây.

functionCall(3, 4) 9 + (3 / 8) variable++ while(1) { printf("Hello, world\n") }

Mặc dù có một số điều kỳ lạ mà bạn không còn có thể làm được, như while(1);, đối với hầu hết các phần, việc tương đối dễ dàng với các kỹ thuật phân tích cú pháp hiện đại để xác định nơi các câu lệnh kết thúc mà không có một dấu phân cách cụ thể. Ngay cả khi bạn vẫn muốn cho phép những thứ kỳ lạ, không khó để tạo ra một newline_or_semicolonthiết bị đầu cuối.

Dấu chấm phẩy rất hữu ích trong một ngữ pháp vì 2 lý do. Đầu tiên, nó cho phép bạn chia các câu lệnh dài thành nhiều dòng mà không có các ký tự tiếp tục hợp pháp (tôi đang nói về bạn, Fortran và Basic). Thứ hai, nó cho phép trình phân tích cú pháp có cách "từ bỏ" phân tích cú pháp khi cú pháp thực sự bị lỗi do lỗi chính tả. Ăn cắp từ ví dụ của Karl Bielefeldt,

functionCall(3, 4) 9 + (3 / 8) variable++ while(1) { printf("Hello, world\n") }

hãy tưởng tượng bạn đã gõ thêm một paren mở:

functionCall((3, 4) 9 + (3 / 8) variable++ while(1) { printf("Hello, world\n") }

bây giờ lỗi ở đâu? Nếu bạn đã có dấu chấm phẩy, trình phân tích cú pháp sẽ dễ dàng hơn khi bỏ dấu chấm phẩy đầu tiên. Nó thậm chí có thể tiếp tục phân tích cú pháp sau dấu chấm phẩy nếu muốn.

functionCall((3, 4);  <- something is wrong here. emit error and keep going.
                      9 + (3 / 8); variable++; while(1) { printf("Hello, world\n"); }

Bây giờ, trình phân tích cú pháp báo cáo lỗi dễ dàng hơn và dễ dàng xác định vị trí dòng / cột nơi xảy ra.

Dấu chấm phẩy không phải lúc nào cũng là tất cả hoặc không có gì giống như bạn đề cập trong câu hỏi của bạn. Ví dụ, ngữ pháp của Lua được thiết kế cẩn thận ở dạng tự do (tất cả các khoảng trắng, bao gồm cả dòng mới, có thể bị bỏ qua) nhưng cũng không cần sử dụng bất kỳ dấu chấm phẩy nào. Ví dụ: các chương trình sau là tương đương:

--One statement per line
x = 1
y = 2

--Multiple statements per line
x = 1 y = 2

--You can add semicolons if you want but its just for clarity:
x = 1; y = 2

Tất cả các thiết kế và xây dựng sang một bên, tôi tin rằng rất nhiều lập trình viên đến từ các nền tảng khác nhau và một số người đã học cách sử dụng dấu chấm phẩy và một số thì không. Rất nhiều ngôn ngữ mới hơn đang nổi lên không yêu cầu dấu chấm phẩy nhưng vẫn cho phép nó tồn tại. Tôi nghĩ rằng nó có thể chỉ là một cách để nhiều lập trình viên học cách viết mã bằng các ngôn ngữ mới này mà không phải từ bỏ thói quen của họ từ khi họ bắt đầu.