C＃：使用反射区分记录中的init访问器和set访问器

Question

我需要使用反射来检查C#位置记录中不可写入的属性。

这是一个样例位置记录：

record MyRecord(int MyProperty);

MyProperty符合预期，是不可写的：

MyRecord myRecord = new(5);
Console.WriteLine(myRecord.MyProperty); // 5
//myRecord.MyProperty = 6; <-- yields compile time error as expected

然而，经过思考我发现：

PropertyInfo pi = typeof(MyRecord).GetProperty("MyProperty");
Console.WriteLine(pi.CanWrite);     // True
MethodInfo mi = pi.GetSetMethod();  
Console.WriteLine(mi == null);      // False
Console.WriteLine(mi.IsPublic);     // True

看起来MyProperty是可以公开进行写入的。问题似乎在于初始化访问器，因为

record MyRecord
{
    public int MyProperty { get; } = 5;
}

MyProperty的CanWrite设置为false，但这种记录定义不是我需要的。

那么有没有一种方法可以使用反射来区分记录中的初始化访问器和设置访问器？

- Carl

Answer 1

你需要在 Set 方法的 ReturnParameter 上使用 GetRequiredCustomModifiers。你需要查找的类型是 IsExternalInit。

var rec = typeof(MyRecord);
var prop = rec.GetProperty("MyProperty");
var setMethod = prop.GetSetMethod();
var mods = setMethod.ReturnParameter.GetRequiredCustomModifiers().Contains(typeof(IsExternalInit));
Console.WriteLine("Init: {0}", mods);

- Damien_The_Unbeliever

---

我刚刚尝试了一下，它返回了一个空数组。modreq 应用于设置方法，而不是属性本身，我找不到访问方法的属性的方法... - Jon Skeet

@JonSkeet - 确实，这实际上在“set”方法的“ReturnParameter”中，是我的错误。 - Damien_The_Unbeliever

啊哈... 发现得很好。 （从IL上并不是非常明显，而且很遗憾我远非一个IL专家。） - Jon Skeet

在这里也有记录（https://github.com/dotnet/runtime/issues/43088）。确实有些笨重。 - Jeroen Mostert

有趣的是，IsExternalInit 的文档页面上说“此类不应由开发人员在源代码中使用”，但这是开发人员检测 init 属性的唯一方法... - Sweeper

“class” 应该被认为是不应该使用的。Modreqs 仅检查类型的完整名称，因此检查也应该这样做。在反射点假定 IsExternalInit 可用作类型在技术上并不是必要的。 - Jeroen Mostert

Answer 2

如果您需要属性 MyProperty CanWrite = false，则可以通过以下方式实现：

  record MyRecord {
      public int MyProperty { get; }
      
      public MyRecord(int myProperty) {
          MyProperty = myProperty;
      }

}

如果您查看记录MyRecord(int MyProperty)的IL生成代码，您会注意到以下内容：

public int MyProperty
{
    [CompilerGenerated]
    get
    {
        return <MyProperty>k__BackingField;
    }
    [CompilerGenerated]
    init // <- what's being generated
    {
        <MyProperty>k__BackingField = value;
    }
}

- Sviatoslav Mykhailiv