Question

我有两个用C＃代码声明的类：

public class A
{
     public static bool TryParse(string value, out A result)
     {
         ...
     }
}

public class B : A
{
     public static bool TryParse(string value, out B result)
     {
         ...
     }
}

虽然从C＃调用B.TryParse没有问题，因为正确的重载由out参数类型确定，应该事先声明。由于out参数在F＃中被转换为部分结果，我们得到了两个具有相同参数签名的函数...而来自F＃的调用导致A unique overload for method 'TryParse' could not be determined based on type information prior to this program point. A type annotation may be needed.错误。我理解这个问题，甚至会将TryParse声明为new ......如果它不是静态的。

消息本身并不是很有用：它绝对不能清楚哪种注释和添加位置。

我该怎么办电话？最愚蠢的想法是重命名其中一个函数，但可能有更聪明的方法吗？

Answer 1

您需要为传递给try方法的变量添加类型注释，在本例中为out变量，因为这是更改的内容。我认为这样的事情应该有效：

let res, (b:B) = B.TryParse "MyString"

在F＃类型中，注释位于标识符之后，前面有冒号（:)。

（注意：在F＃out参数中可以从结果中恢复为元组）

Answer 2

有几种方法可以解决这个问题：

添加显式类型注释（如Robert建议的那样）。
使用保存out参数返回值的变量作为参数，稍后函数调用，其中函数的参数“已知”为“B”类型;如果函数的参数显式声明为类型'B'（通过添加显式类型注释），这通常效果最好。
创建一个内联辅助函数，该函数使用静态解析的泛型来调用它传递的任何对象的TryParse方法。

F＃：如何指定使用静态重载？

2 个答案: