Tại sao println được coi là một hàm không tinh khiết?

Tôi đang đọc chương trình sách trong scala và người ta nói:

... trong trường hợp này, tác dụng phụ của nó là in ra luồng đầu ra tiêu chuẩn.

và tôi không thấy tác dụng phụ ở đâu, vì, với cùng một đầu vào, println sẽ in cùng một đầu ra (tôi nghĩ)
CẬP NHẬT
ví dụ bất cứ khi nào chúng tôi gọi:

println(5)

nó sẽ in 5 , tôi không thấy trường hợp nào cuộc gọi println(5)sẽ in một giá trị khác 5 !!

Bạn có thể biết nếu một biểu thức có tác dụng phụ bằng cách thay thế biểu thức bằng kết quả của nó. Nếu chương trình thay đổi ý nghĩa , sẽ có tác dụng phụ. Ví dụ,

println(5)

là một chương trình khác nhau để

()

Đó là, một tác dụng phụ là bất kỳ hiệu ứng có thể quan sát được không được mã hóa trong kết quả đánh giá một biểu thức. Kết quả là đây (), nhưng không có gì trong giá trị đó mã hóa thực tế là 5 hiện đã xuất hiện ở đâu đó trên màn hình của bạn.

Hãy xem xét sự tương tự sau đây

var out: String = ""
def myprintln(s: String) = {
  out += s // this non-local mutation makes me impure
  ()
}

Ở đây myprintlnkhông tinh khiết bởi vì bên cạnh giá trị trả về, ()nó cũng biến đổi biến không cục bộ outthành hiệu ứng phụ. Bây giờ hãy tưởng tượng outlà dòng vanilla printlnđột biến.

Các tác dụng phụ là trong trạng thái của máy tính. Mỗi lần bạn gọi println()trạng thái thay đổi bộ nhớ để hiển thị giá trị đã cho cho thiết bị đầu cuối. Hay nói chung hơn, trạng thái của luồng đầu ra tiêu chuẩn được thay đổi.

Câu trả lời hay đã được đưa ra cho câu hỏi này, nhưng hãy để tôi thêm hai xu của tôi.

Nếu bạn sẽ xem bên trong printlnhàm về cơ bản thì nó giống như java.lang.System.out.println()- vì vậy khi bạn gọi printlnphương thức thư viện chuẩn của Scala dưới mui xe, nó sẽ gọi phương thức printlntrên PrintStreamthể hiện đối tượng được khai báo là trường outtrong Systemlớp (hay chính xác hơn là outVartrong Consoleđối tượng), nó thay đổi trạng thái bên trong . Điều này có thể được coi là một giải thích khác tại sao printlnlà chức năng không tinh khiết.

Hi vọng điêu nay co ich!

Nó phải làm với khái niệm minh bạch tham chiếu . Một biểu thức được minh bạch tham chiếu nếu bạn có thể thay thế nó bằng kết quả được đánh giá mà không thay đổi chương trình .

Khi một biểu thức không minh bạch về mặt tham chiếu, chúng tôi nói rằng nó có tác dụng phụ .

f(println("effect"), println("effect"))
// isn't really equivalent to!
val x = println("effect")
f(x, x)

trong khi

import cats.effect.IO

def printlnIO(line: String): IO[Unit] = IO(println(line))

f(printlnIO("effect"), printlnIO("effect"))
// is equivalent to
val x = printlnIO("effect")
f(x, x)

Bạn có thể tìm thấy lời giải thích chi tiết hơn tại đây: https://typelevel.org/blog/2017/05/02/io-monad-for-cats.html