// A bit vector view encapsulating externally-provided fixed-size storage for bits. // // The size in bits does not need to specify whole number of storage words but the view // is intended to work only on the specified number of bits. Single-bit functions // `SetBit()`, `ClearBit()` and `IsBitSet()` verify the passed index with `DCHECK()` // and do not care about trailing bits in the last storage word, if any. Multi-bit // functions require that the trailing bits are cleared on entry, except for functions // `ClearAllBits()` and `SetInitialBits()` that are used for storage initialization // and clear the trailing bits, if any. template <typename StorageType = size_t> class BitVectorView { public: using WordType = StorageType;
static_assert(std::numeric_limits<WordType>::is_integer);
static_assert(!std::numeric_limits<WordType>::is_signed); static constexpr size_t kWordBits = BitSizeOf<WordType>();
static_assert(IsPowerOfTwo(kWordBits));
// Construct a `BitVectorView` referencing the provided backing storage.
constexpr BitVectorView(WordType* storage, size_t size_in_bits)
: storage_(storage), size_in_bits_(size_in_bits) {}
// The `BitVectorView<>` can be copied and passed to functions by value. // The new copy shall reference the same underlying data, similarly to `std::string_view`.
BitVectorView(const BitVectorView& src) = default;
// Implicit conversion to a view with constant storage. template <typename ST, typename = std::enable_if_t<std::is_const_v<StorageType> &&
std::is_same_v<ST, std::remove_const_t<StorageType>>>>
BitVectorView(const BitVectorView<ST>& src)
: storage_(src.storage_), size_in_bits_(src.size_in_bits_) {}
// Get the size of the bit vector view in bits.
constexpr size_t SizeInBits() const { return size_in_bits_;
}
// Get the size of the bit vector view in storage words.
constexpr size_t SizeInWords() const { return BitsToWords(SizeInBits());
}
// Mark the specified bit as "set". void SetBit(size_t index) {
DCHECK_LT(index, size_in_bits_);
storage_[WordIndex(index)] |= BitMask(index);
}
// Mark the specified bit as "clear". void ClearBit(size_t index) {
DCHECK_LT(index, size_in_bits_);
storage_[WordIndex(index)] &= ~BitMask(index);
}
// Determine whether or not the specified bit is set.
constexpr bool IsBitSet(size_t index) const {
DCHECK_LT(index, size_in_bits_); return (storage_[WordIndex(index)] & BitMask(index)) != 0u;
}
// Mark all bits as "clear". void ClearAllBits();
// Mark specified number of initial bits as "set" and clear all bits after that. void SetInitialBits(uint32_t num_bits);
// Return true if there are any bits set, false otherwise. bool IsAnyBitSet() const {
DCheckTrailingBitsClear(); return std::any_of(storage_, storage_ + SizeInWords(), [](WordType w) { return w != 0u; });
}
// Union with another bit vector view of the same size. boolUnion(BitVectorView<const StorageType> union_with);
// Union with the bits in `union_with` but not in `not_in`. All views must have the same size. bool UnionIfNotIn(BitVectorView<const StorageType> union_with,
BitVectorView<const StorageType> not_in);
// `BitVectorView` wrapper class for iteration across indexes of set bits. class IndexContainerImpl; using IndexContainer = BitVectorView<const StorageType>::IndexContainerImpl;
/** *@briefConvenientiteratoracrosstheindexesofthebitsin`BitVector`or`BitVectorView<>`. * *@detailsBitVectorIndexIteratorisaForwarditerator(C++11:24.2.5)fromthelowest *tothehighestindexoftheBitVector'ssetbits.Instancescanberetrieved *onlythrough`BitVector{,View}::Indexes()`whichreturnanindexcontainerwrapper *objectwithbegin()andend()suitableforrange-basedloops: *for(uint32_tidx:bit_vector.Indexes()){ *// Use idx. *}
*/ template <typename StorageType> class BitVectorIndexIterator {
static_assert(std::is_const_v<StorageType>);
public: using iterator_category = std::forward_iterator_tag; using value_type = size_t; using difference_type = ptrdiff_t; using pointer = void; using reference = void;
// Helper function to check for end without comparing with bit_vector.Indexes().end(). bool Done() const { return bit_index_ == bit_vector_view_.SizeInBits();
}
// The number of words necessary to encode bits. static constexpr uint32_t BitsToWords(uint32_t bits) { return RoundUp(bits, kWordBits) / kWordBits;
}
// Mark the specified bit as "set". void SetBit(uint32_t idx) { /* *TUNING:thiscouldhavepathologicallybadgrowth/expandbehavior.Makesurewe're *notusingitbadlyorchangeresizemechanism.
*/ if (idx >= storage_size_ * kWordBits) {
EnsureSize(idx);
}
AsView().SetBit(idx);
}
// Mark the specified bit as "clear". void ClearBit(uint32_t idx) { // If the index is over the size, we don't have to do anything, it is cleared. if (idx < storage_size_ * kWordBits) { // Otherwise, go ahead and clear it.
AsView().ClearBit(idx);
}
}
// Determine whether or not the specified bit is set. bool IsBitSet(uint32_t idx) const { // If the index is over the size, whether it is expandable or not, this bit does not exist: // thus it is not set. return (idx < (storage_size_ * kWordBits)) && AsView().IsBitSet(idx);
}
// Mark all bits as "clear". void ClearAllBits();
// Mark specified number of bits as "set". Cannot set all bits like ClearAll since there might // be unused bits - setting those to one will confuse the iterator. void SetInitialBits(uint32_t num_bits);
void Copy(const BitVector* src);
// Intersect with another bit vector. void Intersect(const BitVector* src2);
// Union with another bit vector. boolUnion(const BitVector* src);
// Set bits of union_with that are not in not_in. bool UnionIfNotIn(const BitVector* union_with, const BitVector* not_in);
void Subtract(const BitVector* src);
// Are we equal to another bit vector? Note: expandability attributes must also match. bool Equal(const BitVector* src) const;
// Minimum number of bits required to store this vector, 0 if none are set.
size_t GetNumberOfBits() const { return GetHighestBitSet() + 1;
}
// Is bit set in storage. (No range check.) staticbool IsBitSet(const uint32_t* storage, uint32_t idx) { return (storage[WordIndex(idx)] & BitMask(idx)) != 0;
}
// Number of bits set in range [0, end) in storage. (No range check.) static uint32_t NumSetBits(const uint32_t* storage, uint32_t end);
// Fill given memory region with the contents of the vector and zero padding. void CopyTo(void* dst, size_t len) const {
DCHECK_LE(static_cast<size_t>(GetHighestBitSet() + 1), len * kBitsPerByte);
size_t vec_len = GetSizeOf(); if (vec_len < len) { void* dst_padding = reinterpret_cast<uint8_t*>(dst) + vec_len;
memcpy(dst, storage_, vec_len);
memset(dst_padding, 0, len - vec_len);
} else {
memcpy(dst, storage_, len);
}
}
// Ensure there is space for a bit at idx. void EnsureSize(uint32_t idx);
// The index of the word within storage. static constexpr uint32_t WordIndex(uint32_t idx) { return idx >> 5;
}
// A bit mask to extract the bit for the given index. static constexpr uint32_t BitMask(uint32_t idx) { return1 << (idx & 0x1f);
}
uint32_t* storage_; // The storage for the bit vector.
uint32_t storage_size_; // Current size, in 32-bit words.
Allocator* const allocator_; // Allocator if expandable. constbool expandable_; // Should the bitmap expand if too small?
};
} // namespace art
#endif// ART_LIBARTBASE_BASE_BIT_VECTOR_H_
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet am 2026-06-29)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.