11

Можно ли создавать классы, содержащие в качестве данных-членов объекты этого же класса, указатели/ссылки на такие объекты, их массивы?

Например:

class A
{
    A x;
    A* y;
    std::vector<A> v;
}; 

3 ответа 3

21

Объекты и массивы — нет, так как на момент объявления класс ещё не создан до конца, а потому неизвестно, сколько места требуется выделить для его экземпляров.

А указатели и ссылки — пожалуйста, ведь факт существования данного класса уже известен.

6
  • Дополню: указатели и ссылки можно создавать даже после объявления класса в виде: class A;
    – nzeemin
    17 апр 2016 в 14:48
  • А массивы объектов?
    – flow
    17 апр 2016 в 14:49
  • @flow массивы не получится создать -- размер элемента неизвестен.
    – nzeemin
    17 апр 2016 в 14:51
  • @nzeemin Почему тогда class A { std::vector<A> v; }; компилируется?
    – flow
    17 апр 2016 в 14:53
  • 5
    @flow для вектора работает, потому что в потрохах он хранит указатель. А размер указателя не зависит от типа, для любых типов данных T1 и T2 справедливо равенство sizeof(T1*) == sizeof(T2*).
    – αλεχολυτ
    17 апр 2016 в 15:00
15

Указатели - запросто. А вот представьте себе, сколько памяти займет ваш класс, описанный в вопросе. Ведь он содержит в себе x, который содержит в себе x, который содержит в себе... Ну, вы понимаете - бесконечная рекурсия без каких бы то ни было надежд на прекращение. Это так, самое простое объяснение, почему нельзя.

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

4

Только если этот член статический, например:

class A
{
    static A a;
};

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.