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

[geelaw]

考虑 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 及其子类可以正常访问方法。

详见 全文（英文）

[lxilu]

成语？

[geelaw]

@lxilu #1 idiom

[lxilu]

一般不会认为这是语吧，感觉成文 /成法 /惯用法更好，你这样好似句柄

[nullcoder]

666