c++ - 如何继承成员函数以便它始终返回对派生实例的引用？

Question

我正在开发一个迭代器系列，其中所有迭代器类 X 都有 X& operator++() {++x;返回 *this}，所以将它放在一个公共(public)基类中似乎是个好主意。不幸的是，返回类型发生了变化，因为它应该始终返回对派生类的引用。

下面说明了这个问题。我想让 f() 工作，但我能想出的唯一解决方法是 g() 和 h()，它们是不满意:

struct A {
    A& f() {return *this;}

    template <typename T>
    T& g() {return *(T*)this;}

    template <typename T>
    T& h(T& unused) {return *(T*)this;}
};

struct B : A {
    int x;
    B(int x) : x(x) {}
};

int main() {
    B b(12);

    //B b1 = b.f();   // error: conversion from 'A' to non-scalar type 'B' requested

    B b2 = b.g<B>();  // works
    B b3 = b.h(b);    // works
}

有没有办法让 B b1 = b.f(); 工作？也许使用 C++11 特性？

Answer 1

使用 CRTP :

template<class Derived>
struct A {
    Derived& f() {return static_cast<Derived&>(*this);}
};

struct B : A<B> {
    int x;
    B(int x) : x(x) {}
};