Question

我有一个帮助基类用于某些结构，它使用CRTP来帮助我获取有关它们的一些信息：

template <class T>
struct MyHelper
{
    size_t size() const { return sizeof(T); }
};

我已经在我的代码库中使用了在各种库中定义的结构，我想有办法记录它们。我的第一个想法是这样的：

template <class T>
struct MyHelper
{
    size_t size() const { return sizeof(T); }
    virtual void print(std::ostream& out) const { out << "(" << sizeof(T) << ")"; }
};

但后来我意识到，由于一些原因，它们无法正常工作 - 其中一个是添加虚拟实际上改变了POD数据以外的大小。

有没有一种方法，没有virtual关键字，我有一个默认的toStr方法，它使用上面的实现，除非特定的派生类T有一个实现，在这种情况下它会延迟到那个？

Answer 1

我认为做这样的事情最直接的方法是调度到一个不同的非虚函数，派生类可以根据需要进行阴影处理。例如：

template <class T>
struct MyHelper
{
  size_t size() const { return sizeof(T); }

  void print(std::ostream &out) const {
    // Cast to derived, call do_print. This will be derived's do_print
    // if it exists and MyHelper's otherwise.
    static_cast<T const*>(this)->do_print(out);
  }

  void do_print(std::ostream& out) const {
    out << "(" << sizeof(T) << ")";
  }
};


struct A : MyHelper<A> {
  // no do_print, so MyHelper<A>'s will be used
  int x;
};

struct B : MyHelper<B> {
  // B's do_print is found and used in MyHelper<B>::print
  void do_print(std::ostream &out) const {
    out << "Hello!\n";
  }
};

template<typename T>
void foo(MyHelper<T> const &r) {
  r.print(std::cout);
}

int main() {
  A a;
  B b;

  foo(a);
  foo(b);
}

输出：

(4)Hello!

您可能还可以使用SFINAE构建一些不需要第二个成员函数的东西，但我怀疑增加的复杂性是否值得。

如果使用CRTP，如何调用派生函数如果存在则使用默认值？

1 个答案: