Как разрушить аргумент конструктора?

Question

В F # я могу использовать сопоставление образцов во множестве мест в синтаксисе.

Например:

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

Но я не могу работать, как это сделать:

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. 

У меня есть синтаксис неправильно, или же F # не поддерживает шаблон согласования в параметрах конструктора ? не

Answer 1

Нет, language spec явно говорит нет:

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

Как уже отмечались, вторичные Конструкторы разрешены шаблон соответствуют параметрам, но разница с первичным конструктором каждая из параметров первичных является как функция и частная декларация поля.

Если F # должно было разрешить сопоставление шаблонов здесь, были бы некоторые шаблоны, которые нарушили бы это однопараметрическое отношение.

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

или:

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

Это не исключено, что это может работать, но я предполагаю, что сложность позволяет шаблону быть продлен до предоставления деклараций на местах перевешивает выгоды.