vector容器at访问报错以及operator[]

初始化3个int型大小的元素，不清空，at正常访问

#include <iostream>
#include <vector>
using namespace std;

int main()
{
	vector<int> v(3);
	//v.clear();
	v.at(1) = 10;
	cout << v[0] << ":" << v[1] << ":" << v[2];
	return 0;
}

初始化大小为3个int型的元素，如果清空后，v.size()为0
此时使用at访问会报错，错误如下:越界。this->size()为0，此时使用了1

#include <iostream>
#include <vector>
using namespace std;

int main()
{
	vector<int> v(3);
	v.clear();
	v.at(1) = 10;
	return 0;
}

root@fd:~/work/test# vim vec.cpp
root@fd:~/work/test# g++ vec.cpp -o vec
root@fd:~/work/test# ./vec 
terminate called after throwing an instance of 'std::out_of_range'
  what():  vector::_M_range_check: __n (which is 1) >= this->size() (which is 0)
已放弃

root@fd:~/work/test# rm vec
root@fd:~/work/test# vim vec.cpp 
root@fd:~/work/test# !g
g++ vec.cpp -o vec
root@fd:~/work/test# ./vec 
0:10:0

初始化3个int型大小的元素，如果清空后，v.size()为0
使用operator[]正常访问,这种行为是危险的

#include <iostream>
#include <vector>
using namespace std;

int main()
{
	vector<int> v(3);
	v.clear();
	cout << v[0] << ":" << v[1] << ":" <<  v[2] << endl;
	return 0;
}

root@fd:~/work/test# !g
g++ vec.cpp -o vec
root@fd:~/work/test# ./vec 
0:0:0
root@fd:~/work/test# 

可以看到vector容器中的at方法使用时会检查边界，如果传入的索引大于等于this->size(),即抛出异常，这里的this->size()为0，那么clear之后肯定会报错(注意这里的边界检查并不是说超过了容量的大小，而是size的大小)

const_reference at(size_type __n) const
{
	_M_range_check(__n);
	return (*this)[__n];
}

void _M_range_check(size_type __n) const
{
	if (__n >= this->size())
	  __throw_out_of_range_fmt(__N("vector::_M_range_check: __n "
				       "(which is %zu) >= this->size() "
				       "(which is %zu)"),
				   __n, this->size());
}

而operator[]显然是不进行边界检查的，这个操作相对于at来说是危险的

  reference operator[](size_type __n) _GLIBCXX_NOEXCEPT
  { return *(this->_M_impl._M_start + __n); }