Verwendung von nicht zugeordnetem Speicher ohne Fehler?

Die Verwendung von nicht zugeordnetem Speicher führt zu undefiniertem Verhalten. Sie können keine Erwartungen haben, was passiert, wenn Sie dies selbst auf dem gleichen System und Compiler tun, geschweige denn über verschiedene Kombinationen von Hardware und Compiler.

Das Programm könnte sofort abstürzen, es könnte für eine Weile funktionieren und später fehlschlagen, es könnte sogar scheinen, dass es perfekt funktioniert.

Der Zugriff auf Speicher, den Sie nicht besitzen, ist jedoch immer ein Programmierfehler. Denken Sie nicht an das Aussehen der richtigen Operation, wie "es manchmal funktioniert", denken Sie daran als "Ich habe wirklich Pech und mein Fehler wird nicht schnell angezeigt".

Während die anderen Antworten, mit Ausnahme von Mark, nicht falsch sind, sind sie auch nicht genau richtig. Was Sie tun, indem Sie auf Daten zugreifen, die nach dem Ende dessen liegen, was Sie explizit in Ihrem Programm zugewiesen haben, verursacht "undefiniertes Verhalten". Es kann alles tun, einschließlich "Arbeit".

Steves Antwort existierte nicht als ich anfing dies zu schreiben.

Beide haben einen Array-Zugriff außerhalb der Grenzen - Sie haben ein Array von 3 Float-Pointern und greifen auf das 8. Array zu. Dies wird zwangsläufig zum Absturz bringen.

Im Gegensatz zu Java oder einigen anderen verwalteten Sprachen gibt es jedoch keine explizite Begrenzung für jeden Array-Zugriff (da die damit verbundenen Performance-Kosten unerschwinglich sind). Die einzige Grenze, die Sie überprüfen, ist Ihre MMU. Wenn Sie auf Speicher zugreifen, der nicht zu Ihrer Anwendung gehört, stürzen Sie ab. Wenn Sie auf Speicher stoßen, der nicht zugeordnet ist, aber dennoch Teil Ihres Prozesses ist (z. B. ein Wachwort), wird dies ohne weiteres gelingen. Dies ist ein großartiges Rezept für sehr schwer aufzuspürende Fehler.

Überprüfungen sind der Schlüssel. Tu es wann immer du kannst.

Der Speicherzugriffsschutz ist nicht sehr feinkörnig. Wenn Sie etwas Speicher reservieren, erhalten Sie eine ganze Seite Speicher, der Ihrem Programm zugewiesen ist. Wenn Sie versuchen, auf diesen zusätzlichen Speicher zuzugreifen, ist es wahrscheinlich erfolgreich, aber Sie werden wahrscheinlich auch anderen Speicher überlasten, der Ihrem Programm zugewiesen ist.

Aus diesem Grund funktionieren Pufferüberläufe wie ein Angriff. In vielen Fällen ist vorhersagbar, welchen zusätzlichen Speicher nach der Verwendung des Arrays benötigt wird. Wenn ich kontrollieren kann, was Sie dort eingeben, kann ich Daten überschreiben, die Sie nicht überschreiben wollen. Wenn ich Ihren Call-Stack überschreiben kann, kann ich in Ihrem Prozesskontext beliebigen Code ausführen. Wenn dies ein Dienst ist, der als Administrator ausgeführt wird, habe ich eine Eskalation für lokale Berechtigungen. Wenn es sich um einen internetbezogenen Dienst handelt, habe ich einen Remote-Ausführungsangriff.

Am besten arbeiten Sie mit robusteren Strukturen wie std :: vector, es sei denn, Sie haben einen bestimmten Verwendungszweck für Arrays. (Und selbst dann könnten Sie weg mit Vektoren ).