53 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// array12 13#include <type_traits>14 15#include "test_macros.h"16 17template <class T>18void test_array_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_array()31{32 test_array_imp<T>();33 test_array_imp<const T>();34 test_array_imp<volatile T>();35 test_array_imp<const volatile T>();36}37 38typedef char array[3];39typedef const char const_array[3];40typedef char incomplete_array[];41 42class incomplete_type;43 44int main(int, char**)45{46 test_array<array>();47 test_array<const_array>();48 test_array<incomplete_array>();49 test_array<incomplete_type[]>();50 51 return 0;52}53