专家解释了编程时C 11 std :: arrays的优点,但我希望从编译器中获得一些东西.能够在编译使用[]的代码时使用.at()时打开默认范围检查.
检查范围违规特别是对于多维数组可能是有益的,因为在这种情况下,范围违规不太可能导致segfault(因为你经常拥有内部数组的内存所以[5000] [ – 123]仍然可能指向内存你拥有的).
所以我想知道是否有一个开关可以编译成检查范围的机器代码：
const uint32_t dim1=10*1000,dim2=3;
std::array<std::array<int,dim2>,dim1> test_2Darray;
int undefined_value=test_2Darray[dim2-1][dim1-1];
std::cout<<"ouch ("<<undefined_value<<")"<<std::endl;
int ok_value=test_2Darray[dim1-1][dim2-1];
std::cout<<"OK ("<<ok_value<<")"<<std::endl;
// test_2Darray.at(dim2-1).at(dim1-1); -->terminate called after throwing an instance of 'std::out_of_range'
// what(): array::at
如果你问为什么我不切换到.at() – 我可能需要性能,我也有很多代码[]已经写好了,我不够聪明,不能聪明地替换1D更不用说2D了阵列.
我使用GCC 4.6
解决方法
您可以模仿您想要的行为：
#include <array>
#include <cassert>
#include <iostream>
#ifndef NDEBUG
template <typename T,std::size_t N>
struct my_array : std::array<T,N> {
T& operator[](std::size_t n) {
assert(n < N);
return (*static_cast<std::array<T,N>*>(this))[n];
}
const T& operator[](std::size_t n) const {
assert(n < N);
return (*static_cast<const std::array<T,N>*>(this))[n];
}
};
#else
// I would use Alias templates here,but isn't supported on my compiler yet!
template <typename T,N> {
};
#endif
它与std :: array不完全匹配,但如果对你很重要,可以修复它.然后用my_array替换对std :: array的所有引用,你将获得调试版本的范围检查operator [].
(我已经使用模板别名来简化NDEBUG代码,但我还不能在我的编译器上测试它)
