73 lines · cpp
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-exception6//7//===----------------------------------------------------------------------===//8 9// type_traits10 11// is_move_assignable12 13#include <type_traits>14#include "test_macros.h"15 16template <class T>17void test_is_move_assignable()18{19 static_assert(( std::is_move_assignable<T>::value), "");20#if TEST_STD_VER > 1421 static_assert(( std::is_move_assignable_v<T>), "");22#endif23}24 25template <class T>26void test_is_not_move_assignable()27{28 static_assert((!std::is_move_assignable<T>::value), "");29#if TEST_STD_VER > 1430 static_assert((!std::is_move_assignable_v<T>), "");31#endif32}33 34class Empty35{36};37 38class NotEmpty39{40public:41 virtual ~NotEmpty();42};43 44union Union {};45 46struct bit_zero47{48 int : 0;49};50 51struct A52{53 A();54};55 56int main(int, char**)57{58 test_is_move_assignable<int> ();59 test_is_move_assignable<A> ();60 test_is_move_assignable<bit_zero> ();61 test_is_move_assignable<Union> ();62 test_is_move_assignable<NotEmpty> ();63 test_is_move_assignable<Empty> ();64 65 test_is_not_move_assignable<const int> ();66 test_is_not_move_assignable<int[]> ();67 test_is_not_move_assignable<int[3]> ();68 69 test_is_not_move_assignable<void> ();70 71 return 0;72}73