test/std/containers/unord/unord.multiset/unord.multiset.cnstr/move_assign_noexcept.pass.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is dual licensed under the MIT and the University of Illinois Open
   6 // Source Licenses. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9
  10 // <unordered_set>
  11
  12 // unordered_multiset& operator=(unordered_multiset&& c)
  13 //     noexcept(
  14 //          allocator_type::propagate_on_container_move_assignment::value &&
  15 //          is_nothrow_move_assignable<allocator_type>::value &&
  16 //          is_nothrow_move_assignable<key_compare>::value);
  17
  18 // This tests a conforming extension
  19
  20 // UNSUPPORTED: c++98, c++03
  21
  22 #include <unordered_set>
  23 #include <cassert>
  24
  25 #include "MoveOnly.h"
  26 #include "test_allocator.h"
  27
  28 template <class T>
  29 struct some_comp
  30 {
  31     typedef T value_type;
  32     some_comp& operator=(const some_comp&);
  33     bool operator()(const T&, const T&) const { return false; }
  34 };
  35
  36 template <class T>
  37 struct some_hash
  38 {
  39     typedef T value_type;
  40     some_hash();
  41     some_hash(const some_hash&);
  42     some_hash& operator=(const some_hash&);
  43 };
  44
  45 int main()
  46 {
  47     {
  48         typedef std::unordered_multiset<MoveOnly> C;
  49         static_assert(std::is_nothrow_move_assignable<C>::value, "");
  50     }
  51     {
  52         typedef std::unordered_multiset<MoveOnly, std::hash<MoveOnly>,
  53                            std::equal_to<MoveOnly>, test_allocator<MoveOnly>> C;
  54         static_assert(!std::is_nothrow_move_assignable<C>::value, "");
  55     }
  56     {
  57         typedef std::unordered_multiset<MoveOnly, std::hash<MoveOnly>,
  58                           std::equal_to<MoveOnly>, other_allocator<MoveOnly>> C;
  59         static_assert(std::is_nothrow_move_assignable<C>::value, "");
  60     }
  61     {
  62         typedef std::unordered_multiset<MoveOnly, some_hash<MoveOnly>> C;
  63         static_assert(!std::is_nothrow_move_assignable<C>::value, "");
  64     }
  65     {
  66         typedef std::unordered_multiset<MoveOnly, std::hash<MoveOnly>,
  67                                                          some_comp<MoveOnly>> C;
  68         static_assert(!std::is_nothrow_move_assignable<C>::value, "");
  69     }
  70 }