std::ranges:: destroy_at

Если T не является типом массива, вызывает деструктор объекта, на который указывает p , как если бы с помощью p - > ~T ( ) . В противном случае рекурсивно уничтожает элементы * p в порядке, как если бы вызывая std:: destroy ( std:: begin ( * p ) , std:: end ( * p ) ) .

Описываемые на этой странице функциональные сущности являются algorithm function objects (неформально известными как niebloids ), то есть:

• Явные списки аргументов шаблона не могут быть указаны при вызове любого из них.
• Ни один из них не видим для argument-dependent lookup .
• Когда любой из них найден с помощью normal unqualified lookup как имя слева от оператора вызова функции, argument-dependent lookup блокируется.

Параметры

Возможная реализация

struct destroy_at_fn
{
    template<std::destructible T>
    constexpr void operator()(T* p) const noexcept
    {
        if constexpr (std::is_array_v<T>)
            for (auto& elem : *p)
                operator()(std::addressof(elem));
        else
            p->~T();
    }
};
inline constexpr destroy_at_fn destroy_at{};

Примечания

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

Когда destroy_at вызывается в процессе вычисления константного выражения e , аргумент p должен указывать на объект, время жизни которого началось в процессе вычисления e .

Пример

#include <iostream>
#include <memory>
#include <new>
struct Tracer
{
    int value;
    ~Tracer() { std::cout << value << " destructed\n"; }
};
int main()
{
    alignas(Tracer) unsigned char buffer[sizeof(Tracer) * 8];
    for (int i = 0; i != 8; ++i)
        new(buffer + sizeof(Tracer) * i) Tracer{i}; // manually construct objects
    auto ptr = std::launder(reinterpret_cast<Tracer*>(buffer));
    for (int i = 0; i != 8; ++i)
        std::ranges::destroy_at(ptr + i);
}

0 destructed
1 destructed
2 destructed
3 destructed
4 destructed
5 destructed
6 destructed
7 destructed

Смотрите также