Необъяснимые расхождения при копировании и модифицирующие СТД :: строки

Question

В следующем коде, «ситуация 1» работает как и ожидалось, на всех составителей тестируемых, однако «ситуация 2» это кажется ведут себя по-разному на основе компилятора используемый.

В качестве примера MSVC имеет sit1 и sit2 дают одинаковые результаты, однако при использовании GCC/лязг и libstdC++, изменение происходит в исходной строки, и это копия (вроде строки КПС) даже если Я строю с использованием коммутатора 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 (2015)

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

Есть ли причина расхождений в поведении между различными компиляторами - при условии, что & х0 [0] и .data() возвращают тот же адрес?

Answer 1

Положение 2 причины неопределенное поведение:

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

(*ptr) = 'Z'; 

В соответствии со спецификацией std::basic_string::data (C++ 14 [string.accessors]/3):

Требуется: Программа должна не изменяйте значения, сохраненные в массиве символов.

Другими словами, вы не можете откинуть на const и изменить строку с помощью указателей, возвращаемых data() или c_str().