Определение последовательности вызовов конструкторов и деструкторов при множественном наследовании

В функции check_call_order создаётся объект Current, который наследуется от ABase и BBase и содержит два полевых члена — BField и AField. Требуется выяснить, в каком порядке будут вызваны конструкторы при построении объекта Current.

struct ABase {
    ABase()  { std::cout << "ABase\n"; }
    ~ABase() { std::cout << "~ABase\n"; }
};

struct BBase {
    BBase()  { std::cout << "BBase\n"; }
    ~BBase() { std::cout << "~BBase\n"; }
};

struct AField {
    AField()  { std::cout << "AField\n"; }
    ~AField() { std::cout << "~AField\n"; }
};

struct BField {
    BField()  { std::cout << "BField\n"; }
    ~BField() { std::cout << "~BField\n"; }
};

struct Current : ABase, BBase {
    BField b;
    AField a;

    Current()  { std::cout << "Current\n"; }
    ~Current() { std::cout << "~Current\n"; }
};

void check_call_order() {
    Current current;
}