如何获取 CRTP 类型的通用类型定义

Question

给定 C# 中的以下 CRTP 类型：

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

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

let typeDef = typedefof<DataProviderBase<_>>

产生错误：

应用默认类型“DataProviderBase<'a>”时类型约束不匹配对于类型推断变量。当统一 ''a' 和 'DataProviderBase<'a>' 时，结果类型将是无限的考虑添加更多类型约束

在 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> 起作用的原因是 F# 指定一个默认类型作为参数（在本例中是 obj）。一般来说，F# 选择与约束匹配的不太具体的类型。在您的情况下：

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

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