Tại sao toán tử gán gán gán cho phía bên trái?

Tôi mới bắt đầu dạy lập trình cho một người bạn mới đây (chúng tôi đang sử dụng Python) và khi chúng tôi bắt đầu thảo luận về việc tạo biến và toán tử gán, cô ấy hỏi tại sao giá trị bên phải được gán cho tên bên trái chứ không phải ngược lại .

Tôi đã không nghĩ về nó quá nhiều trước đây, bởi vì nó có vẻ tự nhiên đối với tôi, nhưng cô ấy nói rằng từ trái sang phải có vẻ tự nhiên hơn với cô ấy, vì đó là cách mà hầu hết chúng ta đọc ngôn ngữ tự nhiên.

Tôi nghĩ về nó và kết luận rằng nó làm cho mã dễ đọc hơn nhiều, vì các tên được gán cho (mà lập trình viên sẽ cần sử dụng lại) có thể dễ dàng nhìn thấy, được căn bên trái.

aligned = 2
on = 'foo' + 'bar' + 'foobar'
the = 5.0 / 2
left = 2 + 5

Như trái ngược với:

2 = aligned 
'foo' + 'bar' + 'foobar' = on
5.0 / 2 = the 
2 + 5 = right 

# What were the names again...?

Bây giờ tôi tự hỏi nếu có những lý do khác cho tiêu chuẩn này. Có một lịch sử đằng sau nó? Hoặc có một số lý do kỹ thuật tại sao đây là một lựa chọn tốt (tôi không biết nhiều về trình biên dịch)? Và có ngôn ngữ lập trình nào được gán cho phía bên phải không?

Ditto @paxdiablo. Các ngôn ngữ lập trình ban đầu được viết bởi các nhà toán học - thực ra tất cả chúng đều như vậy. Trong toán học, theo nguyên tắc của riêng cô - đọc từ trái sang phải - nó có ý nghĩa trong cách nó hoạt động.

x = 2y - 4.

Trong toán học, bạn sẽ nói điều này: Đặt x bằng 2y -4.

Ngoài ra, ngay cả trong đại số bạn làm điều này. Khi bạn giải phương trình cho một biến, bạn cô lập biến bạn đang giải cho bên trái. tức là y = mx + b;

Hơn nữa, một khi toàn bộ họ ngôn ngữ - chẳng hạn như họ C - có một cú pháp nhất định, việc thay đổi sẽ tốn kém hơn.

BASIC, một trong những ngôn ngữ máy tính sớm nhất có dạng "thích hợp" là:

10 LET AREA = HEIGHT * WIDTH

phù hợp với tư duy toán học về việc chỉ định một biến, như "Gọi H là chiều cao của đối tượng".

COBOLcũng tương tự với COMPUTEtuyên bố của nó . Như với nhiều cách làm, nó có thể chỉ đơn giản là một quyết định tùy tiện được đưa ra thông qua nhiều ngôn ngữ.

Trên thực tế, có một ngôn ngữ lập trình gán cho phía bên phải: TI-BASIC ! Không chỉ vậy, nhưng nó cũng không sử dụng '=' làm toán tử gán, mà sử dụng một mũi tên được gọi là toán tử "STO".

ví dụ:

5→A
(A + 3)→B
(A - B)→C

Trong ví dụ trên, ba biến đang được khai báo và đưa ra các giá trị. A sẽ là 5, B sẽ là 8 và C sẽ là -3. Khai báo / chuyển nhượng đầu tiên có thể được đọc 'lưu trữ 5 dưới dạng A'.

Về lý do TI-BASIC sử dụng một hệ thống như vậy để gán, tôi gán nó là bởi vì nó là ngôn ngữ lập trình cho máy tính. Toán tử "STO" trên máy tính TI thường được sử dụng nhất trong các hoạt động của máy tính thông thường sau khi một số được tính. Nếu đó là một số mà người dùng muốn nhớ, họ sẽ nhấn nút "STO" và trình tạo mã sẽ nhắc họ đặt tên (tự động kích hoạt khóa alpha để tổ hợp phím tạo ra các chữ cái thay vì số)

