구현 방법을 살펴보십시오. STL은 템플릿을 기반으로 크게 빌드되므로 헤더에 코드가 포함되어 있습니다.

예를 들어 여기 에서 stdc ++ 구현을 보십시오 .

stl 준수 비트 벡터가 아니지만 여기 에서 llvm :: BitVector 는 것도 흥미 롭습니다 .

의 핵심은 몇 가지 제한 사항 이있는 것과 유사하게 동작 하도록 llvm::BitVector하는 중첩 된 클래스 reference와 적절한 연산자 오버로딩 입니다. 아래 코드는 BitVector가 각 값에 대해 1 바이트를 사용하지 않고 실제 구현이 bool의 실제 배열처럼 동작하도록 호출 된 클래스를 숨기는 방법을 보여주는 단순화 된 인터페이스 입니다.BitVectorvectorreference

class BitVector {
public:
  class reference {
    reference &operator=(reference t);
    reference& operator=(bool t);
    operator bool() const;
  };
  reference operator[](unsigned Idx);
  bool operator[](unsigned Idx) const;
};

이 코드에는 멋진 속성이 있습니다.

BitVector b(10, false); // size 10, default false
BitVector::reference &x = b[5]; // that's what really happens
bool y = b[5]; // implicitly converted to bool 
assert(b[5] == false); // converted to bool
assert(b[6] == b[7]); // bool operator==(const reference &, const reference &);
b[5] = true; // assignment on reference
assert(b[5] == true); // and actually it does work.

이 코드에는 실제로 결함이 있습니다. 실행 해보십시오.

std::for_each(&b[5], &b[6], some_func); // address of reference not an iterator

assert( (&b[5] - &b[3]) == (5 - 3) );실패 하기 때문에 작동하지 않을 것 입니다.llvm::BitVector )

이것은 매우 간단한 llvm 버전입니다. std::vector<bool>또한 작동하는 반복자가 있습니다. 따라서 호출 for(auto i = b.begin(), e = b.end(); i != e; ++i)이 작동합니다. 그리고 또한std::vector<bool>::const_iterator .

그러나 일부 경우에는 std::vector<bool>다르게 작동하는 한계가 있습니다 .