f# - FSharp.Core中未记录的 `when`关键字用法

在寻找有关内联函数的静态解析类型参数的信息时，我偶然发现了FSharp.Core中various primitive operators的定义:

let inline (+) (x: ^T) (y: ^U) : ^V =
     CheckedAdditionDynamic<(^T),(^U),(^V)>  x y
     when ^T : int32       and ^U : int32      = (# "add.ovf" x y : int32 #)
     when ^T : float       and ^U : float      = (# "add" x y : float #)
     // <snip>
     when ^T : ^T = ((^T or ^U): (static member (+) : ^T * ^U -> ^V) (x,y))

在上面的代码段中可以看到when关键字以以下格式使用:when expr1 = expr2用于各种内置类型。我猜想这相当于“如果T = int使用opcode add.ovf，否则，如果...，否则，则这样做”的某种编译器。

但是，我在F＃文档中找不到对这种语法的单一引用/说明。能够对F＃有所了解的人可以解释上面那段代码中的情况吗？

最佳答案

用户Carsten认为此答案有误，对此回答提供了以下评论。



用户Carsten在此答案中添加了其他注释:



Carsten的第一条评论中提到的答案是用户John Palmer在2013年4月提出的，该链接与他在(# ..... #)语法What is the (# ... #) syntax seen in F3 standard library implementation?上提供的答案有关。



用户MisterMetaphor提供了一个答案，引用了一个论坛中的帖子，内容如下:



并不是的。此功能的99.9％目的是用于操作
在FSharp.Core.dll中定义(在1.9.2.9及更高版本中称为fslib.dll)。

有关when关键字的其他用法，请参见以下内容。

本Microsoft文档介绍了使用when关键字作为匹配条件Match Expressions (F#)的其他条件。

本Microsoft文档介绍了如何使用when关键字来表示对通用类型参数Constraints (F#)的约束。

另请参阅此Microsoft文档，该文档描述了在各种设置Pattern Matching (F#)中与when关键字进行模式匹配的情况。

模式匹配文档说了以下内容以及几个示例。



匹配表达式文档将以下内容与示例进行说明。

关于f# - FSharp.Core中未记录的 `when`关键字用法，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/26406664/