설명 할 수없는 차이가 컴파일러에 따라 다르게 행동 것으로 보인다 복사 및 수정 표준 : : 문자열 다음 코드에서

Question

, "상황 1"그러나 테스트 한 모든 컴파일러에 예상대로 작품, "상황이" 익숙한.

예로 MSVC는 sit1을 갖고 있지만 , 변형이 원래 문자열 발생 ++ GCC/연타 및 된 libstdc를 사용하는 경우, 동일한 결과를 sit2 그리고 비록 (일종의 COW 문자열 등)를 복사 있어 C++ 11 스위치를 사용하여 구축 중입니다.

#include <iostream> 
#include <string> 

int main() { 

    // situation 1 
    { 
     std::string x0 = "12345678"; 
     std::string x1 = x0; 

     char* ptr = &x0[0] + 3; 

     (*ptr) = ' '; 

     std::cout << "1. x0: " << x0 << "\n"; 
     std::cout << "1. x1: " << x1 << "\n"; 

     if ((&x0[0]) == x0.data()) std::cout << "1. ptrs are equal\n"; 

    } 

    // situation 2 
    { 
     std::string x0 = "12345678"; 
     std::string x1 = x0; 

     char* ptr = const_cast<char*>(x0.data() + 3); 

     (*ptr) = ' '; 

     std::cout << "2. x0: " << x0 << "\n"; 
     std::cout << "2. x1: " << x1 << "\n"; 

     if ((&x0[0]) == x0.data()) std::cout << "2. ptrs are equal\n"; 
    } 

    return 0; 
} 

GCC (6.1)

1. x0: 123 5678 
1. x1: 12345678 
1. ptrs are equal 
2. x0: 123 5678 
2. x1: 123 5678 
2. ptrs are equal 

MSVC는 (2,015)

1. x0: 123 5678 
1. x1: 12345678 
1. ptrs are equal 
2. x0: 123 5678 
2. x1: 12345678 
2. ptrs are equal 

다양한 컴파일러 사이의 동작의 차이에 대한 이유가 - 주어진 & X0 [0] .data()는 동일한 주소를 반환합니까?

Answer 1

상황 2 원인 정의되지 않은 동작 :

char* ptr = const_cast<char*>(x0.data() + 3); 

(*ptr) = 'Z'; 

std::basic_string::data 명세서 (C++ 14 string.accessors]/3)에 따르면

이 필요합니다 프로그램하여야한다 문자 배열에 저장된 값을 변경하지 않습니다. 즉

는, 당신은 data() 또는 c_str()에 의해 반환 된 포인터를 통해 const을 멀리 캐스팅 문자열을 수정할 수 없습니다.