Блог

Еще раз мне нужно сделать что-то вроде этого —
мне нужно сначала инициализировать вектор, поэтому я передаю его адрес data() родительскому классу.

 #include <vector>

struct A{
    A(int *a) : a(a){}
    
    int *a;
};

struct B : A{
    B() : A( v.data() ){}
    
    std::vector<int> v { 1024 };
};

#include <cstdio>

int main(){
    B b;
    b.v[55] = 5;

    printf("%dn", b.a == b.v.data() );
    printf("%dn", b.a[55]);
    printf("%dn", b.v[55]);
}
  

Проблема здесь в том, что вектор инициализируется после родительского класса и v.data() содержит мусор. Я даже удивлен, что это компилируется.

Я знаю, что могу использовать композицию / декоратор для этого или защищенного элемента setPtr(int *a) , но мне интересно, есть ли другой способ сделать это.

Пожалуйста, не комментируйте необработанные указатели. Это всего лишь пример зависимостей между родительским и дочерним классами.

Базовые классы создаются сначала по дизайну. Обойти это невозможно. Однако вы можете ввести второй базовый класс и наследовать от своих базовых классов в желаемом порядке инициализации.

 struct a
{
    int x;
    a(int x) : x(x) {};
};

struct b
{
    int *px;
    b(int* px) : px(px) {};
};

struct derived : a, b
{
public:
    derived(int x_) : a(x_), b(amp;x) {};
};
  

Почему бы не делегировать инициализацию для A какой-либо функции, отличной от конструктора?

 #include <vector>

struct A{
    A() : a(nullptr) {}
    void init(int* i_a) {
        a = i_a;
    }
    
    int *a;
};

struct B : A{
    B() : A(), v(1024) {
        init(v.data());
    }
    
    std::vector<int> v;
};

#include <cstdio>

int main(){
    B b;
    b.v[55] = 5;

    printf("%dn", b.a == b.v.data() );
    printf("%dn", b.a[55]);
    printf("%dn", b.v[55]);
}
  

Кроме того, почему вы используете printf в C ? Это довольно небезопасно. Используйте std::cout вместо этого. Вопреки распространенному мнению, на самом деле это не намного медленнее, чем C stdio, если вы хорошо с этим справляетесь, и мы не уверены, что скорость ввода-вывода даже является проблемой для вашего кода.

Не предлагаю это как решение, но это может дать подсказку к реальному решению. Вы не можете использовать члены производного класса в конструкторе базового класса. Однако вы можете использовать ссылки или указатели на члены производного при построении базы. Вам нужно позаботиться о том, чтобы разыменовывать их только после того, как производный будет полностью сконструирован. Например, это «ок»:

 #include <vector>
#include <iostream>

struct A{
    A(std::vector<int>* p) : p(p){}
    std::vector<int>* p;
};

struct B : A{
    B() : A( amp;v ){} // <- fine as long as A only stores the pointer
    std::vector<int> v { 1024 };
};

int main(){
    B b;
    b.v[55] = 5;
    std::cout << (b.p == amp;b.v) << "n";
    std::cout << (*b.p)[55];
}
  

Я выбрал любопытно повторяющийся шаблон шаблона

 #include <iostream>
#include <vector>
#include <stdio.h>

template <typename T>
struct Base {
  int* raw_ptr = nullptr;   
  void Supply() {
    (static_cast<T*>(this))->Supply();
  }
};

struct Derived : public Base<Derived> {
  std::vector<int> v { 1024 }; 
  void Supply() {
    raw_ptr = v.data();
  }
};


template<typename T>
void SupplyBuffer(Base<T>* b) {
  b->Supply();
}

int main()
{
    Derived b;
    SupplyBuffer(amp;b);
    b.v[55] = 5;    
    printf("%dn", b.raw_ptr == b.v.data() );
    printf("%dn", b.raw_ptr[55]);
    printf("%dn", b.v[55]);
    return 0;
}