6

当我使用 F# 读取public readonlyC# 程序集中定义的结构类型的成员时，我遇到了一个奇怪的错误。

// 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"

在撰写本文时，网络是无用的。可以读取类的不可变成员，可以读取结构的可变成员，但不能读取结构的不可变成员，这似乎很奇怪。解决方法很简单，但我很好奇：这是编译器中的错误吗？

编辑：我向 fsbugs@microsoft.com 提交了错误报告

4

1 回答 1

3

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

F# 编译器会在幕后复制结构，以防它们发生变异。（这就是为什么即使你定义了一个带有可变字段的结构，你也必须将该结构的实例属性为可变，然后才能更新它的字段。）看起来幕后发生的特殊魔法忘记了“只读”结构字段。

虽然 Internet 和 StackOverflow 是寻求有关 F# 相关问题的帮助的好地方，但请务必通过电子邮件 fsbugs@microsoft.com 让 F# 团队知道您发现的任何错误。

于 2009-09-02T16:54:07.520 回答