Есть ли C++ ленивый указатель?

Question

Мне нужно shared_ptr как объект, но который автоматически создает реальный объект, когда я пытаюсь получить доступ к его членам.

Например, у меня есть:

class Box
{
public:
    unsigned int width;
    unsigned int height;
    Box(): width(50), height(100){}
};

std::vector< lazy<Box> > boxes;
boxes.resize(100);

// at this point boxes contain no any real Box object.
// But when I try to access box number 50, for example,
// it will be created.

std::cout << boxes[49].width;

// now vector contains one real box and 99 lazy boxes.

Есть ли какая-то реализация, или я должен написать свою?

Answer 1

Это очень мало усилий, чтобы катиться самостоятельно.

template<typename T>
class lazy {
public:
    lazy() : child(0) {}
    ~lazy() { delete child; }
    T &operator*() {
        if (!child) child = new T;
        return *child;
    }
    // might dereference NULL pointer if unset...
    // but if this is const, what else can be done?
    const T &operator*() const { return *child; }
    T *operator->() { return &**this; }
    const T *operator->() const { return &**this; }
private:
    T *child;
};

// ...

cout << boxes[49]->width;

Answer 2

С помощью boost::optionalВы можете иметь такую ​​вещь:

// 100 lazy BigStuffs
std::vector< boost::optional<BigStuff> > v(100);
v[49] = some_big_stuff;

Построим 100 ленивых и назначим один реальный some_big_stuff в v[49], boost::optional не будет использовать кучи памяти, но будет использовать Place-New для создания объектов в буфере, выделенном стеком. Я хотел бы создать обертку вокруг boost::optional как это:

template<typename T>
struct LazyPtr {
    T& operator*() { if(!opt) opt = T(); return *opt; }
    T const& operator*() const { return *opt; }

    T* operator->() { if(!opt) opt = T(); return &*opt; }
    T const* operator->() const { return &*opt; }    
private:
    boost::optional<T> opt;
};

Это сейчас использует boost::optional для того, чтобы делать вещи. Он должен поддерживать конструкцию на месте, как этот (пример на op*):

T& operator*() { if(!opt) opt = boost::in_place(); return *opt; }

Что не потребовало бы никакого копирования. Тем не менее, текущее повышение руководство не включает в себя эту перегрузку оператора присваивания. Источник делает, однако. Я не уверен, является ли это просто дефектом руководства или его преднамеренно пропущена документация. Так что я бы использовал более безопасный способ, используя назначение копирования, используя T(),

Answer 3

Я никогда не слышал о таких вещах, но опять же есть много вещей, о которых я никогда не слышал. Как бы "ленивый указатель" поместил полезные данные в экземпляры базового класса?

Вы уверены, что разреженная матрица не то, что вы действительно ищете?

Answer 4

Насколько я знаю, не существует никакой реализации такого рода вещей. Это не будет трудно создать хотя.