This was the idea behind std::vector<bool> which is a bit array with template specialization, and has been tha bane of C++ devs for decades.