CRTP 避免代码重复：不能赋值 Base=Derived by value

Question

我有 Base、Derived1、Derived2 等课程。
它是可编译的（下）。

class Base{  };
class Derived1 : public Base{
    public: Derived1* operator->() { return this; }
    public: void f1(){}
};
class Derived2 : public Base{
    public: Derived2* operator->() { return this; }
};
class Derived3 : public Derived2{
    public: Derived3* operator->() { return this; }
};
int main(){//test case (my objective is to make all these work)
    Derived1 d1;  d1->f1();
    Base b=d1;              //non harmful object slicing
    Derived3 d3;
    Derived2 d2=d3;
}

编辑：我相信是a non-harmful object slicing，我认为它与问题无关。

然后，我希望operator->() 在Base 中，所以我不必在所有DerivedX 类中实现。

这是我迄今为止的尝试，使用CRTP。在# 无法编译：-

class Base{  };
template<class T1,class T2>class Helper{
    public: T2* operator->() { return static_cast<T2*>(this); }
};
class Derived1 : public Helper<Base,Derived1>{
    public: void f1(){}
};
class Derived2 : public Helper<Base,Derived2>{    };
class Derived3 : public Helper<Derived2,Derived3>{    };
int main(){
    Derived1 d1;  d1->f1();
    Base b=d1;                    //#
    Derived3 d3;     
    Derived2 d2=d3;
}

我已经阅读了这两个有希望的链接（下），但进展不大（上）：-

• operator= and functions that are not inherited in C++?
• Inheritance in curiously recurring template pattern polymorphic copy (C++)

Wiki 说要转换Derive to Base is quite impossible for CRTP，所以我觉得使用 CRTP 可能没有解决方案。

问题：

• 如何将operator-> 移动到某种基类以避免代码重复？
  （有无 CRTP 都可以）
• 有没有使用 CRTP 的解决方案？也就是说，CRTP 不适合这份工作吗？

我是 CRTP 的新手（今天就玩一下）。如有重复请见谅。

Answer 1

抛开你的对象的切片，如果你将你的助手定义为，你的例子就可以正常工作：

template<class T1, class T2>
class Helper: public T1 {
public:
    T2* operator->() {
        return static_cast<T2*>(this);
    }
};

即：

• 从 T1 派生，就好像在纯基于 mixin 的方法中一样
• 使用 T2 就像在纯 CRTP 方法中一样

如果考虑Derived1的声明：

class Derived1: public Helper<Base, Derived1>;

不用说现在Base b = d1; 有效，因为Derived1 直接继承自Base。