llvm-project
56 строк · 1.5 Кб
1//===----------------------------------------------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9// <set>
10
11// set(set&&)
12// noexcept(is_nothrow_move_constructible<allocator_type>::value &&
13// is_nothrow_move_constructible<key_compare>::value);
14
15// This tests a conforming extension
16
17// UNSUPPORTED: c++03
18
19#include <set>20#include <cassert>21
22#include "test_macros.h"23#include "MoveOnly.h"24#include "test_allocator.h"25
26template <class T>27struct some_comp28{
29typedef T value_type;30some_comp(const some_comp&);31bool operator()(const T&, const T&) const { return false; }32};33
34int main(int, char**)35{
36#if defined(_LIBCPP_VERSION)37{38typedef std::set<MoveOnly> C;39static_assert(std::is_nothrow_move_constructible<C>::value, "");40}41{42typedef std::set<MoveOnly, std::less<MoveOnly>, test_allocator<MoveOnly>> C;43static_assert(std::is_nothrow_move_constructible<C>::value, "");44}45{46typedef std::set<MoveOnly, std::less<MoveOnly>, other_allocator<MoveOnly>> C;47static_assert(std::is_nothrow_move_constructible<C>::value, "");48}49#endif // _LIBCPP_VERSION50{51typedef std::set<MoveOnly, some_comp<MoveOnly>> C;52static_assert(!std::is_nothrow_move_constructible<C>::value, "");53}54
55return 0;56}
57