std::ranges:: destroy_at

T が配列型でない場合、 p が指すオブジェクトのデストラクタを、 p - > ~T ( ) によって呼び出す。それ以外の場合、 * p の要素を順次再帰的に破棄する。これは std:: destroy ( std:: begin ( * p ) , std:: end ( * p ) ) を呼び出すのと同等である。

このページで説明されている関数ライクなエンティティは、 アルゴリズム関数オブジェクト (非公式には niebloids として知られる) です。つまり：

• 明示的なテンプレート引数リストは、いずれかを呼び出す際に指定することはできません。
• いずれも 実引数依存の名前探索 では可視になりません。
• いずれかが関数呼び出し演算子の左側の名前として 通常の非修飾名前探索 によって見つかった場合、 実引数依存の名前探索 は抑制されます。

パラメータ

実装例

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

関連項目