9

我没有对问题的准确描述，所以我只是问这是否可能（如果是，其他一些信息会很好）。

一位程序员告诉我，您可以避免由虚函数/多态性引起的运行时开销。他说为了避免运行时开销，您可以在名为 Curiously_recurring_template_pattern 的模式中使用模板，它看起来像这样：

class Derived : public Base<Derived>
{
  // ... implementation here
};

这种奇怪重复的模板模式是如何工作的？

如何使用 Curiously-Recurring-Template-Pattern 来替代普通的虚函数/多态性？

我弄错了吗？

4

4 回答 4

19

非常具体地说，可以使用 CRTP 代替具有虚函数的基类来实现模板方法模式，而无需虚函数调用开销。

使用虚函数，TMP 看起来像这样：

class ProvidesMethod {
protected:
  void Method() {
    // do something
    Part1();
    // do something else
    Part2();
    // do something final
  }

private:
  virtual void Part1() = 0;
  virtual void Part2() = 0;
};

class ExposesMethod : private ProvidesMethod {
public:
  using ProvidesMethod::Method;

private:
  void Part1() {
    // first part implementation
  }
  void Part2() {
    // second part implementation
  }
};

使用 CRTP，它看起来像这样：

template <typename Derived>
class ProvidesMethod {
protected:
  void Method() {
    // do something
    self().Part1();
    // do something else
    self().Part2();
    // do something final
  }

private:
  Derived& self() { return *static_cast<Derived*>(this); }
  const Derived& self() const { return *static_cast<const Derived*>(this); }
};

class ExposesMethod : private ProvidesMethod<ExposesMethod> {
public:
  using ProvidesMethod<ExposesMethod>::Method;

private:
  friend class ProvidesMethod<ExposesMethod>;
  void Part1() {
    // first part implementation
  }
  void Part2() {
    // second part implementation
  }
};
于 2013-06-07T16:32:25.737 回答
3

这被称为 CRTP（用于 Curiously Recurring Template Pattern），因此您可以查找它。

虽然我真的不明白它如何取代经典的多态性......

另一方面，在某些情况下，可以通过模板替换复杂的类层次结构（有关更多信息，请参阅基于策略的设计），但这并不总是可能的......

于 2013-06-07T16:12:37.910 回答
3

正如 Julien 所说，这是 CRTP。你应该查一下。但是 CRTP 不能代替虚函数。如果它适用于您的特定情况，那么您实际上并不需要虚拟功能。看，模板提供编译时多态性。虚函数提供运行时多态性。如果您不知道在编译时将调用哪个覆盖，那么基于模板的解决方案将无法工作。如果你总是知道一个对象在运行时的真实类型是什么，那么你就不需要虚函数。

于 2013-06-07T16:29:51.287 回答
2

我不确定您将如何使用模板来提供诸如虚拟函数之类的东西——这对我来说似乎很奇怪——当然没有一堆技巧，最终相当于实现你自己的虚拟函数版本，而不是使用编译器提供的虚拟函数，我发现很难看出如何使调用函数的代码不知道对象是什么类型，并为该对象类型调用正确的函数。这就是虚函数的作用。

此外，从个人经验来看，虚函数的 ACTUAL 开销非常小，只有在非常极端的情况下才会产生影响（非虚函数内联的主要情况，并且如此微不足道，以至于调用函数是总执行时间的重要组成部分（这也意味着该函数需要多次调用才能产生任何显着差异）。如果您必须“弄清楚要做什么”（使用 if-声明或类似的东西）以其他方式[除了在“虚拟功能”上实现你自己的变体，但这只是重新发明轮子，除非你的新轮子比现有的轮子更好，否则这不是一个好主意]。

于 2013-06-07T16:12:25.123 回答