在调试模式下使用 std：：vector 和 std：：array 检查运算符 [] 的范围-解网

问：

我正在编写一些数字C++，其中两者都用于代码的性能关键部分。我最好在调试模式下进行范围检查，以清除任何潜在的越界访问，但在发布版本中不提供开销。std::vectorstd::arrayoperator[]

原则上，这可以通过断言语句轻松完成，但我不确定如何在不做坏事的情况下编辑 stl 库代码。我不会考虑使用该方法，因为这会在发布版本中产生开销。我正在使用 g++ 进行编译。我已经读到可以为 MSVC 编译器打开断言，但我使用的是 linux 和 g++，我认为这不是一个选项。at()

我已经为创建了这个派生类，到目前为止，它对我的目的来说工作正常，但我怀疑这不是一个理想的解决方案。std::vector

template <typename T> class Vector final : public std::vector<T> 
{ 
public: 
    using std::vector<T>::vector; 
#ifndef NDEBUG 
    T &operator[](size_t i) 
    { 
        assert(i < this->size()); 
        return *(this->_M_impl._M_start + i); 
    } 
    const T &operator[](size_t i) const 
    { 
        assert(i < this->size()); 
        return *(this->_M_impl._M_start + i); 
    } 
#endif 
};

我无法为没有问题的人创建一个类似的派生类。这篇文章解决了以下问题：编译时触发了 std：：vector 的范围检查，但似乎从 std 类继承并不流行。std::arraystd::vector

这篇文章的一个答案也建议使用标志，但我发现此检查从与工作正常的向量和数组无关的另一部分代码中产生了错误（尝试使用 yaml-cpp 库并使用）.-D_GLIBCXX_DEBUGoperator[]

C++ 断言 stdarray 范围检查

template <typename T> 
class Vector final : std::vector<T> { 
public:
    using std::vector<T>::vector; 
 
    T &operator[](std::size_t i) { 
#ifndef NDEBUG 
        assert(i < this->size()); 
#endif
        return *(this->_M_impl._M_start + i); 
    } 

    const T &operator[](size_t i) const { 
#ifndef NDEBUG 
        assert(i < this->size()); 
#endif
        return *(this->_M_impl._M_start + i); 
    } 
};

在调试模式下使用 std：：vector 和 std：：array 检查运算符 [] 的范围

Range checking for operator[] with std::vector and std::array in debug mode

评论

评论