如何在 C# 里写出零额外开销（避免虚拟方法调用）的 CRTP 成语

考虑 C++ 代码

#include<iostream> template <typename T> struct Base { T &Foo() { // MSVC 需要这个提示来优化 static_cast 的空指针检查。 // __assume(this != nullptr); static_cast<T *>(this)->FooImpl(); return *static_cast<T *>(this); } protected: ~Base() = default; }; struct Derived : Base<Derived> { private: friend Base<Derived>; void FooImpl() { std::cout << "没有虚拟方法调用" << std::endl; } }; 

问题是如何在 C# 里做出等价实现，满足：

• 没有虚拟方法调用，或者子类可以决定 FooImpl 是否虚拟。
• 至少在运行时保证 Base 的泛型参数是正确的子类。
• 除非运行时使用反射作弊，否则不能破坏类的封装（需要实现有限程度的 friend），且编译期也不能破坏封装。

第一个问题可以通过利用 CLR 对泛型参数实例化为 struct 时的优化实现，第二个则需要巧妙设置对应 struct 的接口和实现，使只有 Base 及其子类可以正常访问方法。

详见 全文（英文）