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 that you have read and understand our privacy policy and code of conduct.

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