Как правильно реализовать блок памяти для сильной и слабой ссылки?

Question

[Dyikot]

На данный момент у меня реализован блок только под сильную ссылку. Но хотелось бы добавить возможность слабой ссылки.

struct RefMemoryBlockBase
{
    std::atomic<size_t> References = 1;
    virtual ~RefMemoryBlockBase() = default;
};

template<typename T>
struct RefMemoryBlock : RefMemoryBlockBase
{
    T Value;

    template<typename... TArgs>
    RefMemoryBlock(TArgs&&... args)
        : Value(std::forward<TArgs>(args)...)
    {}
};

Очевидно для это нужен еще один счетчик под них. Но вот проблема как удалять Value если есть слабые ссылки? При это я не хочу выделять динамически значение вне блока. Если вызывать десктрутор Value, то получается будет вызыватся он дважды. Есть ли какой-то вариант?

Answer 1

[Wataru]

Тут есть два варианта: 1) вы вызываете деструктор, но не освобождаете память, когда все сильные ссылки кончились. В этом случае надо воспользоваться type erasure, чтобы выключить деструктор. Деструктор же вы вызываете вручную, когда надо, через reinterpret_cast(storage_)->~T(); Посмотрите вот тут пример: https://chromium.googlesource.com/chromium/src/bas...
2) Вы вызываете деструктор и освобождаете память. В этом случае Value обязано быть в другом блоке памяти, а в вашем умном указателе будет лишь указатель на него. Ибо нельзя никак вернуть часть блока.

Comments

[Dyikot]

1) Я не имею доступа на ту ссылку которую дали:

[my email]@gmail.com doesn't have access to this page or the resource was not found.

2) Не хотелось бы разделять блок и Value.

[Wataru]

Dyikot, Проблема при копировании, сначала написал не ответ, а комментарий, но ссылка пострадала в процессе переноса. Вот корректная ссылка: https://chromium.googlesource.com/chromium/src/bas...

Идея в том, что вместо члена класса T, в заводите массив char[sizeof(T)], и делаете reinterpret_cast при работе с ним. В этом случае деструктор и конструктор не будут автоматически вызываться, их надо вызывать вручную, когда вам надо.

[Dyikot]

Wataru, Интересная операция. Еще я подсмотрел реализацию у msvc и там в union упаковано 1 значение. И вот думаю как лучше? Или без разницы? Но ваш вариант нравится больше.

[Wataru]

Dyikot, Вообще, да, для union'ов деструкторы тоже не будут вызываться.
Но мне больше нравится reinterpret_cast, потому что union с одним значением выглядит диковато. И вообще, это использование не по назначению ради побочных эффектов.

Вам надо выделить память, но не вызывать у нее деструктор. Отдельный массив тут выглядит логичнее. Хотя это вксовщина.