F# 属性

F# 属性（Attribute）是一种可以为代码添加元数据的方法，类似于 C# 和其他编程语言中的特性（Attribute）。F# 属性可以用于很多场合，例如为方法、函数、字段等添加说明信息，或者是指定如何序列化数据等。

基本语法

在 F# 中，可以使用 [<AttributeName>] 的语法来添加属性，其中 AttributeName 是属性的名称。下面是一个使用 Description 属性的例子：

open System.ComponentModel

[<Description("A simple function to add two numbers together.")>]
let add a b = a + b

在上面的代码中，我们使用了 Description 属性来为 add 函数添加了一条描述信息。

常用的属性

以下是一些常用的属性及其用法：

• Description：描述信息；
• Obsolete：标记某个类型或成员已经过时，应该被替换；
• Serializable：标记一个类可以序列化；
• DefaultMember：指定一个默认成员，例如在一个类上使用该属性可以指定该类的索引器是默认成员。

自定义属性

除了使用预定义的属性之外，我们还可以自定义属性。自定义属性需要实现 System.Attribute 类，并且通常需要添加一些字段或属性来存储元数据。下面是一个自定义属性的例子：

open System

[<AttributeUsage(AttributeTargets.Method, AllowMultiple = false)>]
type MyAttribute (message: string) =
    inherit Attribute()
    member this.Message = message

在上面的代码中，我们定义了一个名为 MyAttribute 的自定义属性，它需要接收一个 message 字符串参数，并且可以用于修饰方法（AttributeTargets.Method）。该属性继承自 System.Attribute 类，并实现了一个名为 Message 的属性，用于访问 message 字段。

我们可以在 F# 中使用该属性来修饰方法，并通过 Message 属性访问它的值：

[<MyAttribute("This is a message.")>]
let myMethod() =
    printfn "Hello, world!"

参考资料

• Attributes and Reflection (F#)
• F# Attribute Fundamentals