74 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// <valarray>12 13// template<class T, size_t cnt> valarray(const T(&)[cnt], size_t) -> valarray<T>;14 15#include <valarray>16 17#include "test_macros.h"18 19int main(int, char**)20{21 {22 // From (initializer_list<T>)23 std::valarray v = {1, 2, 3, 4, 5};24 ASSERT_SAME_TYPE(decltype(v), std::valarray<int>);25 }26 27 {28 // From (const T(&)[N], size_t)29 long a[] = {1, 2, 3, 4, 5};30 std::valarray v(a, 5);31 ASSERT_SAME_TYPE(decltype(v), std::valarray<long>);32 }33 34 {35 // From (const T&, size_t)36 long a[] = {1, 2, 3, 4, 5};37 std::valarray v(&a[0], 5);38 // Surprising but true.39 ASSERT_SAME_TYPE(decltype(v), std::valarray<long*>);40 }41 42 {43 // From (slice_array<T>)44 std::valarray<long> v{1,2,3,4,5};45 std::valarray v2 = v[std::slice(2,3,1)];46 static_assert(std::is_same_v<decltype(v2), std::valarray<long>>);47 }48 49 {50 // From (gslice_array<T>)51 std::valarray<long> v{1,2,3,4,5};52 std::valarray v2 = v[std::gslice(0, {5}, {1})];53 static_assert(std::is_same_v<decltype(v2), std::valarray<long>>);54 }55 56 {57 // From (mask_array<T>)58 std::valarray<long> v = {1, 2, 3, 4, 5};59 std::valarray<bool> m = {true, false, true, false, true};60 std::valarray v2 = v[m];61 static_assert(std::is_same_v<decltype(v2), std::valarray<long>>);62 }63 64 {65 // From (indirect_array<T>)66 std::valarray<long> v = {1, 2, 3, 4, 5};67 std::valarray<std::size_t> i = {1, 2, 3};68 std::valarray v2 = v[i];69 static_assert(std::is_same_v<decltype(v2), std::valarray<long>>);70 }71 72 return 0;73}74