小编Ast*_*nus的帖子

我正在尝试用F#设计一个库.该库应该对F#和C#都很友好.

这就是我被困住的地方.我可以使它F#友好,或者我可以使它C#友好,但问题是如何使它友好的两者.

这是一个例子.想象一下,我在F#中有以下功能:

let compose (f: 'T -> 'TResult) (a : 'TResult -> unit) = f >> a

这完全可以从F#中使用:

let useComposeInFsharp() =
    let composite = compose (fun item -> item.ToString) (fun item -> printfn "%A" item)
    composite "foo"
    composite "bar"

在C#中,该compose函数具有以下签名:

FSharpFunc<T, Unit> compose<T, TResult>(FSharpFunc<T, TResult> f, FSharpFunc<TResult, Unit> a);

但当然我不想FSharpFunc签名,我想要的是Func,Action而是像这样:

Action<T> compose2<T, TResult>(Func<T, TResult> f, Action<TResult> a);

为此,我可以创建这样的compose2函数:

let compose2 (f: Func<'T, 'TResult>) (a : Action<'TResult> ) …

我尝试使用指向函数的指针(不是指向成员函数的指针)调用std::thread完美的转发构造template< class Function, class... Args > explicit thread( Function&& f, Args&&... args );函数(),如下面的M(N)WE所示:

#include <thread>
#include <string>

static void foo(std::string query, int & x)
{
  while(true);
}

int main() {
 int i = 1;
 auto thd = std::thread(&foo, std::string("bar"), i);
 thd.join();
}

现场演示:https://godbolt.org/g/Cwi6wd

为什么代码不能在GCC,Clang和MSVC上编译,抱怨缺少invoke(或类似名称)的重载？函数参数是指向函数的指针,因此它应该是a Callable,对吧？

请注意:我知道使用lambda可以解决问题; 我想了解问题出现的原因.