c++ - 如何从 const 方法生成非常量方法？

Question

在努力实现 const 正确性的同时，我经常发现自己编写了这样的代码

class Bar;

class Foo {
public:
  const Bar* bar() const { /* code that gets a Bar somewhere */ }

  Bar* bar() {
    return const_cast< Bar* >(
      static_cast< const Foo* >(this)->bar());
  }
};

用于许多方法，例如 bar()。编写这些手动调用常量方法的非常量方法是乏味的；此外，我觉得我在重复自己——这让我感觉很糟糕。

我可以做些什么来减轻这个任务？ (不允许使用宏和代码生成器。)

编辑:除了 litb 的解决方案外，我也喜欢我自己的解决方案。 :)

Answer 1

另一种方法是编写一个调用函数(使用 CRTP)并从中继承的模板。

template<typename D>
struct const_forward {
protected:
  // forbid deletion through a base-class ptr
  ~const_forward() { }

  template<typename R, R const*(D::*pf)()const>
  R *use_const() {
    return const_cast<R *>( (static_cast<D const*>(this)->*pf)() );
  }

  template<typename R, R const&(D::*pf)()const>
  R &use_const() {
    return const_cast<R &>( (static_cast<D const*>(this)->*pf)() );
  }
};

class Bar;

class Foo : public const_forward<Foo> {
public:
  const Bar* bar() const { /* code that gets a Bar somewhere */ }
  Bar* bar() { return use_const<Bar, &Foo::bar>(); }
};

请注意，调用没有性能损失:由于成员指针作为模板参数传递，调用可以像往常一样内联。