Điều gì để gọi tương đương với "tính minh bạch tham chiếu" của OOP?

Question

Sự hiểu biết của tôi là thuật ngữ "referential transparency" chỉ có thể được áp dụng cho mã chức năng. Tuy nhiên, một lời gọi phương thức trên một đối tượng trong mã hướng đối tượng có thể có một thuộc tính tương tự, đó là giá trị trả về của phương thức và trạng thái của đối tượng sau khi gọi phương thức chỉ phụ thuộc vào trạng thái của đối tượng trước cuộc gọi và đối số của phương thức.

ví dụ: chức năng tham chiếu minh bạch:

i = foo(n, m); 
// return value depends only on n, m 

OO "tham chiếu minh bạch":

i = obj.foo(n, m); 
// return value, and subsequent state of obj, depends 
// only on initial state of obj, n, m 

Có một tên cho khách sạn này?

Nếu tình trạng obj không thay đổi trong suốt cuộc gọi đến foo(), sau đó là "hướng đối tượng" phong cách tương đương với dạng hàm nếu function overloading được hỗ trợ kể từ khi nó có thể được viết lại như sau:

i = foo(obj, n, m); 
// return value depends only on obj, n, m 

Tuy nhiên , là khá phổ biến cho trạng thái của obj để thay đổi trong một cuộc gọi phương pháp, vì vậy tôi không chắc chắn nếu điều này giúp phân tích ...

Answer 1

Sai lầm của bạn nghĩ rằng FP và OO bằng cách nào đó khác biệt về cơ bản. "Phiên bản OO" của tính minh bạch tham chiếu chỉ là tính minh bạch tham chiếu.

Biểu thức e là tham chiếu trong suốt nếu và chỉ khi e có thể được thay thế bằng kết quả được đánh giá mà không ảnh hưởng đến hành vi của chương trình.

Vì vậy, nếu bạn có biểu thức o.foo(a), thì nó có tính minh bạch liên quan nếu bạn có thể sửa đổi mã của mình để thay thế mã đó bằng kết quả cuộc gọi mà không thay đổi cách chương trình của bạn hoạt động. Rõ ràng, nếu o.foo bị vô hiệu, bạn không thể làm điều đó. Ditto nếu nó sửa đổi trạng thái bên trong của o. Vì vậy, cách duy nhất để o.foo(a) trở nên minh bạch là nếu kết quả của nó là là một chức năng củao và a.

Trong tâm trí của tôi, "mã chức năng", đồng nghĩa với "mã minh bạch tham chiếu".

Answer 2

trạng thái của đối tượng sau khi gọi phương thức chỉ phụ thuộc vào trạng thái của ob ject trước cuộc gọi và đối số của phương thức.

Tôi giả sử bạn có thể nói rằng phương pháp không có phụ thuộc bên ngoài.

Không giống như tính minh bạch tham chiếu tuy nhiên, tôi không chắc điều này sẽ giúp bạn đạt được điều gì. Tôi cho rằng nó có nghĩa là phương pháp dễ dàng kiểm tra.

Answer 3

Cụm từ chức năng sẽ là tính minh bạch tham chiếu như bạn nói. Tôi sẽ khiêm tốn đề xuất rằng biểu mẫu bạn đã mô tả ở đây với các kết quả tùy thuộc vào các đối số của phương thức cộng với trạng thái của đối tượng được gọi là độ mờ tham chiếu.

Answer 4

Tôi không nghĩ rằng thuộc tính bạn mô tả trong kịch bản OO cho bạn bất kỳ điều gì tương tự như những gì tính minh bạch tham chiếu hoạt động trong lập trình hàm. Bạn mô tả một tài sản mà các phương pháp foo đổi chỉ trạng thái của đối tượng obj trong cuộc gọi sau đây:

i = obj.foo(n, m); 

Tuy nhiên, nếu bạn có một đối tượng tham chiếu obj sau đó cuộc gọi đến foo cũng sẽ thay đổi hành vi của người khác vật. Vì các tham chiếu giữa các đối tượng là cần thiết trong OO (có nghĩa là đây là vấn đề bạn không thể dễ dàng tránh được), điều này có nghĩa là thuộc tính mà bạn mô tả không cho bạn biết nhiều về mã. Ví dụ:

a = new Other(obj); 
i = obj.foo(n, m); // changes state of 'obj' and 'a' 

Nếu foo phương pháp là referentially minh bạch (không sửa đổi bất kỳ nhà nước - vừa trở về một số kết quả), thì đó sẽ là một tài sản hấp dẫn - bởi vì nó sẽ không thay đổi trạng thái của a.