从 F# 调用重载的 C# 方法答案

【问题标题】：Calling an overloaded C# method from F#从 F# 调用重载的 C# 方法
【发布时间】：2015-09-22 15:35:34
【问题描述】：

关于 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# 调用这个方法吗？

【问题讨论】：

标签： c# f#

【解决方案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 )

这将具有相同的效果。编译器实际上只需要知道类型，它并不关心它的确切定义位置，只要它在需要它的点之前。

【讨论】：