Come destrutturare un argomento del costruttore?

Question

In F # posso utilizzare la corrispondenza del modello in una varietà di punti all'interno della sintassi.

Ad esempio:

// 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 

Ma non riesco a capire come fare questo:

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. 

Devo la sintassi sbagliata, o fa F # non supporta il pattern matching in parametri del costruttore ?

Answer 1

No, il language spec dice esplicitamente no:

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

Come è stato sottolineato, i costruttori secondari sono permessi i parametri del modello di pari, ma la differenza con il costruttore principale è ciascuno dei parametri del primario è sia un parametro di funzione e una dichiarazione di campo privata.

Se F # dovesse consentire la corrispondenza del modello qui, ci sarebbero alcuni schemi che potrebbero interrompere questa relazione a un parametro con un campo.

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

o:

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

Non è inconcepibile che questo potrebbe funzionare, ma sto cercando di indovinare la complessità di permettere pattern matching per essere esteso a fornire dichiarazioni di campo supera i benefici.