.net – F#int.MaxValue是“不是有效的常量表达式”,但System.In

TL; DR：F#编译器在本上下文中将int解释为 int operator,如 determined by Eugene Fotin和 expanded upon by Gene Belitski.最佳解决方法是使用System.Int32.MaxValue或唯一类型别名,如下所述.

考虑以下记录类型：

type User = {
    Username : string
}

我想要用户名至少三个字符长,所以我使用StringLength属性.没有最大长度,所以我设置为int.MaxValue：

type User = {
    [<StringLength(int.MaxValue,MinimumLength=3)>]
    Username : string
}

这给我以下错误：

This is not a valid constant expression or custom attribute value.

一切都是桃子,如果我使用System.Int32代替：

type User = {
    [<StringLength(System.Int32.MaxValue,MinimumLength=3)>]
    Username : string
}

它也编译如果我alias int：

type User = {
    [<StringLength(num.MaxValue,MinimumLength=3)>]
    Username : string
}
and num = int

或完全限定类型：

type User = {
    [<StringLength(Microsoft.FSharp.Core.int.MaxValue,MinimumLength=3)>]
    Username : string
}

我检查了F#源和int is defined exactly as you would expect：

type int32 = System.Int32
// Then,a few lines later…
type int = int32

这是怎么回事？我假设F#原始类型在大多数情况下与其他类型是可互换的,但它看起来像我的心理模型中缺少的东西.

int;;

val it : (int -> int) = <fun:it@3>

> int.MaxValue;;

int.MaxValue;;
----^^^^^^^^

... error FS0039: The field,constructor or member 'MaxValue' is not defined

type num = int

> num.MaxValue;;
val it : int = 2147483647