Sin(7 + Cos(3))
                    -.26979276
Ans→{variable name}
                    -.26979276

và người dùng có thể đặt tên cho biến bất cứ điều gì họ chọn. Phải bật khóa alpha, nhập tên, sau đó nhấn "STO" và nhấn phím "Ans" sẽ quá cồng kềnh đối với các hoạt động bình thường. Vì tất cả các chức năng của máy tính đều khả dụng trong TI-BASIC, không có toán tử gán nào khác được thêm vào khi "STO" thực hiện cùng một nhiệm vụ, mặc dù ngược lại khi so sánh với hầu hết các ngôn ngữ khác.

(Giai thoại: TI-BASIC là một trong những ngôn ngữ đầu tiên tôi học được, vì vậy khi tôi mới học Java ở trường đại học, tôi cảm thấy như việc gán cho LEFT là không bình thường và 'ngược'!)

Heuristic 1: Khi phải đối mặt với nhiều hơn một cách có thể để làm một cái gì đó trong khi thiết kế một ngôn ngữ, hãy chọn một ngôn ngữ phổ biến nhất, trực quan nhất, nếu không bạn sẽ kết thúc với Perl +.

Bây giờ, làm thế nào nó tự nhiên hơn (ít nhất là với một người nói tiếng Anh)? Hãy xem cách chúng ta viết / nói những điều bằng tiếng Anh:

Steven bây giờ 10 tuổi (trái ngược với Steven 10 tuổi bây giờ). Tôi nặng hơn 190 pounds (trái ngược với hơn 190 pounds tôi nặng).

Trong mã:

steven = 10
i > 190

Sau đây cũng có vẻ tự nhiên hơn:

"Nếu Mary 18 tuổi, thì cô ấy có thể có kẹo". "Nếu tôi nhỏ hơn 21 yo, thì tôi sẽ nhờ anh trai tôi bằng tequila".

if (mary == 18) { ... }
if (i < 21) { ... }

hơn:

"Nếu 18 yo Mary là ..." "Nếu 21 lớn hơn tuổi tôi ..."

Bây giờ mã:

if (18 == mary) { ... }
if (21 > i) { ... }

Lưu ý rằng điều này không tự nhiên đối với cả lập trình viên cũng như người nói tiếng Anh. Các câu nghe giống như yoda-speak và mã có biệt danh là yoda-condition. Chúng có thể hữu ích trong C ++, nhưng tôi chắc chắn rằng hầu hết mọi người sẽ đồng ý: nếu một trình biên dịch có thể thực hiện công việc nặng nhọc và giảm bớt nhu cầu về điều kiện yoda, cuộc sống sẽ dễ dàng hơn một chút.

Tất nhiên, người ta có thể quen với bất cứ điều gì. Ví dụ, số 81 được viết là:

Tám mươi mốt (tiếng Anh) Tám mươi và một (tiếng Tây Ban Nha) Một và tám mươi (tiếng Đức).

Cuối cùng, có 4! = 24 cách nói hợp lệ "táo xanh nằm trên bàn" trong tiếng Nga - thứ tự (gần như) không thành vấn đề, ngoại trừ việc 'trên' phải đi cùng với 'bảng'. Vì vậy, nếu bạn là một người nói tiếng Nga bản địa (ví dụ), thì bạn có thể không quan tâm liệu một người viết a = 10hay 10 = abởi vì cả hai đều có vẻ tự nhiên như nhau.

Mặc dù ngôn ngữ học là một môn học hấp dẫn, tôi chưa bao giờ chính thức nghiên cứu nó và không biết nhiều ngôn ngữ đó. Hy vọng rằng tôi đã cung cấp đủ các ví dụ phản tác dụng.

Nó bắt đầu với FORTRAN vào những năm 1950. Trong đó FORTRAN là tên viết tắt của FORmula TRANslation - các công thức trong câu hỏi là các phương trình đại số đơn giản mà theo quy ước luôn luôn gán cho bên trái.

Mặt khác, COBOL hiện đại của nó có nghĩa là giống tiếng Anh và được gán cho bên phải (chủ yếu!).

