问题描述
我有一个带有模块的文件,该模块带有一些带有参数并返回单位的例程,这些例程具有副作用。我注意到从c#访问这些f#例程时,它们实际上是unit类型的属性,当我尝试访问1个属性时,它将运行模块中的所有属性。
从F#文档中,所有顶级do绑定都在类型初始化上运行。
编写不应在类型初始化时运行但也不与其他状态(即具有函数和成员变量的类)关联的函数的首选方法是什么?
我应该将这些函数放在类型中,而在该类型中没有记录吗?
代码示例:
namespace test_space
open System.Diagnostics;
module test =
let test_1 =
Debug.WriteLine (\"One\")
let test_2 =
Debug.WriteLine (\"Two\")
我正在使用C#运行以下代码:
static void Main (string [] args)
{
Object o;
o = test.test_2;
}
输出为:
一
二
解决方法
问题是您没有创建函数,而是创建了值绑定。 test_1是一个值。 test_1()是type unit-> unit的函数。确保在函数名称后加上()。
, 我不完全了解您所描述的情况-在模块中声明的F#函数通常将显示为方法,而值将显示为属性。首次访问模块(类型初始化)时执行的代码是值的初始化。
如果您只写:
module Foo =
let Operation () =
printfn \"hello\"
...然后调用Operation
将是一个方法,而调用Foo.Operation()
将产生副作用。如果您可以发布某些行为异常的代码,那么有人可以对其进行解释。
无论如何,如果您想确定行为,可以将操作编写为类的静态成员:
type Foo =
static member Operation() =
printfn \"hello\"
然后,您可以确定F#将以可预测的方式将它们编译为类的静态成员。