我有以下 F# 程序:
open MyModule
printfn "%d" test
MyModule 为:
module MyModule
printfn "foo"
let test =
printfn "bar"
42
这会产生以下输出:
foo
bar
42
当我将 MyModule 更改为:
module MyModule
printfn "foo"
let test =
// printfn "bar" <-- note the comment!
42
...结果是:
42
为什么不再打印“foo”?
我认为规范的第 12.5.1 节,静态初始化程序的执行 http://research.microsoft.com/en-us/um/cambridge/projects/fsharp/manual/spec.html#_Toc335819006,有你的答案。引用相关位:
文件的静态初始化程序在第一次访问具有可观察初始化的值时执行
and
除模块中的以下定义外,所有定义都具有可观察的初始化:
以下列表包括:
绑定到简单常量表达式的不可变、非线程本地值
注释掉第一行后test
,它变成一个常量表达式。因此,它不再触发静态初始化。
EDIT
该规范没有提供此行为的基本原理,但它与 C# 类似。例如,在此代码中,静态初始化永远不会发生:
class Program {
static void Main(string[] args) {
Console.WriteLine(T.Integer);
Console.WriteLine(T.Null);
Console.WriteLine(T.Enum);
Console.Read();
}
}
static class T {
static T() {
Console.WriteLine("You won't see this.");
}
public const int Integer = 1;
public const string Null = null;
public const ConsoleKey Enum = ConsoleKey.Escape;
}
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)