C++ инициализация объекта, который содержит другую проблему проектирования объекта

Question

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

class A{ 
public: 
    int a; 
    A(){} 
    A(const A& ac){ 
     cout <<"copy constructor for A" << endl; 
     a = ac.a; 
    } 
    virtual ~A(){} 
    A& operator=(const A& that){ 
     cout <<"operator = for A" << endl; 
     a = that.a; 
     return *this; 
    } 
}; 
class B{ 
private: 
    A ba; 
public: 
    B(){ a = A(); } 
    B(A& a){ 
     cout << "Using default constructor" << endl; 
     ba = a; 
    } 
    B(const B& copy){ 
     cout<<"copy"<< endl; ba = copy.ba; 
    } 
    B& operator=(const B& that){ 
     cout<<"invoking operator = "<< k<< endl; 
     ba = that.ba; 
     return *this; 
    } 
    virtual ~B(){} 
    A& getA(){ return ba; } 
    void printAadrr(){ 
     cout << &ba <<" "<< ba.a<< endl; 
    } 
}; 

Проблема в том, что при инициализации B с помощью B::B(A& a), аргумент копируется в экземпляр ba в B. Это может быть неэффективно, если a велико.

я подумал о другом подходе, где вместо

class B{ 
private: 
    A ba; 
    .... 

я мог бы сделать

class B{ 
    private: 
     A* ba; 
public: 
    B(){ 
     ba = new A(); //but we have to free memory in destructor if we call default constructor 
    } 
    B(A& a){ 
     cout << "Using default constructor" << endl; 
     ba = &a; 
    } 

Но этот дизайн выбор имеет свой собственный вопрос, где, если я делаю B конструктором по умолчанию, мне нужно освободить память, выделенная для ba позже в деструкторе.

Есть удобный способ передать «ссылку» объекта A (создано за пределами B) в B в конструкторе, если мы используем B::B(A& a) и создать пустой, по умолчанию объект A если мы будем использовать B :: B ()? Я пробовал

B::B(A& a){ 
    &ba = &a; 
} 

но он дает ошибку «lvalue должен быть слева от задания».

Любые советы приветствуются. Извините за слишком длинный пост.

Answer 1

Определить конструктор, используя перемещение семантику следующим образом:

B::B(A && a) 
: ba(std::move(a)) 
{} 

Теперь вы можете передать экземпляр в объект.

A a; 
B b(std::move(a)); 
// `b` stores content of `a`, and local `a` is no longer valid. 

Вы все еще можно построить с помощью конструктора копирования, если вы хотите .

A a; 
B b(a); 
// `b` stores a copy of `a`, and local `a` is still valid. 

Answer 2

Вместо того, чтобы иметь как простой вар члена, есть указатель на А. Тогда при построении B, просто передать указатель на экземпляр А.

class B{ 
private: 
    A* ba; 

Answer 3

это зависит от вашего дизайна. Если вы хотите, чтобы B использовали A, используйте std::move для получения A по B.

В общем случае используйте std::shared_ptr, который будет управлять памятью самостоятельно. После того, как все экземпляры std::shared_ptr<A> будут уничтожены, то данные A также будут удалены. Но в этом случае B экземпляры могут доля такие же A данные.

Другое решение std::unique_ptr, но вы должны переместить его каждый раз, когда вы копируете B, что означает, что право собственности A будут переданы так же, как std::move решения.