(因此,lambda参数的类型是未知的。)这在本例中是合理的(对于fileInfos,file类型被推断为string,因为构造函数FileInfo的参数为string;对于fileSizes,则不存在此类信息)。但我仍然有疑问,因为如果解释是正确的,那么类型推断(辛德雷-米尔纳算法W的变体)是如此有限。事实上,还有一个说:
let justF (nums : int []) f =
Array.
我尝试用默认模板参数编写这个函数:void func(int i1, int i2, A a, B b = 123){在我看来,我可以这样称呼它:func(1, 2, 3)和编译器应该从默认值中推断出B类型为int,但我得到了no instance of overloaded function。在这种情况下,是否不正确的C++结构和编译器不能推断