ciąg :: c_str zapytanie

Question

Skąd wskaźnik zwracany przez wywołanie ciąg :: c_str() wskazuje na? W poniższym fragmencie kodu pomyślałem, że dam mu błąd segmentacji, ale daje mi poprawne wyniki. Jeśli wskaźnik zwrócony przez ciąg :: c_str() wskazuje na wewnętrzną lokalizację wewnątrz obiektu napisowego, to po wywołaniu funkcji i wywołaniu destruktora obiektu powinienem uzyskać niepoprawny dostęp do pamięci.

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

const char* func() 
{ 
    string str("test"); 
    return str.c_str(); 
} 

int main() 
{ 
    const char* p = func(); 
    cout << p << endl; 
    return 0; 
} 

Output: test 
Compiler: g++ 4.3.3 
Platform: ubuntu 2.6.28-19 

Answer 1

Skąd wskaźnik zwrócony przez wywołanie string::c_str() wskaż?

Wskazuje miejsce w pamięci, w którym znajduje się zakończony znakiem NUT łańcuch zawierający zawartość std::string.

Wskaźnik jest ważny tylko do czasu zmodyfikowania lub zniszczenia std::string. Jest również potencjalnie unieważniany, jeśli ponownie zadzwonisz pod numer c_str() lub data().

Zasadniczo najbezpieczniej jest założyć, że wskaźnik uzyskany z c_str() został unieważniony, gdy następnym razem zrobisz coś na obiekcie std::string.

Powinienem uzyskać niepoprawny dostęp do pamięci.

Nie, otrzymujesz niezdefiniowane zachowanie. Może pojawić się jakiś błąd dostępu do pamięci (na przykład błąd segmentacji), ale Twój program może również sprawiać wrażenie, że działa poprawnie. Może się wydawać, że działa raz podczas uruchamiania programu, ale kończy się niepowodzeniem.

Answer 2

Czego można się spodziewać, aby wydrukować?

#include <iostream> 
#include <string> 

int main() 
{ 
    int* test = new int[20]; 
    test[15] = 5; 
    std::cout << test[15] << "\n"; 
    delete[] test; 
    std::cout << test[15] << "\n"; 
    return 0; 
} 

W trybie zwolnienia na VS 2010, otrzymuję ten wynik:

przydziałów pamięci niekoniecznie wyjątek podczas próby do niego dostęp . Ta wartość niekoniecznie musi zostać ponownie napisana. (Co ciekawe, jeśli zmienię kompilację na tryb debugowania, kompilator zastąpi wartość wartością -572662307).

Co się stanie, gdy spróbujesz uzyskać dostęp, jest niezdefiniowane przez standard. Oznacza to, że kompilator może robić, co się chce, lub nie robić nic. (Albo zawieść swój program lub wysadzić wszechświat ...)