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-exception
6//
7//===----------------------------------------------------------------------===//
8
9// UNSUPPORTED: c++03, c++11, c++14, c++17, c++20
10
11// <flat_set>
12
13// template<class K> bool contains(const K& x) const;
14
15#include <cassert>
16#include <flat_set>
17#include <functional>
18#include <string>
19#include <utility>
20#include <deque>
21
22#include "MinSequenceContainer.h"
23#include "../helpers.h"
24#include "test_macros.h"
25#include "min_allocator.h"
26
27// Constraints: The qualified-id Compare::is_transparent is valid and denotes a type.
28template <class M>
29concept CanContains = requires(M m, Transparent<int> k) { m.contains(k); };
30using TransparentSet = std::flat_multiset<int, TransparentComparator>;
31using NonTransparentSet = std::flat_multiset<int, NonTransparentComparator>;
32static_assert(CanContains<TransparentSet>);
33static_assert(CanContains<const TransparentSet>);
34static_assert(!CanContains<NonTransparentSet>);
35static_assert(!CanContains<const NonTransparentSet>);
36
37template <class KeyContainer>
38void test_one() {
39 using Key = typename KeyContainer::value_type;
40 using M = std::flat_multiset<Key, TransparentComparator, KeyContainer>;
41
42 {
43 M m = {"alpha", "beta", "beta", "epsilon", "eta", "eta", "gamma"};
44 ASSERT_SAME_TYPE(decltype(m.contains(Transparent<std::string>{"abc"})), bool);
45 ASSERT_SAME_TYPE(decltype(std::as_const(m).contains(Transparent<std::string>{"b"})), bool);
46 assert(m.contains(Transparent<std::string>{"alpha"}) == true);
47 assert(m.contains(Transparent<std::string>{"beta"}) == true);
48 assert(m.contains(Transparent<std::string>{"epsilon"}) == true);
49 assert(m.contains(Transparent<std::string>{"eta"}) == true);
50 assert(m.contains(Transparent<std::string>{"gamma"}) == true);
51 assert(m.contains(Transparent<std::string>{"al"}) == false);
52 assert(m.contains(Transparent<std::string>{""}) == false);
53 assert(m.contains(Transparent<std::string>{"g"}) == false);
54 }
55 {
56 // empty
57 M m;
58 assert(m.contains(Transparent<std::string>{"gamma"}) == false);
59 assert(m.contains(Transparent<std::string>{"al"}) == false);
60 }
61}
62
63void test() {
64 test_one<std::vector<std::string>>();
65 test_one<std::deque<std::string>>();
66 test_one<MinSequenceContainer<std::string>>();
67 test_one<std::vector<std::string, min_allocator<std::string>>>();
68
69 {
70 bool transparent_used = false;
71 TransparentComparator c(transparent_used);
72 std::flat_multiset<int, TransparentComparator> m(std::sorted_equivalent, {1, 1, 2, 2, 3}, c);
73 assert(!transparent_used);
74 auto b = m.contains(Transparent<int>{3});
75 assert(b);
76 assert(transparent_used);
77 }
78 {
79 // std::string and C string literal
80 using M = std::flat_multiset<std::string, std::less<>>;
81 M m = {"alpha", "beta", "beta", "epsilon", "eta", "gamma"};
82 assert(m.contains("beta"));
83 assert(!m.contains("charlie"));
84 }
85}
86
87int main(int, char**) {
88 test();
89
90 return 0;
91}
92

source code of libcxx/test/std/containers/container.adaptors/flat.multiset/flat.multiset.operations/contains_transparent.pass.cpp