c++ - 使用 crtp 初始化引用成员

Question

有没有办法使用 CRTP 初始化引用？

我的目标是让下面的代码能够工作

#include <iostream>

int gI = 1;

template <typename Derived>
struct A
{
    A()
    {
        static_cast<Derived*>(this)->InitRefs();
    }

    void InitInt(int & i) { i = gI; }
};

struct B : public A<B>
{
    B() : A<B>() {}

    void InitRefs()
    {
        InitInt(i);
    }

    int & i;
};

int main()
{
    B b;
    std::cout << b.i;
}

Answer 1

引用成员必须在 mem-initializer-list 中初始化，并且(像所有引用一样)不能重新放置。

如果您希望基类模板提供引用成员初始值设定项，请考虑提供返回对 int 的左值引用的成员函数。 :

template <typename Derived>
struct A {
    int& InitInt() { return gI; }
};

struct B : public A<B> {
    B() : A<B>(), i(InitInt()) {}
    int & i;
};

否则，如果您致力于当前的设计，请考虑使用 std::reference_wrapper<int> ，它在有限的方面表现得像一个引用，并且可以重新安置:

template <typename Derived>
struct A {
    A() {}
    void InitInt(std::reference_wrapper<int> & i) { i = gI; }
};

struct B : public A<B> {
    B() : A<B>() { InitRefs(); }
    void InitRefs() { InitInt(i); }
    std::reference_wrapper<int> i;
};

请注意，您不能调用 InitRefs来自基类构造函数，因为派生类对象在进入其构造函数体之前不存在。