swap.md

swap

• memory[meta header]
• std[meta namespace]
• polymorphic[meta class]
• function[meta id-type]
• cpp26[meta cpp]

constexpr void swap(polymorphic& 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の場合はアロケータも交換する。

例外

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

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

• allocator_traits[link /reference/memory/allocator_traits.md]

例

#include <cassert>
#include <memory>

struct Base { virtual ~Base() = default; virtual int f() const = 0; };
struct D1 : Base { int f() const override { return 1; } };
struct D2 : Base { int f() const override { return 2; } };

int main()
{
  std::polymorphic<Base> a{std::in_place_type<D1>};
  std::polymorphic<Base> b{std::in_place_type<D2>};
  a.swap(b);
  assert(a->f() == 2 && b->f() == 1);
}

• std::polymorphic[color ff0000]
• std::in_place_type[link /reference/utility/in_place_type_t.md]

出力

バージョン

言語

• C++26

処理系

• Clang: 22 [mark noimpl]
• GCC: 16.1 [mark verified]
• Visual C++: 2026 Update 2 [mark noimpl]

関連項目

• std::polymorphic

参照

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