Vector andando fuori dai limiti senza dare l'errore

Question

Ho un std::vector. Controllo la sua dimensione che è 6 ma quando provo ad accedere a vec[6] per verificare se darà errore, non ottengo alcun errore ma un numero invece. Non dovrebbe dare un errore?

edit: qualcosa di simile:

struct Element 
{ 
    std::vector<double> face; 
}; 

int main() 
{ 
    Element elm; 

    .... // insert 6 elements into elm.face 

    std::cout << elm.face.size() << std::endl; // answer is 6 
    std::cout << elm.face[6] << std::endl; // answer is some number 
} 

Answer 1

I vettori STL eseguono il controllo dei limiti quando viene chiamata la funzione membro .at(), ma do not perform any checks on the [] operator.

In caso di fuori limite, l'operatore [] produce risultati non definiti.

Answer 2

E 'un comportamento indefinito. Un comportamento indefinito non significa necessariamente che si verificherà un errore: è possibile che lo sia, ma si potrebbe ottenere invece un risultato che non ha molto senso.

Answer 3

Le strutture dati sono indicizzate a partire da 0, quindi se si sta accedendo a vec [6], questo sarà fuori limite. Probabilmente non ricevi un errore a causa di un problema di memoria; potrebbe esserci qualcosa dal codice precedente che hai eseguito, o qualche errore simile. Si prega di inviare il codice.

Answer 4

Come indicato nella risposta di kgraney, questo è un comportamento non definito. Tuttavia, la maggior parte delle librerie C++ ha alcune possibilità di abortire o sollevare un'eccezione in questi casi. Solitamente controllato impostando o disattivando specifiche macro del compilatore.

mi hanno fatto una panoramica della documentazione rilevante:

gnu libstdC++

• Debug mode - informazioni di carattere generale su libstdC++ debug
• _GLIBCXX_DEBUG
• _GLIBCXX_CONCEPT_CHECKS, con -fconcepts - consentire C++ concetti

clang libcxx

• _LIBCPP_DEBUG_LEVEL=1

spinta

• BOOST_DISABLE_ASSERTS - disattivare afferma nella biblioteca spinta.

Microsoft

• Checked Iterators
• _ITERATOR_DEBUG_LEVEL - Livello di debug iteratore
• Security Features in the CRT
• _CRT_SECURE_NO_WARNINGS: disattivare warning di deprecazione

• _SCL_SECURE_NO_WARNINGS - meno sicura (secondo Microsoft) , ma più conforme allo standard:

• _SECURE_SCL - vecchio metodo di impostazione iteratore livello di debug

• _HAS_ITERATOR_DEBUGGING - deprecato macro

Nota che GNU e clang disabilitare i controlli di default, mentre Microsoft li ha abilitato per impostazione predefinita. Se non si è a conoscenza di ciò, il codice potrebbe essere notevolmente più lento in modalità di debug su un sistema Microsoft.