如何获取 CRTP 类型的泛型类型定义

Question

给定以下CRTP，在 C# 中输入：

public abstract class DataProviderBase<TProvider>
    where TProvider : DataProviderBase<TProvider> { }

如何在 F# 中获得其泛型类型定义？

let typeDef = typedefof<DataProviderBase<_>>

产生错误：

为类型推断变量应用默认类型“DataProviderBase”时类型约束不匹配。统一 ''a' 和 'DataProviderBase' 时生成的类型将是无限的 考虑添加更多类型约束

在 C# 中，它是：

var typeDef = typeof(DataProviderBase<>);

更新

我找到了解决方法：

[<AbstractClass>]
type DummyProvider() =
  inherit DataProviderBase<DummyProvider>()

let typeDef = typeof<DummyProvider>.BaseType.GetGenericTypeDefinition()

没有额外的类型，还有其他方法吗？

Answer 1

我认为这实际上是一个非常好的问题。我没有找到更好的解决方法。 您可以像这样使用typedefof 稍微简化您的解决方法：

let typeDef = typedefof<DataProviderBase<DummyProvider>>

技术细节

问题在于 F# 的 typedefof<'T> 只是一个接受类型参数的普通函数（与 C# 中的 typeof 不同，它是一个运算符）。为了调用它，你需要给它一个实际的类型，然后函数会在后台调用GetGenericTypeDefinition。

typedefof<option<_>> 起作用的原因是 F# 将 default 类型指定为参数（在本例中为 obj）。通常，F# 选择与约束匹配的不太具体的类型。在你的情况下：

DataProviderBase<_> 将变为 DataProviderBase<DataProviderBase<_>> 等等。

除非您定义一个新类型（如您的解决方法），否则没有具体类型可以用作typedefof<...> 的类型参数。在这种情况下，默认机制根本不起作用......