c# - 从 F# 调用重载的 C# 方法

Question

SO 上有一些类似的问题，但我似乎找不到我要找的东西。

有一个 C# 库 (OpenCVSharp) 声明了这样一个重载方法:

public static void CalcHist(Mat[] images, 
            int[] channels, InputArray mask,
            OutputArray hist, int dims, int[] histSize,
            Rangef[] ranges, bool uniform = true, bool accumulate = false)
{
           ....
}

public static void CalcHist(Mat[] images,
            int[] channels, InputArray mask,
            OutputArray hist, int dims, int[] histSize,
            float[][] ranges, bool uniform = true, bool accumulate = false)
{
    ....
}

即仅因“范围”参数的类型而异。

我似乎无法调用此方法，即使使用元组参数样式，包括可选参数并添加一大堆类型注释也是如此:

let images = [|new Mat()|] 
let hist = OutputArray.Create(new Mat());
let hdims = [|256|];
let ranges = [| new Rangef(0.f,256.f) |];
Cv2.CalcHist<Mat [] * int [] * InputArray * OutputArray * int * int [] * Rangef [] * bool * bool>
            (images,
            [|0|],
            null,
            hist,
            1,
            hdims,
            ranges,
            true,
            false)

错误是“错误 4 无法从此代码位置访问带有 9 个参数的成员或对象构造函数‘CalcHist’。方法‘CalcHist’的所有可访问版本都带有 9 个参数”

有什么方法可以从 F# 调用此方法吗？

Answer 1

您选择用于指定参数类型的语法实际上不适用于指定参数类型。该语法用于指定泛型函数或类型的泛型参数:

let imGeneric<'t, 'u> (x: 't, y: 'u) = ...
let callGeneric = imGeneric<int, string> (5, "abc")

当然，大多数时候，F# 编译器可以为您推断泛型参数，因此您实际上不需要经常显式指定它们:

let imGeneric (x, y) = ...
let callGeneric = imGeneric (5, "abc")

您的Cv2.CalcHist 方法不 是通用的。删除通用参数，它应该可以正常工作:

Cv2.CalcHist( images, [|0|], null, hist, 1, hdims, ranges, true, false )

上面的代码是有效的，因为编译器已经知道 ranges 的类型是 Rangef []，所以它可以选择正确的重载，而无需您做任何额外的工作。

但有时确实有必要显式指定某些(或全部)参数的类型。在这些情况下，您可以就地指定类型:

Cv2.CalcHist( 
   images, [|0|], null, hist, 1, hdims, 
   (ranges : Rangef []), 
   true, false )

请注意 (ranges : Rangef []) 周围的额外括号。没有它们，类型注释将不仅适用于 ranges，而且适用于 images, [|0|], null, hist, 1, hdims, ranges 的整个元组，这将导致编译时错误，因为这样的元组显然不能具有 Rangef [] 类型。

或者，您可以在调用之前的任何时候修复您的值的类型:

let ranges: Rangef [] = getRanges()
Cv2.CalcHist( images, [|0|], null, hist, 1, hdims, ranges, true, false )

这会产生同样的效果。编译器实际上只需要知道类型，它并不关心它的确切定义位置，只要它在需要它的地方之前。