记录与单例歧视联盟

Question

使用这两种方法的优缺点是什么

type Complex = 
    { 
        real: float; 
        imag: float;
    }

或

type Complex = 
    Complex of 
        real: float * 
        imag: float

我对不同情况下的可读性和处理能力特别感兴趣。
在较小程度上，性能。

Answer 1

在记录类型的情况下，假设您声明了符号 it : Complex 您可以立即访问两个字段，例如：it.real, it.imag

在区分联合 (DU) 的情况下，您必须首先解压 DU 类型，例如：

match it with
| Complex (real, imag) -> real, imag

当你对类型有一些选择时，DU 是有意义的。您的 Complex 类型不会分支到少数情况，它只有一种可能的形状，即 case。

在这种情况下，我赞成记录类型，因为它在使用中提供了更具可读性的代码。

Answer 2

使用辅助函数，您可以从这两种方法中获得相同的结果。

记录

type ComplexRec = 
    { 
        real: float 
        imag: float
    }

// Conciseness
let buildRec(r,i) =
    { real = r ; imag = i }

let c = buildRec(1.,5.)

// Built-in field acces
c.imag

联合类型

type ComplexUnion = 
    Complex of 
        real: float * imag: float

// Built-in conciseness
let c = Complex(1.,5.)

// Get field - Could be implemented as members for a more OO feel
let getImag = function
    Complex(_,i) -> i

getImag c

我认为联合类型的（频繁）分解会影响性能，但我不是这方面的专家。

记录与单例歧视联盟

Records vs Single-Case Discriminated Unions

f#

record

discriminated-union