访问外部程序集中结构的公共只读成员

Question

当我使用 F# 读取 C# 程序集中定义的结构类型的 public readonly 成员时，出现奇怪的错误。

// C#: compile to Lib.dll
namespace Lib
{
    public class MyClass { public readonly int ReadonlyFoo; }

    public struct MyStruct
    {
        public readonly int ReadonlyFoo;
        public int WriteableFoo;
    }
}

// F#: compile to Client.exe
open Lib
let myClass = new MyClass()
printfn "MyClass.ReadonlyFoo = %x" myClass.ReadonlyFoo

let myStruct = new MyStruct()
printfn "MyStruct.WriteableFoo = %x" myStruct.WriteableFoo
printfn "MyStruct.ReadonlyFoo = %x" myStruct.ReadonlyFoo

当我使用 F# 1.9.6.16 编译 Client.exe 时，最后一行给出错误：

"The address of the variable 'copyOfStruct' may not be used at this point"

The web is 无用。人们可以读取类的不可变成员，并且可以读取结构的可变成员，但无法读取结构的不可变成员，这似乎很奇怪。解决方法很简单，但我很好奇：这是编译器中的错误吗？

编辑：我向[电子邮件受保护]提交了错误报告< /强>

Answer 1

通常，当人们说“它看起来像是编译器中的错误”时，实际上是“我不知道我在做什么”的代码。然而，在这种情况下，它看起来确实像一个错误。

F# 编译器在幕后制作结构的副本，以防结构发生变异。 （这就是为什么即使您定义了一个具有可变字段的结构，您也必须先将该结构的实例属性设置为可变，然后才能更新其字段。） 似乎幕后发生的特殊魔法忘记了“只读”结构字段。

虽然互联网和 StackOverflow 是寻求有关 F# 相关问题的帮助的好地方，请通过发送电子邮件 [电子邮件受保护]。