MOVE 1 TO COUNTER.
ADD +1 TO LINE-CNT.
MULTIPLY QTY BY PRICE GIVING ITEM-PRICE.

Chà, như @ diceguyd30 đã chỉ ra, có cả hai ký hiệu.

• <Identifier> = <Value>có nghĩa là "hãy để Định danh là Giá trị ". Hoặc để mở rộng điều đó: Xác định (hoặc xác định lại) Định danh biến thành Giá trị .
• <Value> -> <Identifier>có nghĩa là "lưu trữ giá trị cho định danh ". Hoặc để mở rộng điều đó: Đặt Giá trị vào vị trí được chỉ định bởi Mã định danh .

Tất nhiên, nói chung, Mã định danh trên thực tế có thể là bất kỳ giá trị L nào.

Cách tiếp cận đầu tiên tôn vinh khái niệm trừu tượng của các biến, cách tiếp cận thứ hai là về lưu trữ thực tế.

Lưu ý rằng cách tiếp cận đầu tiên cũng phổ biến trong các ngôn ngữ, không có bài tập. Cũng lưu ý, định nghĩa biến và gán tương đối gần <Type> <Identifier> = <Value>so với <Identifier> = <Value>.

Như đã được đề cập, khá tốt tất cả các ngôn ngữ máy tính ban đầu hoạt động theo cách đó. Ví dụ FORTRAN, đã xuất hiện nhiều năm trước BASIC.

Nó thực sự có ý nghĩa rất lớn khi có biến được gán ở bên trái của biểu thức gán. Trong một số ngôn ngữ, bạn có thể có một số thói quen quá tải khác nhau với TÊN CÙNG, trả về các loại kết quả khác nhau. Bằng cách cho trình biên dịch nhìn thấy loại biến được gán trước, nó sẽ biết thói quen bị quá tải nào sẽ được gọi, hoặc diễn viên ngầm nào sẽ tạo khi chuyển đổi từ (ví dụ) một số nguyên sang float. Đó là một chút giải thích đơn giản, nhưng hy vọng bạn có ý tưởng.

Nó có thể là tàn dư của các thuật toán phân tích cú pháp sớm. Hãy nhớ rằng phân tích cú pháp LR chỉ được phát minh vào năm 1965 và cũng có thể là các trình phân tích LL đã gặp sự cố (trong giới hạn thời gian và không gian của các máy tại thời điểm đó) đi theo hướng khác. Xem xét:

identifier = function();
function();

Hai rõ ràng là rõ ràng từ mã thông báo thứ hai. Mặt khác,

function() = identifier;
function();

Không vui. Điều này trở nên tồi tệ hơn khi bạn bắt đầu lồng các biểu thức gán.

function(prev_identifier = expression) = identifier;
function(prev_identifier = expression);

Tất nhiên, dễ dàng hơn để định hướng cho máy móc cũng có nghĩa là dễ dàng hơn để định hướng cho con người. Một ví dụ dễ dàng khác là tìm kiếm khởi tạo của bất kỳ định danh cụ thể nào.

identifier1 = expressionOfAnArbitraryLength;
identifier2 = expressionOfAReallyReallyReallyArbitraryLength;
identifier3 = expression;
identifier4 = AlongLineExpressionWithAFunctionCallWithAssignment(
    identifier = expr);

Dễ dàng, chỉ cần nhìn lên phía bên trái. Mặt khác, mặt khác

expressionOfAnArbitraryLength = identifier1;
expressionOfAReallyReallyReallyArbitraryLength = identifier2;
expression = identifier3;
AlongLineExpressionWithAFunctionCallWithAssignment(expr = identifier
    ) = identifier4;

Đặc biệt là khi bạn không thể grepđấm thẻ, việc tìm định danh bạn muốn sẽ khó hơn nhiều.

Các ngôn ngữ Asssugging có đích là một phần của opcode bên trái. Các ngôn ngữ cấp cao hơn có xu hướng tuân theo các quy ước của các ngôn ngữ tiền nhiệm.

