是否有可能使用RA-iterator超出範圍？

Question

考慮下面的代碼：

typedef std::vector<int> cont_t; // Any container with RA-iterators 
typedef cont_t::const_iterator citer_t; // Random access iterator 

cont_t v(100); 
const int start = 15; // start > 0. 
citer_t it = v.begin() - start; // Do not use *it 

int a1 = 20, b1 = 30; // a1, b1 >= start 
int a2 = 30, b2 = 40; // a2, b2 >= start 

int x = std::min_element(it + a1, it + b1); // 
int y = std::min_element(it + a2, it + b2); // 
int z = std::min_element(it + 15, it + 25); // 
... 

是否可以使用隨機訪問迭代器it超出範圍？

Answer 1

你會根據C++標準24.1.5表76.

Answer 2

這當然可以編寫改掉使用了超範圍的迭代器代碼到這裏斷言條件。運行代碼會導致未定義的行爲。根據庫的實現，它可能會拋出一個異常，訪問隨機存儲位，觸發保護錯誤，或者啓動CPU中的熱核爆炸。