File: test_combination.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 (117 lines) | stat: -rw-r--r-- 2,877 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
109
110
111
112
113
114
115
116
117
/* 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 <boost/core/lightweight_test.hpp>
#include <boost/mp11/algorithm.hpp>
#include <vector>
#include "test_types.hpp"
#include "test_utilities.hpp"

using namespace test_utilities;

template<typename Filter,typename ValueFactory>
void test_combination()
{
  using filter=Filter;
  using value_type=typename filter::value_type;

  std::vector<value_type> input1,input2;
  ValueFactory            fac;
  for(int i=0;i<10;++i){
    input1.push_back(fac());
    input2.push_back(fac());
  }

#if defined(__clang__)&&defined(__has_warning)
#if __has_warning("-Wself-assign-overloaded")
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wself-assign-overloaded"
#endif
#endif
  {
    filter f{0};
    f&=f;
    f|=f;
  }
  {
    filter f{input1.begin(),input1.end(),1000},
           f_copy{f};

    f&=f;
    BOOST_TEST(f==f_copy);
    f|=f;
    BOOST_TEST(f==f_copy);
  }
#if defined(__clang__)&&defined(__has_warning)
#if __has_warning("-Wself-assign-overloaded")
#pragma clang diagnostic pop
#endif
#endif

  {
    filter f1{input1.begin(),input1.end(),1000},
           f1_copy{f1},
           f2{input2.begin(),input2.end(),f1.capacity()+1};

    BOOST_TEST_THROWS(f1&=filter{},std::invalid_argument);
    BOOST_TEST(f1==f1_copy);
    BOOST_TEST_THROWS(f1&=f2,std::invalid_argument);
    BOOST_TEST(f1==f1_copy);
    BOOST_TEST_THROWS(f1|=filter{},std::invalid_argument);
    BOOST_TEST(f1==f1_copy);
    BOOST_TEST_THROWS(f1|=f2;,std::invalid_argument);
    BOOST_TEST(f1==f1_copy);
  }
  {
    filter f1{input1.begin(),input1.end(),1000},
           f1_copy{f1},
           empty{f1.capacity()};

    filter& rf1=(f1|=empty);
    BOOST_TEST_EQ(&rf1,&f1);
    BOOST_TEST(f1==f1_copy);
    filter& rf2=(f1&=empty);
    BOOST_TEST_EQ(&rf2,&f1);
    BOOST_TEST(f1==empty);
  }
  {
    filter       f1{input1.begin(),input1.end(),1000};
    const filter f2{input2.begin(),input2.end(),f1.capacity()};

    f1.insert(input2.begin(),input2.end());
    f1&=f2;
    BOOST_TEST(may_contain(f1,input2));
    BOOST_TEST(may_not_contain(f1,input1));
  }
  {
    filter       f1{input1.begin(),input1.end(),1000};
    const filter f2{input2.begin(),input2.end(),f1.capacity()};

    f1|=f2;
    BOOST_TEST(may_contain(f1,input1));
    BOOST_TEST(may_contain(f1,input2));
  }
}

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

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

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