Scala gán Vals

Question

Tại sao không cho nó có thể có điều này:

def main(args:Array[String]) { 
    val whatever:String // Have it uninitialized here 

    if(someCondition) { 
     whatever = "final value" // Initialize it here 
    } 
} 

Tôi không hiểu tại sao điều này không nên hợp pháp. Tôi biết rằng tôi có thể làm cho nó là var, nhưng tại sao chúng ta phải khởi tạo chính xác val khi chúng tôi khai báo? Nó có vẻ hợp lý hơn để có thể khởi tạo nó sau này?

Answer 1

Bạn có thể làm:

val whatever = 
    if (someCondition) 
     "final value" 
    else 
     "other value" 

Answer 2

Bởi vì mục đích của 'val' là để báo hiệu cho người đọc (và trình biên dịch): "Giá trị này sẽ ở lại những gì nó được khởi tạo cho đến khi nó đi ra khỏi sự tồn tại "

Điều này không có ý nghĩa nhiều nếu không khởi tạo.

Tất nhiên người ta có thể mơ ước một số thứ như val (3) cho phép ba gán cho một biến, nhưng tôi không nghĩ rằng đó sẽ được sử dụng nhiều.

Answer 3

Sử dụng lazy val giống như vậy:

def main(args:Array[String]) { 
    lazy val whatever:String = if (someCondition) "final value" else "other value" 

    // ... 

    println(whatever) // will only initialize on first access 
} 

Answer 4

Bên cạnh đó với những gì người khác đã nói, lưu ý rằng Java cho phép "trống cuối cùng" "biến", mà là một tính năng tôi kinda bỏ lỡ:

final Boolean isItChristmasYet; 

if (new Date().before(christmas)) { 
    isItChristmasYet = Boolean.FALSE; 
} else { 
    isItChristmasYet = Boolean.TRUE; 
} 

Tuy nhiên, nhờ phân tích lưu lượng dữ liệu trong trình biên dịch, javac sẽ không cho phép bạn bỏ biến số whatever chưa được gán nếu someCondition không giữ.

giải pháp

Answer 5

Java thực sự là một cách giải quyết cho vấn đề mà không phải tất cả biểu thức trả về giá trị, vì vậy bạn không thể viết này trong Java:

final String whatever = if (someCondition) { 
    "final value" 
} else { 
    "other value" 
} 

Càng ngày, xu hướng trong Java là sử dụng các nhà điều hành ternary thay vào đó:

final String whatever = someCondition ? "final value" : "other value" 

Điều này là tốt cho trường hợp sử dụng hạn chế đó, nhưng hoàn toàn không thể chịu được khi bạn bắt đầu xử lý các câu lệnh chuyển đổi và nhiều nhà xây dựng.

---

Cách tiếp cận của Scala khác nhau ở đây. Tất cả việc xây dựng đối tượng cuối cùng phải đi qua một hàm khởi tạo "chính", tất cả các biểu thức trả về một giá trị (ngay cả khi nó là Unit, tương đương với Java Void), và việc xây dựng tiêm được ưu tiên mạnh. Điều này dẫn đến biểu đồ đối tượng được xây dựng một cách rõ ràng dưới dạng Đồ thị theo chu kỳ được chỉ định và cũng hoạt động rất độc đáo với các đối tượng bất biến. Bạn cũng cần lưu ý rằng việc khai báo và xác định các biến trong các hoạt động riêng biệt, nói chung là một thực hành không tốt khi xử lý nhiều luồng - và có thể khiến bạn dễ bị lộ rỗng và điều kiện chủng tộc khi bạn mong đợi chúng (mặc dù ít nhất là). điều này không thực sự là một vấn đề trong quá trình xây dựng đối tượng). Việc tạo ra nguyên tử các giá trị bất biến chỉ là một khía cạnh của cách thức mà các ngôn ngữ chức năng giúp giải quyết đồng thời.

Điều này cũng có nghĩa là trình biên dịch Scala có thể tránh được một số phân tích lưu lượng phức tạp từ đặc tả ngôn ngữ Java.

Như đã trình bày ở trên, Scala Way ™ là:

val whatever = 
    if (someCondition) 
    "final value" 
    else 
    "other value" 

Một cách tiếp cận mà cũng có quy mô lên đến cấu trúc điều khiển khác:

val whatever = someCondition match { 
    case 1 => "one" 
    case 2 => "two" 
    case 3 => "three" 
    case _ => "other" 
} 

Với một chút Scala kinh nghiệm bạn sẽ khám phá ra rằng phong cách này giúp trình biên dịch giúp bạn, và bạn sẽ thấy mình viết chương trình với ít lỗi hơn!