f# - 只读与自动（只读）属性

Question

使用只读属性是否有区别：

type T(arg) =
  member x.M = arg

并使用自动实现的属性：

type T(arg) =
  member val M = arg

假设arg没有副作用？有什么理由比另一个更喜欢一个吗？

Answer 1

它们之间的本质区别在于member val表示在实例初始化期间仅计算一次的表达式。所以，

type Person(fname, lname) =
  member val Name = fname + lname // would be calculated once

所以，首先要考虑的是性能。

另一个考虑是基于 auto 属性的两个限制：

• 您只能在具有主要 ctor 的类型中使用它们；
• 他们不可能virtual