Khi bạn nhìn thấy =(hoặc :=cho các phương ngữ Pascalish), bạn có thể phát âm chúng theo cách is assigned the valueđó, thì bản chất từ ​​trái sang phải sẽ có ý nghĩa (bởi vì chúng ta cũng đọc từ trái sang phải trong hầu hết các ngôn ngữ). Vì các ngôn ngữ lập trình chủ yếu được phát triển bởi những người đọc từ trái sang phải, các quy ước bị mắc kẹt.

Đó là một loại phụ thuộc đường dẫn . Tôi cho rằng nếu lập trình máy tính được phát minh bởi những người nói tiếng Do Thái hoặc tiếng Ả Rập (hoặc một số ngôn ngữ từ phải sang trái khác), thì tôi nghi ngờ chúng ta sẽ đặt đích đến bên phải.

Đối với giá trị của nó, hầu hết các câu lệnh trong COBOL đều đọc từ trái sang phải, vì vậy hai toán hạng được đặt tên đầu tiên và đích đến cuối cùng, như : multiply salary by rate giving tax.

Tuy nhiên, tôi sẽ không đề xuất rằng học sinh của bạn có thể thích COBOL, vì sợ rằng tôi (hoàn toàn đúng) bị gắn cờ vì đã đưa ra một nhận xét thấp, không lịch sự, vô vị như vậy! :-)

cô ấy nói rằng từ trái sang phải có vẻ tự nhiên hơn đối với cô ấy, vì đó là cách mà hầu hết chúng ta đọc ngôn ngữ tự nhiên.

Tôi nghĩ đó là một lỗi sai. Một mặt, bạn có thể nói "gán 10 cho x" hoặc "di chuyển 10 đến x". Mặt khác, bạn có thể nói "đặt x thành 10" hoặc "x trở thành 10".

Nói cách khác, tùy thuộc vào sự lựa chọn của bạn của động từ, biến được gán cho có thể hoặc không phải là chủ ngữ và có thể hoặc không thể ở bên trái. Vì vậy, "điều gì là tự nhiên" chỉ phụ thuộc hoàn toàn vào sự lựa chọn từ ngữ theo thói quen của bạn để thể hiện sự phân công.

Trong mã giả, toán tử gán được viết rất phổ biến ở bên phải. Ví dụ

2*sqrt(x)/(3+y) -> z

Trong máy tính Casio, ngay cả các biến thể không lập trình được, biến gán cũng được hiển thị ở bên phải

A+2B → C

Trong Forth, biến cũng ở bên phải

expression variable !

Trong x86, cú pháp Intel có đích ở bên trái, nhưng cú pháp GAS đảo ngược thứ tự, gây ra một số nhầm lẫn cho nhiều người, đặc biệt là về các hướng dẫn liên quan đến thứ tự của các tham số như phép trừ hoặc so sánh. Các hướng dẫn này giống nhau ở 2 phương ngữ khác nhau

mov rax, rbx    ; Intel syntax
movq %rbx, %rax ; GAS syntax

Cả hai đều chuyển giá trị trong rbx sang rax. Không có ngôn ngữ lắp ráp nào tôi biết viết đích đến bên phải như GAS.

Một số nền tảng đặt biểu thức ở bên trái và biến ở bên phải:

MOVE expression TO variable      COBOL
expression → variable            TI-BASIC, Casio BASIC
expression -> variable           BETA, R
put expression into variable     LiveCode

https://en.wikipedia.org/wiki/Assocation_%28computer_science%29#Notation

Hầu hết các ngôn ngữ gán giá trị ở bên trái, một trong những lý do dễ căn chỉnh các toán tử, dễ đọc và nhận biết biến hơn, vì các toán tử gán và vị trí của biến sẽ không thay đổi nhiều trong các dòng và dễ đọc hơn "Hãy để biến là một số giá trị".

Tuy nhiên, một số người thích nói "di chuyển giá trị x sang y" và viết biến ở bên phải.

Tôi nghĩ rằng nó theo một cách suy nghĩ hợp lý.
Trước tiên phải có một hộp (biến), sau đó bạn đặt một đối tượng (giá trị) bên trong nó.
Bạn không đặt vật thể lên không trung rồi đặt một cái hộp xung quanh nó.