límites Desactivación de la comprobación de C++ vectores

Question

Con STL :: vector:

vector<int> v(1); 
v[0]=1; // No bounds checking 
v.at(0)=1; // Bounds checking 

¿Hay una manera de desactivar la comprobación de límites sin tener que volver a escribir todo lo at()[]? Estoy usando la biblioteca GNU Standard C++.

Editar: Me cambió at()-[] en la zona donde yo sospechaba un cuello de botella, y reduce significativamente el tiempo de cálculo. Sin embargo, dado que iteraré entre desarrollar el código y ejecutar experimentos con él, me gustaría habilitar la verificación de límites durante el desarrollo y desactivarlo cuando ejecuto los experimentos de forma real. Creo que el consejo de Andrew es la mejor solución.

Answer 1

No. La comprobación de límites de std::vector::at está especificada por el estándar, y no hay una implementación de C++ conforme con el estándar que pueda desviarse de eso.

Answer 2

No es una forma estándar. Puede desactivar excepciones en su compilador. Puede hacer esto con gcc con -fno-exceptions.

Sin embargo, debe tener cuidado de hacerlo; sus bibliotecas (incluidas las bibliotecas estándar) pueden no funcionar bien con excepciones desactivadas. Verifique su documentación e hilos como this one on the gcc mailing list.

Answer 3

Quizás una mejor solución es usar [] y usar la implementación comprobada de la biblioteca estándar para la depuración.

Answer 4

Si realmente desea hacerlo (al menos para una comparación de perfiles rápido y sucio), esto va a funcionar si no tiene otra at() s

#define at(x) operator[](x) 

Y si desea mantener at() para el desarrollo y use operator[] en producción, solo envuélvalo en un #ifdef.

Y si tiene otras at() s siempre puede editar su archivo #include d <vector>.

Answer 5

Si tiene patrones razonablemente consistentes de acceso (es decir,/no acceso aleatorio), en lugar de utilizar at() o [], un método para evitar la verificación de rango es el uso de iteradores, utilizando begin(), end() y advance() o mejor aún, a través de la uso de los algoritmos estándar.

Aunque esto no resuelve el problema de fondo de corregir at() haciendo gama de comprobar algunas implementaciones de la biblioteca estándar (MSVC) han comprobado iteradores para algunos tipos de generaciones

Answer 6

Basado en su comentario que le gustaría a su vez en la comprobación/fuera, se puede utilizar una función de plantilla envoltorio:

template <class T> 
inline typename T::reference deref(T &cont, typename T::size_type idx) 
{ 
#if BOUNDS_CHECK 
    return cont.at(idx); 
#else 
    return cont[idx]; 
#endif 
} 

template <class T> 
inline typename T::const_reference deref(const T &cont, typename T::size_type idx) 
{ 
#if BOUNDS_CHECK 
    return cont.at(idx); 
#else 
    return cont[idx]; 
#endif 
} 

usted tendría que modificar el código para permitir esto, pero una vez que lo tenía en su lugar se podría convertir obligado comprobar encendido o apagado como desee .

Lo que admitir que se ve un poco feo de empleo:

deref(vec, 10) = ...; 

Answer 7

concluir cuál es su propia clase de vectores en su propio espacio de nombres como "uncheckedvector", y anular el al() del tipo de vector base a utilizar el índice de la matriz.

Luego use "using uncheckedvector :: vector" que le permitirá anular todos sus usos del vector en todas partes. Sin embargo, esto no funcionará si usa tipos totalmente calificados en cualquier lugar.

Answer 8

Utilice at() cuando siempre quiere comprobar. También tenga en cuenta que esto arroja una excepción en caso de error, por lo que es potencialmente recuperable. Si desea el acceso más rápido y sin marcar, use [], pero los algoritmos que lo usan deben probarse exhaustivamente porque el modo de falla es más severo (comportamiento indefinido).

Un par de aproximaciones a los límites de desarrollo de modo de comprobación para [] cuando se utiliza GCC en Linux:

• Habilitar GCC debug mode, consulta GCC STL bound checking

  -D_GLIBCXX_DEBUG

• Ejecutar el programa bajo la Valgrind comprobador de memoria

  valgrind (your program and args)

Algún otro interesante debate: vector::at vs. vector::operator[]