如何在C++中编写可内联的相互抽象代码？

示例第一:

template  
struct State : public HashingSolution {

  void Update(int idx, int val) {
    UpdateHash(idx, val);
  }

  int GetState(int idx) {
    return ...;
  }
};

struct DummyHashingSolution {
  void UpdateHash(int idx, int val) {}
  void RecalcHash() {}
};

struct MyHashingSolution {
  void UpdateHash(int idx, int val) {
    ...
  }

  void RecalcHash() {
    ...
    UpdateHash(idx, GetState(idx)); // Problem: no acces to GetState function, can't do recursive application of templates
    ...
  }
};

在这个例子中,我可以将MyHashingSolution传递给State类,因此State可以访问HashingSolution的方法,但是HashingSolution不能调用GetState.有可能解决这个问题吗？

这是最深的循环.这里的虚拟功能使性能下降超过25%.内联对我来说至关重要.

正如jalf在评论中建议的那样,您可能想要使用奇怪的重复模板模式(CRTP)的变体.也就是说,创建MyHashingSolution一个由派生类参数化的类模板:

template 
struct MyHashingSolution {
    typedef D Derived;

    void UpdateHash(int idx, int val) {
        ...
    }

    void RecalcHash() {
        ...
        UpdateHash(idx, derived().GetState(idx));
        ...
    }

private:
    // Just for convenience
    Derived& derived() { return *static_cast(this); }
};

在这种情况下,因为您希望派生State类也是一个模板,所以您需要采取稍微不同寻常的步骤来声明State为采用模板模板参数的类模板:

template