• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // -----------------------------------------------------------
2 //              Copyright (c) 2001 Jeremy Siek
3 //        Copyright (c) 2003-2006, 2008 Gennaro Prota
4 //             Copyright (c) 2014 Ahmed Charles
5 //            Copyright (c) 2014 Riccardo Marcangelo
6 //             Copyright (c) 2018 Evgeny Shulgin
7 //
8 // Distributed under the Boost Software License, Version 1.0.
9 //    (See accompanying file LICENSE_1_0.txt or copy at
10 //          http://www.boost.org/LICENSE_1_0.txt)
11 //
12 // -----------------------------------------------------------
13 
14 #ifndef BOOST_BITSET_TEST_HPP_GP_20040319
15 #define BOOST_BITSET_TEST_HPP_GP_20040319
16 
17 #include <boost/config.hpp>
18 #if !defined (BOOST_NO_STD_LOCALE)
19 # include <locale>
20 #endif
21 
22 #include <vector>
23 #include <fstream> // used for operator<<
24 #include <string>    // for (basic_string and) getline()
25 #include <algorithm> // for std::min
26 #include <assert.h>  // <cassert> is sometimes macro-guarded :-(
27 
28 #include <boost/limits.hpp>
29 #include <boost/dynamic_bitset/dynamic_bitset.hpp>
30 #include <boost/core/lightweight_test.hpp>
31 #include <boost/filesystem.hpp>
32 
33 template <typename Block>
nth_bit(Block num,std::size_t n)34 inline bool nth_bit(Block num, std::size_t n)
35 {
36 #ifndef NDEBUG
37 #ifdef BOOST_BORLANDC
38   // Borland deduces Block as a const qualified type,
39   // and thus finds numeric_limits<Block> to be zero :(
40   //  (though not directly relevant here, see also
41   //   lib issue 559)
42   int block_width = sizeof(Block) * CHAR_BIT;
43 #else
44   int block_width = std::numeric_limits<Block>::digits;
45 #endif
46   assert(n < (std::size_t) block_width);
47 #endif
48 
49   return (num >> n) & 1;
50 }
51 
52 // A long, 'irregular', string useful for various tests
get_long_string()53 std::string get_long_string()
54 {
55   const char * const p =
56   //    6         5         4         3         2         1
57   // 3210987654321098765432109876543210987654321098765432109876543210
58     "1110011100011110000011110000011111110000000000000110101110000000"
59     "1010101000011100011101010111110000101011111000001111100011100011"
60     "0000000110000001000000111100000111100010101111111000000011100011"
61     "1111111111111111111111111111111111111111111111111111111111111100"
62     "1000001100000001111111111111110000000011111000111100001010100000"
63     "101000111100011010101110011011000000010";
64 
65   return std::string(p);
66 }
67 
68 class scoped_temp_file
69 {
70 public:
scoped_temp_file()71   scoped_temp_file()
72     : m_path(boost::filesystem::unique_path())
73   {
74   }
75 
~scoped_temp_file()76   ~scoped_temp_file()
77   {
78     boost::filesystem::remove(m_path);
79   }
80 
path() const81   const boost::filesystem::path& path() const
82   {
83     return m_path;
84   }
85 
86 private:
87   boost::filesystem::path m_path;
88 };
89 
90 #if defined BOOST_OLD_IOSTREAMS || defined BOOST_NO_STD_LOCALE
91 template <typename Stream>
is_one_or_zero(const Stream &,char c)92 bool is_one_or_zero(const Stream & /*s*/, char c)
93 {
94   return c == '1' || c == '0';
95 }
96 template <typename Stream>
is_white_space(const Stream &,char c)97 bool is_white_space(const Stream & /*s*/, char c)
98 {
99   return std::isspace(c);
100 }
101 #else
102 template <typename Stream, typename Ch>
is_one_or_zero(const Stream & s,Ch c)103 bool is_one_or_zero(const Stream& s, Ch c)
104 {
105   typedef typename Stream::traits_type Tr;
106   const Ch zero = s.widen('0');
107   const Ch one  = s.widen('1');
108 
109   return Tr::eq(c, one) || Tr::eq(c, zero);
110 }
111 template <typename Stream, typename Ch>
is_white_space(const Stream & s,Ch c)112 bool is_white_space(const Stream & s, Ch c)
113 {
114   // NOTE: the using directive is to satisfy Borland 5.6.4
115   //       with its own library (STLport), which doesn't
116   //       like std::isspace(c, loc)
117   using namespace std;
118   return isspace(c, s.getloc());
119 }
120 #endif // defined BOOST_OLD_IOSTREAMS
121 
122 
123 template <typename Stream>
has_flags(const Stream & s,std::ios::iostate flags)124 bool has_flags(const Stream& s, std::ios::iostate flags)
125 {
126   return (s.rdstate() & flags) != std::ios::goodbit;
127 }
128 
129 
130 // constructors
131 //   default (can't do this generically)
132 
133 template <typename Bitset>
134 struct bitset_test {
135 
136   typedef typename Bitset::block_type Block;
137   BOOST_STATIC_CONSTANT(int, bits_per_block = Bitset::bits_per_block);
138 
139   // from unsigned long
140   //
141   // Note: this is templatized so that we check that the do-the-right-thing
142   // constructor dispatch is working correctly.
143   //
144   template <typename NumBits, typename Value>
from_unsigned_longbitset_test145   static void from_unsigned_long(NumBits num_bits, Value num)
146   {
147     // An object of size sz = num_bits is constructed:
148     // - the first m bit positions are initialized to the corresponding
149     //   bit values in num (m being the smaller of sz and ulong_width)
150     //
151     // - any remaining bit positions are initialized to zero
152     //
153 
154     Bitset b(static_cast<typename Bitset::size_type>(num_bits), static_cast<unsigned long>(num));
155 
156     // OK, we can now cast to size_type
157     typedef typename Bitset::size_type size_type;
158     const size_type sz = static_cast<size_type>(num_bits);
159 
160     BOOST_TEST(b.size() == sz);
161 
162     const std::size_t ulong_width = std::numeric_limits<unsigned long>::digits;
163     size_type m = sz;
164     if (ulong_width < sz)
165         m = ulong_width;
166 
167     size_type i = 0;
168     for ( ; i < m; ++i)
169       BOOST_TEST(b.test(i) == nth_bit(static_cast<unsigned long>(num), i));
170     for ( ; i < sz; ++i)
171       BOOST_TEST(b.test(i) == 0);
172   }
173 
174   // from string
175   //
176   // Note: The corresponding function in dynamic_bitset (constructor
177   // from a string) has several default arguments. Actually we don't
178   // test the correct working of those defaults here (except for the
179   // default of num_bits). I'm not sure what to do in this regard.
180   //
181   // Note2: the default argument expression for num_bits doesn't use
182   //        static_cast, to avoid a gcc 2.95.3 'sorry, not implemented'
183   //
184   template <typename Ch, typename Tr, typename Al>
from_stringbitset_test185   static void from_string(const std::basic_string<Ch, Tr, Al>& str,
186                           std::size_t pos,
187                           std::size_t max_char,
188                           std::size_t num_bits = (std::size_t)(-1))
189   {
190 
191       std::size_t rlen = (std::min)(max_char, str.size() - pos);
192 
193       // The resulting size N of the bitset is num_bits, if
194       // that is different from the default arg, rlen otherwise.
195       // Put M = the smaller of N and rlen, then character
196       // position pos + M - 1 corresponds to bit position zero.
197       // Subsequent decreasing character positions correspond to
198       // increasing bit positions.
199 
200       const bool size_upon_string = num_bits == (std::size_t)(-1);
201       Bitset b = size_upon_string ?
202                     Bitset(str, pos, max_char)
203                   : Bitset(str, pos, max_char, num_bits);
204 
205       const std::size_t actual_size = size_upon_string? rlen : num_bits;
206       BOOST_TEST(b.size() == actual_size);
207       std::size_t m = (std::min)(num_bits, rlen);
208       std::size_t j;
209       for (j = 0; j < m; ++j)
210           BOOST_TEST(b[j] == (str[pos + m - 1 - j] == '1'));
211       // If M < N, remaining bit positions are zero
212       for (; j < actual_size; ++j)
213           BOOST_TEST(b[j] == 0);
214 
215 
216   }
217 
to_block_rangebitset_test218   static void to_block_range(const Bitset & b /*, BlockOutputIterator result*/)
219   {
220     typedef typename Bitset::size_type size_type;
221 
222     Block sentinel = 0xF0;
223     int s = 8; // number of sentinels (must be *even*)
224     int offset = s/2;
225     std::vector<Block> v(b.num_blocks() + s, sentinel);
226 
227     boost::to_block_range(b, v.begin() + offset);
228 
229     assert(v.size() >= (size_type)s && (s >= 2) && (s % 2 == 0));
230     // check sentinels at both ends
231     for(int i = 0; i < s/2; ++i) {
232         BOOST_TEST(v[i] == sentinel);
233         BOOST_TEST(v[v.size()-1-i] == sentinel);
234     }
235 
236     typename std::vector<Block>::const_iterator p = v.begin() + offset;
237     for(size_type n = 0; n < b.num_blocks(); ++n, ++p) {
238       typename Bitset::block_width_type i = 0;
239       for(; i < bits_per_block; ++i) {
240         size_type bit = n * bits_per_block + i;
241         BOOST_TEST(nth_bit(*p, i) == (bit < b.size()? b[bit] : 0));
242       }
243     }
244   }
245 
246   // TODO from_block_range (below) should be splitted
247 
248   // PRE: std::equal(first1, last1, first2) == true
from_block_rangebitset_test249   static void from_block_range(const std::vector<Block>& blocks)
250   {
251     { // test constructor from block range
252       Bitset bset(blocks.begin(), blocks.end());
253       std::size_t n = blocks.size();
254       for (std::size_t b = 0; b < n; ++b) {
255         typename Bitset::block_width_type i = 0;
256         for (; i < bits_per_block; ++i) {
257           std::size_t bit = b * bits_per_block + i;
258           BOOST_TEST(bset[bit] == nth_bit(blocks[b], i));
259         }
260       }
261       BOOST_TEST(bset.size() == n * bits_per_block);
262     }
263     { // test boost::from_block_range
264       const typename Bitset::size_type n = blocks.size();
265       Bitset bset(n * bits_per_block);
266       boost::from_block_range(blocks.begin(), blocks.end(), bset);
267       for (std::size_t b = 0; b < n; ++b) {
268         typename Bitset::block_width_type i = 0;
269         for (; i < bits_per_block; ++i) {
270           std::size_t bit = b * bits_per_block + i;
271           BOOST_TEST(bset[bit] == nth_bit(blocks[b], i));
272         }
273       }
274       BOOST_TEST(n <= bset.num_blocks());
275     }
276   }
277 
278   // copy constructor (absent from std::bitset)
copy_constructorbitset_test279   static void copy_constructor(const Bitset& b)
280   {
281     Bitset copy(b);
282     BOOST_TEST(b == copy);
283 
284     // Changes to the copy do not affect the original
285     if (b.size() > 0) {
286       std::size_t pos = copy.size() / 2;
287       copy.flip(pos);
288       BOOST_TEST(copy[pos] != b[pos]);
289     }
290   }
291 
292   // copy assignment operator (absent from std::bitset)
copy_assignment_operatorbitset_test293   static void copy_assignment_operator(const Bitset& lhs, const Bitset& rhs)
294   {
295     Bitset b(lhs);
296     b = rhs;
297     b = b; // self assignment check
298     BOOST_TEST(b == rhs);
299 
300     // Changes to the copy do not affect the original
301     if (b.size() > 0) {
302       std::size_t pos = b.size() / 2;
303       b.flip(pos);
304       BOOST_TEST(b[pos] != rhs[pos]);
305     }
306   }
307 
max_sizebitset_test308   static void max_size(const Bitset& b)
309   {
310     BOOST_TEST(b.max_size() > 0);
311   }
312 
313 #ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
314 
315   // move constructor (absent from std::bitset)
move_constructorbitset_test316   static void move_constructor(const Bitset& b)
317   {
318     Bitset copy(boost::move(b));
319     BOOST_TEST(b == copy);
320   }
321 
322   // move assignment operator (absent from std::bitset)
move_assignment_operatorbitset_test323   static void move_assignment_operator(const Bitset& lhs, const Bitset& rhs)
324   {
325     Bitset b(lhs);
326     Bitset c(rhs);
327     b = boost::move(c);
328     b = boost::move(b); // self assignment check
329     BOOST_TEST(b == rhs);
330   }
331 
332 #endif // BOOST_NO_CXX11_RVALUE_REFERENCES
333 
swapbitset_test334   static void swap(const Bitset& lhs, const Bitset& rhs)
335   {
336     // bitsets must be swapped
337     Bitset copy1(lhs);
338     Bitset copy2(rhs);
339     copy1.swap(copy2);
340 
341     BOOST_TEST(copy1 == rhs);
342     BOOST_TEST(copy2 == lhs);
343 
344     // references must be stable under a swap
345     for(typename Bitset::size_type i = 0; i < lhs.size(); ++i) {
346       Bitset b1(lhs);
347       Bitset b2(rhs);
348       typename Bitset::reference ref = b1[i];
349       bool x = ref;
350       if (i < b2.size())
351         b2[i] = !x; // make sure b2[i] is different
352       b1.swap(b2);
353       BOOST_TEST(b2[i] == x); // now it must be equal..
354       b2.flip(i);
355       BOOST_TEST(ref == b2[i]); // .. and ref must be into b2
356       BOOST_TEST(ref == !x);
357     }
358 
359   }
360 
resizebitset_test361   static void resize(const Bitset& lhs)
362   {
363     Bitset b(lhs);
364 
365     // Test no change in size
366     b.resize(lhs.size());
367     BOOST_TEST(b == lhs);
368 
369     // Test increase in size
370     b.resize(lhs.size() * 2, true);
371 
372     std::size_t i;
373     for (i = 0; i < lhs.size(); ++i)
374       BOOST_TEST(b[i] == lhs[i]);
375     for (; i < b.size(); ++i)
376       BOOST_TEST(b[i] == true);
377 
378     // Test decrease in size
379     b.resize(lhs.size());
380     for (i = 0; i < lhs.size(); ++i)
381       BOOST_TEST(b[i] == lhs[i]);
382   }
383 
clearbitset_test384   static void clear(const Bitset& lhs)
385   {
386     Bitset b(lhs);
387     b.clear();
388     BOOST_TEST(b.size() == 0);
389   }
390 
pop_backbitset_test391   static void pop_back(const Bitset& lhs)
392   {
393     Bitset b(lhs);
394     b.pop_back();
395     BOOST_TEST(b.size() == lhs.size() - 1);
396     for (std::size_t i = 0; i < b.size(); ++i)
397       BOOST_TEST(b[i] == lhs[i]);
398 
399     b.pop_back();
400     BOOST_TEST(b.size() == lhs.size() - 2);
401     for (std::size_t j = 0; j < b.size(); ++j)
402       BOOST_TEST(b[j] == lhs[j]);
403   }
404 
append_bitbitset_test405   static void append_bit(const Bitset& lhs)
406   {
407     Bitset b(lhs);
408     b.push_back(true);
409     BOOST_TEST(b.size() == lhs.size() + 1);
410     BOOST_TEST(b[b.size() - 1] == true);
411     for (std::size_t i = 0; i < lhs.size(); ++i)
412       BOOST_TEST(b[i] == lhs[i]);
413 
414     b.push_back(false);
415     BOOST_TEST(b.size() == lhs.size() + 2);
416     BOOST_TEST(b[b.size() - 1] == false);
417     BOOST_TEST(b[b.size() - 2] == true);
418     for (std::size_t j = 0; j < lhs.size(); ++j)
419       BOOST_TEST(b[j] == lhs[j]);
420   }
421 
append_blockbitset_test422   static void append_block(const Bitset& lhs)
423   {
424     Bitset b(lhs);
425     Block value(128);
426     b.append(value);
427     BOOST_TEST(b.size() == lhs.size() + bits_per_block);
428     for (typename Bitset::block_width_type i = 0; i < bits_per_block; ++i)
429       BOOST_TEST(b[lhs.size() + i] == bool((value >> i) & 1));
430   }
431 
append_block_rangebitset_test432   static void append_block_range(const Bitset& lhs, const std::vector<Block>& blocks)
433   {
434     Bitset b(lhs), c(lhs);
435     b.append(blocks.begin(), blocks.end());
436     for (typename std::vector<Block>::const_iterator i = blocks.begin();
437          i != blocks.end(); ++i)
438       c.append(*i);
439     BOOST_TEST(b == c);
440   }
441 
442   // operator[] and reference members
443   // PRE: b[i] == bit_vec[i]
operator_bracketbitset_test444   static void operator_bracket(const Bitset& lhs, const std::vector<bool>& bit_vec)
445   {
446     Bitset b(lhs);
447     std::size_t i, j, k;
448 
449     // x = b[i]
450     // x = ~b[i]
451     for (i = 0; i < b.size(); ++i) {
452       bool x = b[i];
453       BOOST_TEST(x == bit_vec[i]);
454       x = ~b[i];
455       BOOST_TEST(x == !bit_vec[i]);
456     }
457     Bitset prev(b);
458 
459     // b[i] = x
460     for (j = 0; j < b.size(); ++j) {
461       bool x = !prev[j];
462       b[j] = x;
463       for (k = 0; k < b.size(); ++k)
464         if (j == k)
465           BOOST_TEST(b[k] == x);
466         else
467           BOOST_TEST(b[k] == prev[k]);
468       b[j] = prev[j];
469     }
470     b.flip();
471 
472     // b[i] = b[j]
473     for (i = 0; i < b.size(); ++i) {
474       b[i] = prev[i];
475       for (j = 0; j < b.size(); ++j) {
476         if (i == j)
477           BOOST_TEST(b[j] == prev[j]);
478         else
479           BOOST_TEST(b[j] == !prev[j]);
480       }
481       b[i] = !prev[i];
482     }
483 
484     // b[i].flip()
485     for (i = 0; i < b.size(); ++i) {
486       b[i].flip();
487       for (j = 0; j < b.size(); ++j) {
488         if (i == j)
489           BOOST_TEST(b[j] == prev[j]);
490         else
491           BOOST_TEST(b[j] == !prev[j]);
492       }
493       b[i].flip();
494     }
495   }
496 
497   //===========================================================================
498   // bitwise operators
499 
500   // bitwise and assignment
501 
502   // PRE: b.size() == rhs.size()
and_assignmentbitset_test503   static void and_assignment(const Bitset& b, const Bitset& rhs)
504   {
505     Bitset lhs(b);
506     Bitset prev(lhs);
507     lhs &= rhs;
508     // Clears each bit in lhs for which the corresponding bit in rhs is
509     // clear, and leaves all other bits unchanged.
510     for (std::size_t I = 0; I < lhs.size(); ++I)
511       if (rhs[I] == 0)
512         BOOST_TEST(lhs[I] == 0);
513       else
514         BOOST_TEST(lhs[I] == prev[I]);
515   }
516 
517   // PRE: b.size() == rhs.size()
or_assignmentbitset_test518   static void or_assignment(const Bitset& b, const Bitset& rhs)
519   {
520     Bitset lhs(b);
521     Bitset prev(lhs);
522     lhs |= rhs;
523     // Sets each bit in lhs for which the corresponding bit in rhs is set, and
524     // leaves all other bits unchanged.
525     for (std::size_t I = 0; I < lhs.size(); ++I)
526       if (rhs[I] == 1)
527         BOOST_TEST(lhs[I] == 1);
528       else
529         BOOST_TEST(lhs[I] == prev[I]);
530   }
531 
532   // PRE: b.size() == rhs.size()
xor_assignmentbitset_test533   static void xor_assignment(const Bitset& b, const Bitset& rhs)
534   {
535     Bitset lhs(b);
536     Bitset prev(lhs);
537     lhs ^= rhs;
538     // Flips each bit in lhs for which the corresponding bit in rhs is set,
539     // and leaves all other bits unchanged.
540     for (std::size_t I = 0; I < lhs.size(); ++I)
541       if (rhs[I] == 1)
542         BOOST_TEST(lhs[I] == !prev[I]);
543       else
544         BOOST_TEST(lhs[I] == prev[I]);
545   }
546 
547   // PRE: b.size() == rhs.size()
sub_assignmentbitset_test548   static void sub_assignment(const Bitset& b, const Bitset& rhs)
549   {
550     Bitset lhs(b);
551     Bitset prev(lhs);
552     lhs -= rhs;
553     // Resets each bit in lhs for which the corresponding bit in rhs is set,
554     // and leaves all other bits unchanged.
555     for (std::size_t I = 0; I < lhs.size(); ++I)
556       if (rhs[I] == 1)
557         BOOST_TEST(lhs[I] == 0);
558       else
559         BOOST_TEST(lhs[I] == prev[I]);
560   }
561 
shift_left_assignmentbitset_test562   static void shift_left_assignment(const Bitset& b, std::size_t pos)
563   {
564     Bitset lhs(b);
565     Bitset prev(lhs);
566     lhs <<= pos;
567     // Replaces each bit at position I in lhs with the following value:
568     // - If I < pos, the new value is zero
569     // - If I >= pos, the new value is the previous value of the bit at
570     //   position I - pos
571     for (std::size_t I = 0; I < lhs.size(); ++I)
572       if (I < pos)
573         BOOST_TEST(lhs[I] == 0);
574       else
575         BOOST_TEST(lhs[I] == prev[I - pos]);
576   }
577 
shift_right_assignmentbitset_test578   static void shift_right_assignment(const Bitset& b, std::size_t pos)
579   {
580     Bitset lhs(b);
581     Bitset prev(lhs);
582     lhs >>= pos;
583     // Replaces each bit at position I in lhs with the following value:
584     // - If pos >= N - I, the new value is zero
585     // - If pos < N - I, the new value is the previous value of the bit at
586     //    position I + pos
587     std::size_t N = lhs.size();
588     for (std::size_t I = 0; I < N; ++I)
589       if (pos >= N - I)
590         BOOST_TEST(lhs[I] == 0);
591       else
592         BOOST_TEST(lhs[I] == prev[I + pos]);
593   }
594 
595 
set_allbitset_test596   static void set_all(const Bitset& b)
597   {
598     Bitset lhs(b);
599     lhs.set();
600     for (std::size_t I = 0; I < lhs.size(); ++I)
601       BOOST_TEST(lhs[I] == 1);
602   }
603 
set_onebitset_test604   static void set_one(const Bitset& b, std::size_t pos, bool value)
605   {
606     Bitset lhs(b);
607     std::size_t N = lhs.size();
608     if (pos < N) {
609       Bitset prev(lhs);
610       // Stores a new value in the bit at position pos in lhs.
611       lhs.set(pos, value);
612       BOOST_TEST(lhs[pos] == value);
613 
614       // All other values of lhs remain unchanged
615       for (std::size_t I = 0; I < N; ++I)
616         if (I != pos)
617           BOOST_TEST(lhs[I] == prev[I]);
618     } else {
619       // Not in range, doesn't satisfy precondition.
620     }
621   }
622 
set_segmentbitset_test623   static void set_segment(const Bitset& b, std::size_t pos,
624     std::size_t len, bool value)
625   {
626     Bitset lhs(b);
627     std::size_t N = lhs.size();
628     Bitset prev(lhs);
629     lhs.set(pos, len, value);
630     for (std::size_t I = 0; I < N; ++I)
631     {
632       if (I < pos || I >= pos + len)
633         BOOST_TEST(lhs[I] == prev[I]);
634       else
635         BOOST_TEST(lhs[I] == value);
636     }
637   }
638 
reset_allbitset_test639   static void reset_all(const Bitset& b)
640   {
641     Bitset lhs(b);
642     // Resets all bits in lhs
643     lhs.reset();
644     for (std::size_t I = 0; I < lhs.size(); ++I)
645       BOOST_TEST(lhs[I] == 0);
646   }
647 
reset_onebitset_test648   static void reset_one(const Bitset& b, std::size_t pos)
649   {
650     Bitset lhs(b);
651     std::size_t N = lhs.size();
652     if (pos < N) {
653       Bitset prev(lhs);
654       lhs.reset(pos);
655       // Resets the bit at position pos in lhs
656       BOOST_TEST(lhs[pos] == 0);
657 
658       // All other values of lhs remain unchanged
659       for (std::size_t I = 0; I < N; ++I)
660         if (I != pos)
661           BOOST_TEST(lhs[I] == prev[I]);
662     } else {
663       // Not in range, doesn't satisfy precondition.
664     }
665   }
666 
reset_segmentbitset_test667   static void reset_segment(const Bitset& b, std::size_t pos,
668     std::size_t len)
669   {
670     Bitset lhs(b);
671     std::size_t N = lhs.size();
672     Bitset prev(lhs);
673     lhs.reset(pos, len);
674     for (std::size_t I = 0; I < N; ++I)
675     {
676       if (I < pos || I >= pos + len)
677         BOOST_TEST(lhs[I] == prev[I]);
678       else
679         BOOST_TEST(!lhs[I]);
680     }
681   }
682 
operator_flipbitset_test683   static void operator_flip(const Bitset& b)
684   {
685     Bitset lhs(b);
686     Bitset x(lhs);
687     BOOST_TEST(~lhs == x.flip());
688   }
689 
flip_allbitset_test690   static void flip_all(const Bitset& b)
691   {
692     Bitset lhs(b);
693     std::size_t N = lhs.size();
694     Bitset prev(lhs);
695     lhs.flip();
696     // Toggles all the bits in lhs
697     for (std::size_t I = 0; I < N; ++I)
698       BOOST_TEST(lhs[I] == !prev[I]);
699   }
700 
flip_onebitset_test701   static void flip_one(const Bitset& b, std::size_t pos)
702   {
703     Bitset lhs(b);
704     std::size_t N = lhs.size();
705     if (pos < N) {
706       Bitset prev(lhs);
707       lhs.flip(pos);
708       // Toggles the bit at position pos in lhs
709       BOOST_TEST(lhs[pos] == !prev[pos]);
710 
711       // All other values of lhs remain unchanged
712       for (std::size_t I = 0; I < N; ++I)
713         if (I != pos)
714           BOOST_TEST(lhs[I] == prev[I]);
715     } else {
716       // Not in range, doesn't satisfy precondition.
717     }
718   }
719 
flip_segmentbitset_test720   static void flip_segment(const Bitset& b, std::size_t pos,
721     std::size_t len)
722   {
723     Bitset lhs(b);
724     std::size_t N = lhs.size();
725     Bitset prev(lhs);
726     lhs.flip(pos, len);
727     for (std::size_t I = 0; I < N; ++I)
728     {
729       if (I < pos || I >= pos + len)
730         BOOST_TEST(lhs[I] == prev[I]);
731       else
732         BOOST_TEST(lhs[I] != prev[I]);
733     }
734   }
735 
736   // empty
emptybitset_test737   static void empty(const Bitset& b)
738   {
739     BOOST_TEST(b.empty() == (b.size() == 0));
740   }
741 
742   // to_ulong()
to_ulongbitset_test743   static void to_ulong(const Bitset& lhs)
744   {
745     typedef unsigned long result_type;
746     std::size_t n = std::numeric_limits<result_type>::digits;
747     std::size_t sz = lhs.size();
748 
749     bool will_overflow = false;
750     for (std::size_t i = n; i < sz; ++i) {
751       if (lhs.test(i) != 0) {
752         will_overflow = true;
753         break;
754       }
755     }
756     if (will_overflow) {
757       try {
758         (void)lhs.to_ulong();
759         BOOST_TEST(false); // It should have thrown an exception
760       } catch (std::overflow_error & ex) {
761         // Good!
762         BOOST_TEST(!!ex.what());
763       } catch (...) {
764         BOOST_TEST(false); // threw the wrong exception
765       }
766     } else {
767       result_type num = lhs.to_ulong();
768       // Be sure the number is right
769       if (sz == 0)
770         BOOST_TEST(num == 0);
771       else {
772         for (std::size_t i = 0; i < sz; ++i)
773           BOOST_TEST(lhs[i] == (i < n ? nth_bit(num, i) : 0));
774       }
775     }
776   }
777 
778   // to_string()
to_stringbitset_test779   static void to_string(const Bitset& b)
780   {
781     std::string str;
782     boost::to_string(b, str);
783     BOOST_TEST(str.size() == b.size());
784     for (std::size_t i = 0; i < b.size(); ++i)
785       BOOST_TEST(str[b.size() - 1 - i] ==(b.test(i)? '1':'0'));
786   }
787 
countbitset_test788   static void count(const Bitset& b)
789   {
790     std::size_t c = b.count();
791     std::size_t actual = 0;
792     for (std::size_t i = 0; i < b.size(); ++i)
793       if (b[i])
794         ++actual;
795     BOOST_TEST(c == actual);
796   }
797 
sizebitset_test798   static void size(const Bitset& b)
799   {
800     BOOST_TEST(Bitset(b).set().count() == b.size());
801   }
802 
capacity_test_onebitset_test803   static void capacity_test_one(const Bitset& lhs)
804   {
805     //empty bitset
806     Bitset b(lhs);
807     BOOST_TEST(b.capacity() == 0);
808   }
809 
capacity_test_twobitset_test810   static void capacity_test_two(const Bitset& lhs)
811   {
812     //bitset constructed with size "100"
813     Bitset b(lhs);
814     BOOST_TEST(b.capacity() >= 100);
815     b.resize(200);
816     BOOST_TEST(b.capacity() >= 200);
817   }
818 
reserve_test_onebitset_test819   static void reserve_test_one(const Bitset& lhs)
820   {
821     //empty bitset
822     Bitset b(lhs);
823     b.reserve(16);
824     BOOST_TEST(b.capacity() >= 16);
825   }
826 
reserve_test_twobitset_test827   static void reserve_test_two(const Bitset& lhs)
828   {
829     //bitset constructed with size "100"
830     Bitset b(lhs);
831     BOOST_TEST(b.capacity() >= 100);
832     b.reserve(60);
833     BOOST_TEST(b.size() == 100);
834     BOOST_TEST(b.capacity() >= 100);
835     b.reserve(160);
836     BOOST_TEST(b.size() == 100);
837     BOOST_TEST(b.capacity() >= 160);
838   }
839 
shrink_to_fit_test_onebitset_test840   static void shrink_to_fit_test_one(const Bitset& lhs)
841   {
842     //empty bitset
843     Bitset b(lhs);
844     b.shrink_to_fit();
845     BOOST_TEST(b.size() == 0);
846     BOOST_TEST(b.capacity() == 0);
847   }
848 
shrink_to_fit_test_twobitset_test849   static void shrink_to_fit_test_two(const Bitset& lhs)
850   {
851     //bitset constructed with size "100"
852     Bitset b(lhs);
853     b.shrink_to_fit();
854     BOOST_TEST(b.capacity() >= 100);
855     BOOST_TEST(b.size() == 100);
856     b.reserve(200);
857     BOOST_TEST(b.capacity() >= 200);
858     BOOST_TEST(b.size() == 100);
859     b.shrink_to_fit();
860     BOOST_TEST(b.capacity() < 200);
861     BOOST_TEST(b.size() == 100);
862   }
863 
allbitset_test864   static void all(const Bitset& b)
865   {
866     BOOST_TEST(b.all() == (b.count() == b.size()));
867     bool result = true;
868     for(std::size_t i = 0; i < b.size(); ++i)
869       if(!b[i]) {
870         result = false;
871         break;
872       }
873     BOOST_TEST(b.all() == result);
874   }
875 
anybitset_test876   static void any(const Bitset& b)
877   {
878     BOOST_TEST(b.any() == (b.count() != 0));
879     bool result = false;
880     for(std::size_t i = 0; i < b.size(); ++i)
881       if(b[i]) {
882         result = true;
883         break;
884       }
885     BOOST_TEST(b.any() == result);
886   }
887 
nonebitset_test888   static void none(const Bitset& b)
889   {
890     bool result = true;
891     for(std::size_t i = 0; i < b.size(); ++i) {
892       if(b[i]) {
893         result = false;
894         break;
895       }
896     }
897     BOOST_TEST(b.none() == result);
898 
899     // sanity
900     BOOST_TEST(b.none() == !b.any());
901     BOOST_TEST(b.none() == (b.count() == 0));
902   }
903 
subsetbitset_test904   static void subset(const Bitset& a, const Bitset& b)
905   {
906     BOOST_TEST(a.size() == b.size()); // PRE
907 
908     bool is_subset = true;
909     if (b.size()) { // could use b.any() but let's be safe
910       for(std::size_t i = 0; i < a.size(); ++i) {
911         if(a.test(i) && !b.test(i)) {
912           is_subset = false;
913           break;
914         }
915       }
916     }
917     else {
918       // sanity
919       BOOST_TEST(a.count() == 0);
920       BOOST_TEST(a.any() == false);
921 
922       //is_subset = (a.any() == false);
923     }
924 
925     BOOST_TEST(a.is_subset_of(b) == is_subset);
926   }
927 
proper_subsetbitset_test928   static void proper_subset(const Bitset& a, const Bitset& b)
929   {
930     // PRE: a.size() == b.size()
931     BOOST_TEST(a.size() == b.size());
932 
933     bool is_proper = false;
934 
935     if (b.size() != 0) {
936 
937       // check it's a subset
938       subset(a, b);
939 
940       // is it proper?
941       for (std::size_t i = 0; i < a.size(); ++i) {
942         if (!a.test(i) && b.test(i)) {
943           is_proper = true;
944           // sanity
945           BOOST_TEST(a.count() < b.count());
946           BOOST_TEST(b.any());
947         }
948       }
949     }
950 
951     BOOST_TEST(a.is_proper_subset_of(b) == is_proper);
952     if (is_proper)
953       BOOST_TEST(b.is_proper_subset_of(a) != is_proper);// antisymmetry
954   }
955 
intersectsbitset_test956   static void intersects(const Bitset& a, const Bitset& b)
957   {
958     bool have_intersection = false;
959 
960     typename Bitset::size_type m = a.size() < b.size() ? a.size() : b.size();
961     for(typename Bitset::size_type i = 0; i < m && !have_intersection; ++i)
962       if(a[i] == true && b[i] == true)
963         have_intersection = true;
964 
965     BOOST_TEST(a.intersects(b) == have_intersection);
966     // also check commutativity
967     BOOST_TEST(b.intersects(a) == have_intersection);
968   }
969 
find_firstbitset_test970   static void find_first(const Bitset& b)
971   {
972       // find first non-null bit, if any
973       typename Bitset::size_type i = 0;
974       while (i < b.size() && b[i] == 0)
975           ++i;
976 
977       if (i == b.size())
978         BOOST_TEST(b.find_first() == Bitset::npos); // not found;
979       else {
980         BOOST_TEST(b.find_first() == i);
981         BOOST_TEST(b.test(i) == true);
982       }
983 
984   }
985 
find_nextbitset_test986   static void find_next(const Bitset& b, typename Bitset::size_type prev)
987   {
988     BOOST_TEST(next_bit_on(b, prev) == b.find_next(prev));
989   }
990 
operator_equalbitset_test991   static void operator_equal(const Bitset& a, const Bitset& b)
992   {
993     if (a == b) {
994       for (std::size_t I = 0; I < a.size(); ++I)
995         BOOST_TEST(a[I] == b[I]);
996     } else {
997       if (a.size() == b.size()) {
998         bool diff = false;
999         for (std::size_t I = 0; I < a.size(); ++I)
1000           if (a[I] != b[I]) {
1001             diff = true;
1002             break;
1003           }
1004         BOOST_TEST(diff);
1005       }
1006     }
1007   }
1008 
operator_not_equalbitset_test1009   static void operator_not_equal(const Bitset& a, const Bitset& b)
1010   {
1011     if (a != b) {
1012       if (a.size() == b.size()) {
1013         bool diff = false;
1014         for (std::size_t I = 0; I < a.size(); ++I)
1015           if (a[I] != b[I]) {
1016             diff = true;
1017             break;
1018           }
1019         BOOST_TEST(diff);
1020       }
1021     } else {
1022       for (std::size_t I = 0; I < a.size(); ++I)
1023         BOOST_TEST(a[I] == b[I]);
1024     }
1025   }
1026 
less_thanbitset_test1027   static bool less_than(const Bitset& a, const Bitset& b)
1028   {
1029 
1030     typedef BOOST_DEDUCED_TYPENAME Bitset::size_type size_type;
1031 
1032     size_type asize(a.size());
1033     size_type bsize(b.size());
1034 
1035     if (!bsize)
1036         {
1037         return false;
1038         }
1039     else if (!asize)
1040         {
1041         return true;
1042         }
1043     else
1044         {
1045 
1046         // Compare from most significant to least.
1047 
1048         size_type leqsize(std::min BOOST_PREVENT_MACRO_SUBSTITUTION(asize,bsize));
1049         size_type I;
1050         for (I = 0; I < leqsize; ++I,--asize,--bsize)
1051           {
1052 
1053           size_type i = asize-1;
1054           size_type j = bsize-1;
1055 
1056           if (a[i] < b[j])
1057             return true;
1058           else if (a[i] > b[j])
1059             return false;
1060           // if (a[i] = b[j]) skip to next
1061           }
1062           return (a.size() < b.size());
1063         }
1064   }
1065 
next_bit_onbitset_test1066   static typename Bitset::size_type next_bit_on(const Bitset& b, typename Bitset::size_type prev)
1067   {
1068       // helper function for find_next()
1069       //
1070 
1071       if (b.none() == true || prev == Bitset::npos)
1072           return Bitset::npos;
1073 
1074       ++prev;
1075 
1076       if (prev >= b.size())
1077           return Bitset::npos;
1078 
1079       typename Bitset::size_type i = prev;
1080       while (i < b.size() && b[i] == 0)
1081           ++i;
1082 
1083       return i==b.size() ? Bitset::npos : i;
1084 
1085   }
1086 
operator_less_thanbitset_test1087   static void operator_less_than(const Bitset& a, const Bitset& b)
1088   {
1089     if (less_than(a, b))
1090       BOOST_TEST(a < b);
1091     else
1092       BOOST_TEST(!(a < b));
1093   }
1094 
operator_greater_thanbitset_test1095   static void operator_greater_than(const Bitset& a, const Bitset& b)
1096   {
1097     if (less_than(a, b) || a == b)
1098       BOOST_TEST(!(a > b));
1099     else
1100       BOOST_TEST(a > b);
1101   }
1102 
operator_less_than_eqbitset_test1103   static void operator_less_than_eq(const Bitset& a, const Bitset& b)
1104   {
1105     if (less_than(a, b) || a == b)
1106       BOOST_TEST(a <= b);
1107     else
1108       BOOST_TEST(!(a <= b));
1109   }
1110 
operator_greater_than_eqbitset_test1111   static void operator_greater_than_eq(const Bitset& a, const Bitset& b)
1112   {
1113     if (less_than(a, b))
1114       BOOST_TEST(!(a >= b));
1115     else
1116       BOOST_TEST(a >= b);
1117   }
1118 
test_bitbitset_test1119   static void test_bit(const Bitset& b, std::size_t pos)
1120   {
1121     Bitset lhs(b);
1122     std::size_t N = lhs.size();
1123     if (pos < N) {
1124       BOOST_TEST(lhs.test(pos) == lhs[pos]);
1125     } else {
1126       // Not in range, doesn't satisfy precondition.
1127     }
1128   }
1129 
test_set_bitbitset_test1130   static void test_set_bit(const Bitset& b, std::size_t pos, bool value)
1131   {
1132     Bitset lhs(b);
1133     std::size_t N = lhs.size();
1134     if (pos < N) {
1135       Bitset prev(lhs);
1136       // Stores a new value in the bit at position pos in lhs.
1137       BOOST_TEST(lhs.test_set(pos, value) == prev[pos]);
1138       BOOST_TEST(lhs[pos] == value);
1139 
1140       // All other values of lhs remain unchanged
1141       for (std::size_t I = 0; I < N; ++I)
1142         if (I != pos)
1143           BOOST_TEST(lhs[I] == prev[I]);
1144     } else {
1145       // Not in range, doesn't satisfy precondition.
1146     }
1147   }
1148 
operator_shift_leftbitset_test1149   static void operator_shift_left(const Bitset& lhs, std::size_t pos)
1150   {
1151     Bitset x(lhs);
1152     BOOST_TEST((lhs << pos) == (x <<= pos));
1153   }
1154 
operator_shift_rightbitset_test1155   static void operator_shift_right(const Bitset& lhs, std::size_t pos)
1156   {
1157     Bitset x(lhs);
1158     BOOST_TEST((lhs >> pos) == (x >>= pos));
1159   }
1160 
1161   // operator|
1162   static
operator_orbitset_test1163   void operator_or(const Bitset& lhs, const Bitset& rhs)
1164   {
1165     Bitset x(lhs);
1166     BOOST_TEST((lhs | rhs) == (x |= rhs));
1167   }
1168 
1169   // operator&
1170   static
operator_andbitset_test1171   void operator_and(const Bitset& lhs, const Bitset& rhs)
1172   {
1173     Bitset x(lhs);
1174     BOOST_TEST((lhs & rhs) == (x &= rhs));
1175   }
1176 
1177   // operator^
1178   static
operator_xorbitset_test1179   void operator_xor(const Bitset& lhs, const Bitset& rhs)
1180   {
1181     Bitset x(lhs);
1182     BOOST_TEST((lhs ^ rhs) == (x ^= rhs));
1183   }
1184 
1185   // operator-
1186   static
operator_subbitset_test1187   void operator_sub(const Bitset& lhs, const Bitset& rhs)
1188   {
1189     Bitset x(lhs);
1190     BOOST_TEST((lhs - rhs) == (x -= rhs));
1191   }
1192 
1193 //------------------------------------------------------------------------------
1194 //                               I/O TESTS
1195    // The following tests assume the results of extraction (i.e.: contents,
1196    // state and width of is, contents of b) only depend on input (the string
1197    // str). In other words, they don't consider "unexpected" errors such as
1198    // stream corruption or out of memory. The reason is simple: if e.g. the
1199    // stream buffer throws, the stream layer may eat the exception and
1200    // transform it into a badbit. But we can't trust the stream state here,
1201    // because one of the things that we want to test is exactly whether it
1202    // is set correctly. Similarly for insertion.
1203    //
1204    // To provide for these cases would require that the test functions know
1205    // in advance whether the stream buffer and/or allocations will fail, and
1206    // when; that is, we should write both a special allocator and a special
1207    // stream buffer capable of throwing "on demand" and pass them here.
1208 
1209    // Seems overkill for these kinds of unit tests.
1210   //-------------------------------------------------------------------------
1211 
1212   // operator<<( [basic_]ostream,
1213   template <typename Stream>
stream_inserterbitset_test1214   static void stream_inserter(const Bitset & b,
1215                               Stream & s,
1216                               const char * file_name
1217                               )
1218   {
1219 #if defined BOOST_OLD_IOSTREAMS
1220     typedef char char_type;
1221     typedef std::string string_type;
1222     typedef ifstream corresponding_input_stream_type;
1223 #else
1224     typedef typename Stream::char_type char_type;
1225     typedef std::basic_string<char_type> string_type;
1226     typedef std::basic_ifstream<char_type> corresponding_input_stream_type;
1227 
1228     std::ios::iostate except = s.exceptions();
1229 #endif
1230 
1231     typedef typename Bitset::size_type size_type;
1232     std::streamsize w = s.width();
1233     char_type fill_char = s.fill();
1234     std::ios::iostate oldstate = s.rdstate();
1235     bool stream_was_good = s.good();
1236 
1237     bool did_throw = false;
1238     try {
1239       s << b;
1240     }
1241 #if defined BOOST_OLD_IOSTREAMS
1242     catch(...) {
1243       BOOST_TEST(false);
1244     }
1245 #else
1246     catch (const std::ios_base::failure &) {
1247         BOOST_TEST((except & s.rdstate()) != 0);
1248         did_throw = true;
1249     } catch (...) {
1250         did_throw = true;
1251     }
1252 #endif
1253 
1254     BOOST_TEST(did_throw || !stream_was_good || (s.width() == 0));
1255 
1256     if (!stream_was_good) {
1257       BOOST_TEST(s.good() == false);
1258 
1259       // this should actually be oldstate == s.rdstate()
1260       // but some implementations add badbit in the
1261       // sentry constructor
1262       //
1263       BOOST_TEST((oldstate & s.rdstate()) == oldstate);
1264       BOOST_TEST(s.width() == w);
1265     }
1266     else {
1267       if(!did_throw)
1268         BOOST_TEST(s.width() == 0);
1269       // This test require that os be an output _and_ input stream.
1270       // Of course dynamic_bitset's operator << doesn't require that.
1271 
1272       size_type total_len = w <= 0 || static_cast<size_type>(w) < b.size()? b.size() : static_cast<size_type>(w);
1273       const string_type padding (total_len - b.size(), fill_char);
1274       string_type expected;
1275       boost::to_string(b, expected);
1276       if ((s.flags() & std::ios::adjustfield) != std::ios::left)
1277         expected = padding + expected;
1278       else
1279         expected = expected + padding;
1280 
1281       assert(expected.length() == total_len);
1282 
1283       // close, and reopen the file stream to verify contents
1284       s.close();
1285       corresponding_input_stream_type is(file_name);
1286       string_type contents;
1287       std::getline(is, contents, char_type());
1288       BOOST_TEST(contents == expected);
1289     }
1290   }
1291 
1292   // operator>>( [basic_]istream
1293   template <typename Stream, typename String>
stream_extractorbitset_test1294   static void stream_extractor(Bitset& b,
1295                                Stream& is,
1296                                String& str
1297                               )
1298   {
1299     // save necessary info then do extraction
1300     //
1301     const std::streamsize w = is.width();
1302     Bitset a_copy(b);
1303     bool stream_was_good = is.good();
1304 
1305     bool did_throw = false;
1306 
1307 #if defined BOOST_OLD_IOSTREAMS
1308     bool has_stream_exceptions = false;
1309     is >> b;
1310 #else
1311     const std::ios::iostate except = is.exceptions();
1312     bool has_stream_exceptions = true;
1313     try {
1314       is >> b;
1315     }
1316     catch(const std::ios::failure &) {
1317       did_throw = true;
1318     }
1319 
1320     // postconditions
1321     BOOST_TEST(except == is.exceptions()); // paranoid
1322 #endif
1323     //------------------------------------------------------------------
1324 
1325     // postconditions
1326     BOOST_TEST(b.size() <= b.max_size());
1327     if(w > 0)
1328       BOOST_TEST(b.size() <= static_cast<typename Bitset::size_type>(w));
1329 
1330     // throw if and only if required
1331     if(has_stream_exceptions) {
1332         const bool exceptional_state = has_flags(is, is.exceptions());
1333         BOOST_TEST(exceptional_state == did_throw);
1334     }
1335 
1336     typedef typename String::size_type size_type;
1337     typedef typename String::value_type Ch;
1338     size_type after_digits = 0;
1339 
1340     if(!stream_was_good) {
1341         BOOST_TEST(has_flags(is, std::ios::failbit));
1342         BOOST_TEST(b == a_copy);
1343         BOOST_TEST(is.width() == (did_throw ? w : 0));
1344     }
1345     else {
1346       // stream was good(), parse the string;
1347       // it may contain three parts, all of which are optional
1348       // {spaces}   {digits}   {non-digits}
1349       //        opt        opt            opt
1350       //
1351       // The values of b.max_size() and is.width() may lead to
1352       // ignore part of the digits, if any.
1353 
1354       size_type pos = 0;
1355       size_type len = str.length();
1356       // {spaces}
1357       for( ; pos < len && is_white_space(is, str[pos]); ++pos)
1358         {}
1359       size_type after_spaces = pos;
1360       // {digits} or part of them
1361       const typename Bitset::size_type max_digits =
1362             w > 0 && static_cast<typename Bitset::size_type>(w) < b.max_size()
1363                                ? static_cast<typename Bitset::size_type>(w) : b.max_size();
1364 
1365       for( ; pos < len && (pos - after_spaces) < max_digits; ++pos) {
1366           if(!is_one_or_zero(is, str[pos]))
1367               break;
1368       }
1369       after_digits = pos;
1370       size_type num_digits = after_digits - after_spaces;
1371 
1372       // eofbit
1373       if((after_digits == len && max_digits > num_digits ))
1374           BOOST_TEST(has_flags(is, std::ios::eofbit));
1375       else
1376           BOOST_TEST(!has_flags(is, std::ios::eofbit));
1377 
1378       // failbit <=> there are no digits, except for the library
1379       // issue explained below.
1380       //
1381       if(num_digits == 0) {
1382         if(after_digits == len && has_stream_exceptions &&
1383             (is.exceptions() & std::ios::eofbit) != std::ios::goodbit) {
1384                 // This is a special case related to library issue 195:
1385                 // reaching eof when skipping whitespaces in the sentry ctor.
1386                 // The resolution says the sentry constructor should set *both*
1387                 // eofbit and failbit; but many implementations deliberately
1388                 // set eofbit only. See for instance:
1389                 //  http://gcc.gnu.org/ml/libstdc++/2000-q1/msg00086.html
1390                 //
1391                 BOOST_TEST(did_throw);
1392 
1393             }
1394         else {
1395             BOOST_TEST(has_flags(is, std::ios::failbit));
1396         }
1397       }
1398       else
1399         BOOST_TEST(!has_flags(is, std::ios::failbit));
1400 
1401 
1402       if(num_digits == 0 && after_digits == len) {
1403         // The VC6 library has a bug/non-conformity in the sentry
1404         // constructor. It uses code like
1405         //  // skip whitespaces...
1406         //  int_type _C = rdbuf()->sgetc();
1407         //  while (!_Tr::eq_int_type(_Tr::eof(), _C) ...
1408         //
1409         // For an empty file the while statement is never "entered"
1410         // and the stream remains in good() state; thus the sentry
1411         // object gives "true" when converted to bool. This is worse
1412         // than the case above, because not only failbit is not set,
1413         // but no bit is set at all, end we end up clearing the
1414         // bitset though there's nothing in the file to be extracted.
1415         // Note that the dynamic_bitset docs say a sentry object is
1416         // constructed and then converted to bool, thus we rely on
1417         // what the underlying library does.
1418         //
1419 #if !defined(BOOST_DINKUMWARE_STDLIB) || (BOOST_DINKUMWARE_STDLIB >= 306)
1420         BOOST_TEST(b == a_copy);
1421 #else
1422         BOOST_TEST(b.empty() == true);
1423 #endif
1424       }
1425       else {
1426         String sub = str.substr(after_spaces, num_digits);
1427         BOOST_TEST(b == Bitset(sub));
1428       }
1429 
1430       // check width
1431       BOOST_TEST(is.width() == 0
1432                   || (after_digits == len && num_digits == 0 && did_throw));
1433     }
1434 
1435 
1436     // clear the stream to allow further reading then
1437     // retrieve any remaining chars with a single getline()
1438     is.exceptions(std::ios::goodbit);
1439     is.clear();
1440     String remainder;
1441     std::getline(is, remainder, Ch());
1442     if(stream_was_good)
1443       BOOST_TEST(remainder == str.substr(after_digits));
1444     else
1445       BOOST_TEST(remainder == str);
1446 
1447   }
1448 
1449 
1450 };
1451 
1452 
1453 
1454 #endif // include guard
1455