F#中nameof特性的限制：如何实现C#式类型安全属性名获取

在C# WPF中，我们可以通过nameof特性安全地注册依赖属性，完全避免硬编码字符串的风险：

public class MyControl : Control
{
    private static readonly DependencyProperty _myProperty =
        DependencyProperty.Register(nameof(MyProperty), typeof(int), typeof(MyControl));

    public int MyProperty
    {
        get => (int)GetValue(_myProperty);
        set => SetValue(_myProperty, value);
    }
}

但在F#中直接照搬写法会报错——因为静态let绑定的初始化时机早于实例成员的定义，编译器无法识别MyProperty：

type MyControl() as this =
    inherit Control()

    static let _myProperty = 
        DependencyProperty.Register(nameof MyProperty, typeof<int>, typeof<MyControl>) // 错误：找不到MyProperty的定义

    member this.MyProperty
        with get() = this.GetValue(_myProperty) :?> int
        and set(value: int) = this.SetValue(_myProperty, value)

硬编码字符串"MyProperty"虽然简单，但重命名属性时极易遗漏修改，导致运行时错误。以下是几种更优的类型安全解决方案：

方案1：引用表达式（类型安全但繁琐） #

你提到的通过F#引用表达式提取属性名称的方法是可行的，但写法确实繁琐：

open Microsoft.FSharp.Quotations
open Microsoft.FSharp.Quotations.Patterns

let getPropertyName (expr: Expr<'T -> 'U>) =
    match expr with
    | Lambda(_, PropertyGet(_, propInfo, _)) -> propInfo.Name
    | _ -> failwith "Invalid expression: Expected a property getter."

type MyControl() as this =
    inherit Control()

    static let _myProperty = 
        DependencyProperty.Register(getPropertyName <@ fun (c: MyControl) -> c.MyProperty @>, typeof<int>, typeof<MyControl>)

    member this.MyProperty
        with get() = this.GetValue(_myProperty) :?> int
        and set(value: int) = this.SetValue(_myProperty, value)

方案2：利用静态构造函数（简洁且类型安全） #

这是最推荐的方案：将依赖属性的初始化放在static do块（F#的静态构造函数）中，此时类型已经完整定义，可以直接使用nameof MyControl.MyProperty获取属性名称，兼顾简洁性和类型安全：

type MyControl() as this =
    inherit Control()

    // 先声明可变静态字段占位
    static let mutable _myProperty : DependencyProperty = null

    // 静态构造函数中完成初始化，此时类型已完整定义
    static do
        _myProperty <- DependencyProperty.Register(nameof MyControl.MyProperty, typeof<int>, typeof<MyControl>)

    member this.MyProperty
        with get() = this.GetValue(_myProperty) :?> int
        and set(value: int) = this.SetValue(_myProperty, value)

方案3：使用简化库（可选） #

如果需要频繁定义依赖属性，可以使用第三方库（如FSharp.Windows），这类库封装了类型安全的属性名称获取逻辑，能进一步减少样板代码。

内容的提问来源于stack exchange，提问作者Franco Tiveron