Thiết kế thuộc tính F #

Question

Vì vậy, khi bao giờ im tạo một số thuộc tính trong mã F # của tôi, vì F # không hỗ trợ các thuộc tính tự động, theo như tôi biết. Tôi phải tạo ra các lĩnh vực sao lưu và khởi tạo chúng để null, mà không có vẻ đúng trong điều khoản lập trình chức năng. Ví dụ:

 

let mutable albums : DbSet = null 
let mutable genres : DbSet = null
 

member x.Albums 
    with get() = albums 
    and set(value) = albums <- value 


member x.Genres 
    with get() = genres 
    and set (value) = genres <- value 

Có cách nào tốt hơn để làm việc này không? Rất cám ơn các đề xuất của bạn.

Answer 1

F # không hỗ trợ tính tự động khi bạn cần một mutable bất động sản, nhưng nó hỗ trợ một cú pháp nhẹ khi bạn cần chỉ là một tài sản readonly. Nếu bạn đang viết một số mã chức năng, sau đó sử dụng readonly tính thực sự có thể thích hợp hơn:

type Music(genres : DbSet, albums : DbSet) = 
    member x.Albums = albums 
    member x.Genres = genres 

Đây thực chất là giống như hồ sơ đề nghị của pad, nhưng nó có thể thích hợp hơn nếu bạn muốn có kiểm soát tốt hơn cách các kiểu nhìn (và cách chúng xuất hiện trong C# hoặc cho ràng buộc dữ liệu).

Nếu DbSet là loại có thể thay đổi, thì có thể bạn chỉ cần sử dụng loại trên và khởi tạo chỉ một lần (bạn vẫn có thể sửa đổi giá trị DbSet). Nếu bạn muốn thay đổi giá trị DbSet, bạn có thể thêm một phương thức trả về một đối tượng nhân bản:

member x.WithAlbums(newAlbums) = 
    Music(genres, newAlbums) 

Sử dụng null hoặc Unchecked.defaultOf<_> trong F # được coi là một thực tế rất xấu và bạn nên luôn luôn cố gắng tạo ra đối tượng hoàn toàn initlized. Nếu giá trị có thể bị thiếu, bạn có thể sử dụng loại option để đại diện cho điều đó, nhưng sau đó bạn phải luôn viết xử lý cho giá trị bị thiếu, để làm cho chương trình của bạn an toàn.

Answer 2

Trừ khi bạn đang làm điều gì đó phức tạp, tôi khuyên bạn nên sử dụng hồ sơ thay vì các lớp học. Về cơ bản, họ là lớp học với tính năng bổ sung: không thay đổi, bình đẳng về cơ cấu, mô hình phù hợp, vv:

type Playlists = { 
    Albums: DbSet; 
    Genres: DbSet 
    } 

Bạn có thể nhận các lĩnh vực kỷ lục của một cách dễ dàng:

let p = {Albums = ...; Genres = ...} 
let albums = p.Albums 
let genres = p.Genres 

Trong hồ sơ lĩnh vực mặc định là không thay đổi; bạn có thể khai báo các trường có thể thay đổi trong các bản ghi, nhưng nó được coi là một thực hành không tốt. Mặc dù bạn không thể đặt thuộc tính, bạn có thể tạo bản ghi mới từ một tệp cũ. Mặc định tính bất biến là bình thường không phải là một vấn đề, hơn nữa nó làm cho mã chức năng hơn và dễ dàng hơn để suy luận về:

let p = {Albums = a; Genres = g} 

    // Create new records by updating one field 
    let p1 = {p with Albums = a1} 
    let p2 = {p with Genres = g2} 

Nếu bạn nhấn mạnh để tạo ra các lớp học, sử dụng một constructor với các thông số rõ ràng được đề nghị:

type Playlists(a: DbSet, g: DbSet) = 
    let mutable albums = a 
    let mutable genres = g 
    // ... 

Khi một constructor mặc định là cần thiết, bạn có thể sử dụng Unchecked.default<'T> cho các lĩnh vực phi nullable, hoặc tốt hơn sử dụng nhà thầu mặc định của họ:

// Set fields using dump values 
let mutable albums = new DbSet() 
let mutable genres = new DbSet() 

Nhưng hãy chắc chắn rằng bạn thiết lập các trường đó trước khi sử dụng chúng.

Answer 3

FYI - các thuộc tính tự động được lên kế hoạch cho F # 3.0. Xem số preview documentation ^[MSDN].Có vẻ như ví dụ của bạn sẽ trở thành:

type Music() = 
    member val Albums : DbSet = null with get, set 
    member val Genres : DbSet = null with get, set