Làm thế nào để hủy cấu trúc một đối số hàm tạo?

Question

Trong F # tôi có thể sử dụng đối sánh mẫu ở nhiều vị trí khác nhau trong cú pháp.

Ví dụ:

// Given this type... 
type SingleCaseUnion = | SingleCaseUnion of int 

/// ...I can do this: 
let destructureInFunc (SingleCaseUnion n) = 
    printfn "%d" n 

// ...and this: 
type DestructureInMethod() = 
    member t.M(SingleCaseUnion n) = 
     printfn "%d" n 

Nhưng tôi không thể làm việc ra làm thế nào để làm điều này:

type DestructureInCtor(SingleCaseUnion n) = 
    do printfn "%d" n 

// type DestructureInCtor(SingleCaseUnion n) = 
// ---------------------------------------^ 
// 
// stdin(3,40): error FS0010: Unexpected identifier in type definition. Expected ')' or other token. 

Tôi có cú pháp sai, hoặc làm F # không hỗ trợ mô hình phù hợp với các thông số constructor ?

Answer 1

Không, language spec dứt khoát nói không:

primary-constr-args : attributesopt accessopt (simple-pat, ... , simplepat) 
simple-pat : 
| ident 
| simple-pat : type 

Như đã chỉ ra, nhà thầu phụ được cho phép thông số mô hình kết hợp, nhưng sự khác biệt với các nhà xây dựng chính là mỗi người trong số các thông số của chính vừa là một tham số chức năng và một khai báo trường riêng.

Nếu F # là để cho phép mô hình kết hợp ở đây, sẽ có một số mẫu mà sẽ phá vỡ mối quan hệ-one-field một tham số này.

type DestructureInCtor(SingleCaseUnion _) = 
    // doesn't declare a private field 

hay:

type DestructureInCtor((a:int, b:int)) = 
    // declares two private fields? 

Nó không thể tưởng tượng rằng điều này có thể làm việc nhưng tôi đoán mức độ phức tạp của việc cho phép mô hình phù hợp để được mở rộng để cung cấp tờ khai lĩnh vực điều trị lớn hơn lợi ích.