91 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// UNSUPPORTED: c++03, c++11, c++1410 11// <iterator>12// template <class C> constexpr auto size(const C& c) -> decltype(c.size()); // C++1713// template <class T, size_t N> constexpr size_t size(const T (&array)[N]) noexcept; // C++1714 15#include <iterator>16#include <cassert>17#include <vector>18#include <array>19#include <list>20#include <initializer_list>21 22#include "test_macros.h"23 24#if TEST_STD_VER > 1425#include <string_view>26#endif27 28 29template<typename C>30void test_container( C& c)31{32// Can't say noexcept here because the container might not be33 assert ( std::size(c) == c.size());34}35 36template<typename C>37void test_const_container( const C& c )38{39// Can't say noexcept here because the container might not be40 assert ( std::size(c) == c.size());41}42 43template<typename T>44void test_const_container( const std::initializer_list<T>& c)45{46 LIBCPP_ASSERT_NOEXCEPT(std::size(c)); // our std::size is conditionally noexcept47 assert ( std::size(c) == c.size());48}49 50template<typename T>51void test_container( std::initializer_list<T>& c )52{53 LIBCPP_ASSERT_NOEXCEPT(std::size(c)); // our std::size is conditionally noexcept54 assert ( std::size(c) == c.size());55}56 57template<typename T, std::size_t Sz>58void test_const_array( const T (&array)[Sz] )59{60 ASSERT_NOEXCEPT(std::size(array));61 assert ( std::size(array) == Sz );62}63 64int main(int, char**)65{66 std::vector<int> v; v.push_back(1);67 std::list<int> l; l.push_back(2);68 std::array<int, 1> a; a[0] = 3;69 std::initializer_list<int> il = { 4 };70 test_container ( v );71 test_container ( l );72 test_container ( a );73 test_container ( il );74 75 test_const_container ( v );76 test_const_container ( l );77 test_const_container ( a );78 test_const_container ( il );79 80#if TEST_STD_VER > 1481 std::string_view sv{"ABC"};82 test_container ( sv );83 test_const_container ( sv );84#endif85 86 static constexpr int arrA [] { 1, 2, 3 };87 test_const_array ( arrA );88 89 return 0;90}91