Ist es möglich, zum aktivieren der überprüfung von array-Grenzen, die in g++?

Ist es möglich, g++ Karte zu einem Fehler beim kompilieren die folgende Datei mit einigen flag?

#include <iostream>
using namespace std;

int main()
{
   int arr[ 2 ];

   cout << arr[ 4 ] << endl;

   return 0;
}

Sah ich einige Dinge, wie gcc -Wall -O2 main.c die funktioniert nur mit C, nicht C++.

InformationsquelleAutor der Frage 827 | 2011-01-24

  1. 3

    Können Sie die Verwendung einer statischen Analysator wie Cppcheck. Wenn Sie obigen code:

    $ cppcheck --enable=all test.cpp 
Überprüfen test.cpp... 
[test.cpp:6]: (Stil -) Variable 'arr' ist nicht ein Wert zugewiesen 
[test.cpp:8]: (Fehler) Array 'arr[2]' index 4 out of bounds

    Integrieren Sie Cppcheck in Ihren build-Verfahren und betrachten Sie Ihren code eingebaut nur erfolgreich, wenn Cppcheck geht.

    InformationsquelleAutor der Antwort Greg Hewgill

  2. 7

    Nicht zur compile-Zeit. Sie könnten in der Lage sein zu überprüfen, dass zur Laufzeit obwohl.

    Für, nehmen Sie einen Blick auf:
    Laufzeit-überprüfung von array-Grenzen mit g++

    InformationsquelleAutor der Antwort vmpstr

  3. 3

    Für roh-arrays, ich denke nicht so, weil -fbounds-check hat nicht funktioniert mit deinem Beispiel und MingW g++ 4.4.1, und weil die alten 3.x-docs ich muss sagen

    -fbounds-check

    Für front-ends, die es unterstützen,
    generieren Sie zusätzlichen code, um zu überprüfen, dass
    Indizes verwendet, um Zugriff auf arrays
    innerhalb des deklarierten Bereichs. Dies ist
    derzeit unterstützt nur die Java
    und Fortran-77-front-ends, wo diese
    option standardmäßig auf true und false
    bzw.

    Jedoch mit std::vector können Sie at etwas unpraktisch run-time bounds-checking (generiert Ausnahme). Und Sie können eine spezielle debug-version der standard-Bibliothek, die einen praktischen run-time bounds-checking für []. Zum Beispiel, beim kompilieren...

    #include <iostream>
#include <vector>
using namespace std;

int main()
{
   vector<int>  arr( 2 );

   cout << arr[ 4 ] << endl;
}

    ... erhalten Sie unterschiedliche bzw. nicht-überprüfung und Kontrolle von Verhalten für release und debug Versionen von g++ - standard-Bibliothek Implementierung:

    C:\test> g++ x.cpp & a 
4083049 

C:\test> g++ x.cpp -D _GLIBCXX_DEBUG -D _GLIBCXX_DEBUG_PEDANTIC & 
c:\program Dateien\mingw\bin\../lib/gcc/mingw32/4.4.1/include/c++/debug/Vektor:265: 
error: attempt to index container mit out-of-bounds-Register 4, aber 
container enthält nur 2 Elemente. 

Objekte an dem Vorgang beteiligt: 
Sequenz "dies" @ 0x0x22ff1c { 
type = NSt7__debug6vectorIiSaIiEEE; 
} 

Diese Anwendung hat die Laufzeit angewiesen, um zu beenden es in einer ungewöhnlichen Weise. 
Bitte Kontaktieren Sie die Anwendung ' s support-team für weitere Informationen. 

C:\test> _

    Angeblich für neuere g++ - Versionen (nach 4.0) brauchen Sie nicht die _GLIBCXX_DEBUG_PEDANTIC symbol. Für details, siehe die GNU-Dokumentation.

    Cheers & hth.,

    InformationsquelleAutor der Antwort Cheers and hth. - Alf

  4. 2

    Ich erinnere mich da ein gcc oder g++ Warnung vom ffmpeg oder x264 entlang der Linien von

    "Warnung index des array kann out-of-bounds"

    http://gcc.gnu.org/ml/gcc/2000-07/msg01000.html

    scheint, wie es wahrscheinlich gemacht.

    Die Einschränkung ist, dass Sie ein Beispiel wie deins oben. sobald Sie haben, haben Sie Variablen anstelle von literalen ist es nicht möglich. außer vielleicht in eine einfache Schleife.

    InformationsquelleAutor der Antwort EnabrenTane

  5. 0

    Kann man ersetzen-arrays mit std::vector. Vektor-accessor-member-Funktion (std::vector::at) kein bounds checking zur Laufzeit.

    Compile-Zeit prüfen Puffer-überlauf ist eine sehr harte unentscheidbaren problem, leider. Es ist in der Regel behandelt durch eine vollständige geblasen statische Analyse-tool.

    InformationsquelleAutor der Antwort ryaner

Schreibe einen Kommentar