1 //===----------------------------------------------------------------------===//
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-exception
7 //===----------------------------------------------------------------------===//
9 // UNSUPPORTED: c++03, c++11, c++14, c++17
11 // template <class I1, class I2>
12 // struct in_in_result;
16 #include <type_traits>
23 // no implicit conversion
24 static_assert(!std::is_constructible_v
<std::ranges::in_in_result
<A
, A
>, std::ranges::in_in_result
<int, int>>);
29 // implicit conversion
30 static_assert(std::is_constructible_v
<std::ranges::in_in_result
<B
, B
>, std::ranges::in_in_result
<int, int>>);
31 static_assert(std::is_constructible_v
<std::ranges::in_in_result
<B
, B
>, std::ranges::in_in_result
<int, int>&>);
32 static_assert(std::is_constructible_v
<std::ranges::in_in_result
<B
, B
>, const std::ranges::in_in_result
<int, int>>);
33 static_assert(std::is_constructible_v
<std::ranges::in_in_result
<B
, B
>, const std::ranges::in_in_result
<int, int>&>);
38 static_assert(!std::is_constructible_v
<std::ranges::in_in_result
<C
, C
>, std::ranges::in_in_result
<int, int>&>);
40 // has to be convertible via const&
41 static_assert(std::is_convertible_v
<std::ranges::in_in_result
<int, int>&, std::ranges::in_in_result
<long, long>>);
42 static_assert(std::is_convertible_v
<const std::ranges::in_in_result
<int, int>&, std::ranges::in_in_result
<long, long>>);
43 static_assert(std::is_convertible_v
<std::ranges::in_in_result
<int, int>&&, std::ranges::in_in_result
<long, long>>);
44 static_assert(std::is_convertible_v
<const std::ranges::in_in_result
<int, int>&&, std::ranges::in_in_result
<long, long>>);
46 // should be move constructible
47 static_assert(std::is_move_constructible_v
<std::ranges::in_in_result
<MoveOnly
, int>>);
48 static_assert(std::is_move_constructible_v
<std::ranges::in_in_result
<int, MoveOnly
>>);
50 struct NotConvertible
{};
51 // conversions should not work if there is no conversion
52 static_assert(!std::is_convertible_v
<std::ranges::in_in_result
<NotConvertible
, int>, std::ranges::in_in_result
<int, int>>);
53 static_assert(!std::is_convertible_v
<std::ranges::in_in_result
<int, NotConvertible
>, std::ranges::in_in_result
<int, int>>);
56 struct ConstructibleFrom
{
57 constexpr ConstructibleFrom(T c
) : content
{c
} {}
61 constexpr bool test() {
63 std::ranges::in_in_result
<int, double> res
{10L, 0.};
64 assert(res
.in1
== 10);
65 assert(res
.in2
== 0.);
66 std::ranges::in_in_result
<ConstructibleFrom
<int>, ConstructibleFrom
<double>> res2
= res
;
67 assert(res2
.in1
.content
== 10);
68 assert(res2
.in2
.content
== 0.);
71 std::ranges::in_in_result
<MoveOnly
, int> res
{MoveOnly
{}, 0};
72 assert(res
.in1
.get() == 1);
73 [[maybe_unused
]] auto res2
= static_cast<std::ranges::in_in_result
<MoveOnly
, int>>(std::move(res
));
74 assert(res
.in1
.get() == 0);
77 auto [in1
, in2
] = std::ranges::in_in_result
<int, int>{1, 2};
85 int main(int, char**) {
87 static_assert(test());