Question

我在F＃中使用记录类型来存储一些简单的数据，例如如下：

open Vector

type Point =
    {
        x: float;
        y: float;
        z: float;
    }
    static member (+) (p: Point, v: Vector) = { Point.x = p.x + v.x ; y = p.y + v.y ; z = p.z + v.z }
    static member (-) (p: Point, v: Vector) = { Point.x = p.x - v.x ; y = p.y - v.y ; z = p.z - v.z }
    static member (-) (p1: Point, p2: Point) = { Vector.x = p1.x - p2.x ; y = p1.y - p2.y ; z = p1.z - p2.z }
    member p.ToVector = { Vector.x = p.x ; y = p.y ; z = p.z }

我无法确定这是否会实现为值或引用类型。

我尝试将[<Struct>]放在类型定义之前，但这会导致各种编译错误。

Answer 1

[<Struct>]是请求值类型的正确语法。它可以在“专家F＃”的第6章中使用，这被F＃2.0接受：

[<Struct>]
type Point =
  val x: float
  new(x) = {x=x;}

虽然如果你把它写成[<Struct>] type Point =（即所有在一行上），它会产生一些警告（尽管没有错误）。您使用的是哪个版本的F＃？

Answer 2

记录是类，但默认情况下所有字段都是不可变的。为了使用引用类型的“优点”，必须将字段设置为可变（可以将某些字段设置为不可变字段，而将某些字段设置为可变字段），然后修改它们的值：

type Point =
    {
        mutable x : float
        y : float
        z : float
    }
    member p.AddToX Δx = p.x <- p.x + Δx

Answer 3

根据这篇维基百科文章http://en.wikipedia.org/wiki/F_Sharp_(programming_language)，记录类型是作为定义了属性的类实现的。

F＃记录类型是作为结构还是类实现的？

3 个答案: