为什么 StaticallyResolvedTypeParameter 方法在运行时失败时调用编译？

Question

我刚刚编写了一个 C# 可以看到但调用它（即使使用有效参数）在运行时抛出的简单方法。

运行时失败的例子：

F#：

namespace Library1
type Class1() = 
  member __.Foo = "F#"
module MyModule = 
  // fails at run-time
  let inline fOnly (x:^a) : string = (^a:(member Foo: _) x)
  // works from C# and F# so I know it's not a problem with my stp
  let testFOnly () = fOnly (Class1())

C# 消费者：

namespace ConsoleApplication1
  {
    class Program
    {
      var class1 = new Library1.Class1();
      // NotSupportedException
      var result = Library1.MyModule.fOnly(class1);
      Console.ReadLine();    
    }
  }

为什么会编译，然后在运行时失败？我是不是做错了什么，或者我应该假设任何从 C# 调用 stp 方法的尝试总是会失败？那我应该attempt to hide them from C#吗？

Answer 1

在 F# 中使用 inline 实际上不会在输出程序集中产生函数。

函数被编码在一些元数据中，只有 F# 编译器可以读取然后内联插入。

因此，您无法从 C# 调用 inline 函数

Answer 2

示例中的代码错误

Class1 有成员 Foo 而不是 X 并且编译失败

-------------问题编辑后------------

可以使用ILSpy查看反编译后的代码和错误来源

反编译的 C# -

namespace Library1
{
    [CompilationMapping(SourceConstructFlags.Module)]
    public static class MyModule
    {
        public static string fOnly<a>(a x)
        {
            "Dynamic invocation of get_Foo is not supported";
            throw new NotSupportedException();
        }

        public static string testFOnly()
        {
            Class1 @class = new Class1();
            return "F#";
        }
    }
}

但是您可以从代码中看到这将起作用

static void Main ( string [ ] args )
{
  Console.WriteLine( Library1.MyModule.testFOnly()) ;
  Console.ReadLine();  
}

也没有理由将此作为函数调用 let testFOnly () = fOnly (Class1()) 而不是常规绑定，因为它针对的是类的不可变属性。

即let testFOnly = Class1() |> fOnly