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 // <string> 11 12 // basic_string(basic_string&&) 13 // noexcept(is_nothrow_move_constructible<allocator_type>::value); 14 15 // This tests a conforming extension 16 17 #include <string> 18 #include <cassert> 19 20 #include "test_macros.h" 21 #include "test_allocator.h" 22 23 template <class T> 24 struct some_alloc 25 { 26 typedef T value_type; 27 some_alloc(const some_alloc&); 28 }; 29 30 int main() 31 { 32 #if __has_feature(cxx_noexcept) 33 { 34 typedef std::string C; 35 static_assert(std::is_nothrow_move_constructible<C>::value, ""); 36 } 37 { 38 typedef std::basic_string<char, std::char_traits<char>, test_allocator<char>> C; 39 static_assert(std::is_nothrow_move_constructible<C>::value, ""); 40 } 41 { 42 typedef std::basic_string<char, std::char_traits<char>, some_alloc<char>> C; 43 #if TEST_STD_VER <= 14 44 static_assert(!std::is_nothrow_move_constructible<C>::value, ""); 45 #else 46 static_assert( std::is_nothrow_move_constructible<C>::value, ""); 47 #endif 48 } 49 #endif 50 } 51