关于std::vector<bool>类型使用下标运算符取值出错的研究

问题提出

std::vectorv(1,true);
void* p = &v[0];// 此时p指向的内存转成bool类型是false
但是
std::vector v2(2,1);
void* p3 = &v2[0];// 此时p指向的内存转成int类型时，值正常

分析

1.一般类型的vector使用下标运算符时

   _NODISCARD _Ty& operator[](const size_type _Pos) {
		auto& _My_data = _Mypair._Myval2;
。。。
		return _My_data._Myfirst[_Pos];
	}

2.继续分析_My_data._Myfirst[_Pos];

1.因为auto& _My_data = _Mypair._Myval2;所以只要分析_Mypair._Myval2._Myfirst[_Pos];即可
2._Mypair定义为_Compressed_pair<_Alty, _Scary_val> _Mypair;
3._Scary_val类型就是_Vector_val<bool _Test, class _Ty1, class _Ty2>
4.这个_Vector_val的特化类型就是_Myval2，同时_Vector_val里面定义了_Myfirst，这就是前面下标运算符用到的指针，那么这个指针是什么类型呢，继续往下看
5.看声明，pointer _Myfirst; // pointer to beginning of array
6.再看声明，using pointer = typename _Val_ty