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