File: test_insertion.cpp

package info (click to toggle)
boost1.90 1.90.0-1
  • links: PTS, VCS
  • area: main
  • in suites:
  • size: 593,120 kB
  • sloc: cpp: 4,190,908; xml: 196,648; python: 34,618; ansic: 23,145; asm: 5,468; sh: 3,774; makefile: 1,161; perl: 1,020; sql: 728; ruby: 676; yacc: 478; java: 77; lisp: 24; csh: 6
file content (108 lines) | stat: -rw-r--r-- 2,669 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
/* Copyright 2025 Joaquin M Lopez Munoz.
 * Distributed under the Boost Software License, Version 1.0.
 * (See accompanying file LICENSE_1_0.txt or copy at
 * http://www.boost.org/LICENSE_1_0.txt)
 *
 * See https://www.boost.org/libs/bloom for library home page.
 */

#include <array>
#include <boost/core/lightweight_test.hpp>
#include <boost/mp11/algorithm.hpp>
#include <utility>
#include "test_types.hpp"
#include "test_utilities.hpp"

using namespace test_utilities;

template<typename T>
struct multiarg_constructed
{
  multiarg_constructed()=default;
  template<typename Arg1,typename Arg2,typename... Args>
  multiarg_constructed(Arg1&& arg,Arg2&&,Args&&...):
    x{std::forward<Arg1>(arg)}{}
  multiarg_constructed(const multiarg_constructed&)=delete;
  multiarg_constructed(multiarg_constructed&&)=delete;
  multiarg_constructed& operator=(const multiarg_constructed&)=default;

  operator const T&()const{return x;}

  T x;
};

template<typename Functor>
struct transparent:Functor
{
  using is_transparent=void;
  using Functor::Functor;
};

template<typename Filter,typename ValueFactory>
void test_insertion()
{
  using filter=rehash_filter<
    revalue_filter<Filter,multiarg_constructed<typename Filter::value_type>>,
    transparent<typename Filter::hasher>
  >;
  using value_type=typename filter::value_type;

  ValueFactory fac;

  {
    filter     f(10000);
    value_type x{fac(),0};
    f.insert(const_cast<value_type&>(x));
    BOOST_TEST(f.may_contain(x));
  }
  {
    filter     f(10000);
    value_type x{fac(),0};
    f.insert(std::move(x));
    BOOST_TEST(f.may_contain(x));
  }
  {
    filter f(10000);
    auto   x=fac();
    f.insert(x); /* transparent insert */
    BOOST_TEST(f.may_contain(x));
  }
  {
    filter                    f(10000);
    std::array<value_type,10> input;
    for(auto& x:input)x={fac(),0};
    f.insert(input.begin(),input.end());
    BOOST_TEST(may_contain(f,input));
  }
  {
    filter                         f(10000);
    std::array<decltype(fac()),10> input;
    for(auto& x:input)x=fac();
    f.insert(input.begin(),input.end()); /* transparent insert */
    BOOST_TEST(may_contain(f,input));
  }
  {
    filter                            f(10000);
    std::initializer_list<value_type> il={{fac(),0},{fac(),0},{fac(),0}};
    f.insert(il);
    BOOST_TEST(may_contain(f,il));
  }
}

struct lambda
{
  template<typename T>
  void operator()(T)
  {
    using filter=typename T::type;
    using value_type=typename filter::value_type;

    test_insertion<filter,value_factory<value_type>>();
  }
};

int main()
{
  boost::mp11::mp_for_each<identity_test_types>(lambda{});
  return boost::report_errors();
}