50 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// union12 13#include <type_traits>14 15#include "test_macros.h"16 17template <class T>18void test_union_imp()19{20 static_assert(!std::is_reference<T>::value, "");21 static_assert(!std::is_arithmetic<T>::value, "");22 static_assert(!std::is_fundamental<T>::value, "");23 static_assert( std::is_object<T>::value, "");24 static_assert(!std::is_scalar<T>::value, "");25 static_assert( std::is_compound<T>::value, "");26 static_assert(!std::is_member_pointer<T>::value, "");27}28 29template <class T>30void test_union()31{32 test_union_imp<T>();33 test_union_imp<const T>();34 test_union_imp<volatile T>();35 test_union_imp<const volatile T>();36}37 38union Union39{40 int _;41 double __;42};43 44int main(int, char**)45{46 test_union<Union>();47 48 return 0;49}50