std::indirect::swap(C++26)

constexpr void swap(indirect& other) noexcept(see below);

概要

*thisとotherの状態を交換する。所有オブジェクトまたは無効値状態を交換する。

事前条件

allocator_traits<Allocator>::propagate_on_container_swap::valueがtrueの場合、AllocatorはCpp17Swappable要件を満たすこと。そうでない場合、get_allocator() == other.get_allocator()がtrueであること。

効果

*thisとotherの状態（所有オブジェクトまたは無効値状態）を交換する。propagate_on_container_swap::valueがtrueの場合はアロケータも交換する。所有オブジェクトに対して直接swapを呼ぶわけではない。

例外

以下と等価なnoexcept指定を持つ：

noexcept(allocator_traits<Allocator>::propagate_on_container_swap::value ||
         allocator_traits<Allocator>::is_always_equal::value)

例

#include <cassert>
#include <memory>

int main()
{
  std::indirect<int> a{1};
  std::indirect<int> b{2};
  a.swap(b);
  assert(*a == 2 && *b == 1);
}

出力

バージョン

言語

• C++26

処理系

• Clang: 22 ❌
• GCC: 16.1 ✅
• Visual C++: 2026 Update 2 ❌

関連項目

• std::indirect

参照

• P3019R14 indirect and polymorphic: Vocabulary Types for Composite Class Design