Структури от данни, зимен семестър 2020/2021

Здравей Гергана,

Грешката се получава, защото при създаването на обект от клас А преди да се изпълни тялото на конструктора на А се извиква конструктира по подразбиране на myB. Тъй като такъв няма, защото си дефинирала собствен конструктор с параметри, се получава грешка при компилиране. Mожеш изрично да извикаш конструктура с параметри ето така.

A(T _a, T _b):myB(_a, _b) { }

При извикването на конструктор, преди да се изпълни кода в тялото му, се извикват всички конструктори по подразбиране на член-данните, ако има такива, и конструктурите по подразбиране на родителските класове, ако класът участва в йерархия на наследяване. Това се случва ако не сме извикали изрично конструктурите. Ако сме извикали изрично някой конкретен конструктор извикването на този по подразбиране ще се прескочи.

struct A {
private:
    struct B {
        int data;
        B() {
            data = 42;
        }
        B(int data) {
            this->data = data;
        }
    };
    B b1;
    B b2;
public:
    A():b2(20) {
        b1.data = 50;
    }
};

В този пример, при конструирането на обект от тип А, за b1 ще се извика конструктора по подразбиране, а за b2 ще се извика конструктура с параметри. След това ще влезем в тялото на конструктура на А и стойността на b1.data ще се промени на 50.

One more thing...

Забелязах, че в B myB подаваш T като аргумент на шаблона. Това би било вярно, ако B не е вложена в А, но тук това е грешка и не би трябвало да се компилира. Структурата B е декларирана в класа А и "вижда" типа Т. Типът Т се знае от аргумента на шаблона на А. А, A и т. н. Пълното изписване на типа на B е А<Т>::B и оттук се вижда, че структурата В не е шаблонна, само класа А е.

Разбира се, нищо не пречи да я направим и нея шаблонна.

template<typename T>

class A {
    template<typename U>

    struct B {
        U a;
        U b;
        B(U _a, U _b) {
            a = _a;
            b = _b;
        }
    };

    B<T> myB;
    B<int> b_int;
    B<double> b_double;
public:
    A(T _a, T _b):myB(_a, _b), b_int(1, 2), b_double(3.14, 2.71) { }
};

И дори нищо не ни пречи да сложим член-данна от тип Т в B.

template<typename T>

class A {
    template<typename U>

    struct B {
        T a;
        U b;
        B(T _a, U _b) {
            a = _a;
            b = _b;
        }
    };

    B<double> myB;
public:
    A(T _a, double _b): myB(_a, _b) { }
};
int main() {
    A<int> obj(42, 3.14);
}

Сега obj.myB.a e int, а obj.myB.b е double.

Поздрави,
Дамян