Как правильно считать значение из бинарного файла C++?

Question

[KiringD]

Задача проста, записать длину строки в бинарный файл, а сразу за ней саму строку (и так повторить сколько нужно раз).
Проблема в том, что сами данные записываются в файл верно (скриншот)
Но вот при считывании происходят искажения в конце каждой из строк, хотя их длинна считывается верно.

Если кто то знает решение этой проблемы, очень надеюсь на вашу помощь)
Код для воспроизведения:

#include <iostream>
#include <fstream>

using namespace std;

int main(){
    ofstream fs("1.bin", ios::binary);

    string first = "right_text" ;
    string second = "test_text";

    int size1 = first.length();
    fs.write((char *) &size1, sizeof(int));
    fs.write(first.c_str(), size1);

    int size2 = second.length();
    fs.write((char *) &size2, sizeof(int));
    fs.write(second.c_str(), size2);

    fs.close();

    ifstream is("1.bin", ios::binary);

    int size3, size4;

    string third;
    string fourth;

    is.read((char *) &size3, sizeof(int));

    char buffer1[size3];
    is.read(buffer1, size3);

    is.read((char *) &size4, sizeof(int));

    char buffer2[size4];
    is.read(buffer2, size4);

    is.close();

    third = string(buffer1);
    fourth = string(buffer2);

    cout << size1 << " " << size2 << " " << size3 << " " << size4 << " " << endl;

    cout << third << " " << fourth << endl;

    return 0;
}

Answer 1

[jcmvbkbc]

third = string(buffer1);
fourth = string(buffer2);

Должно быть

third = string(buffer1, size3);
fourth = string(buffer2, size4);

поскольку строки прочитанные в buffer1 и buffer2 не 0-терминированные.

И отдельно

char buffer1[size3];
…
char buffer2[size4];

это не по стандарту С++, компилируется и работает только из-за расширений GNU.

Comments

[KiringD]

Благодарю, за подробный ответ!

[rPman]

jcmvbkbc, интересно почему переменные размеры c-style 'массивов' char buffer1[size3]; не хотят в стандарт вносить, что мешает?

[jcmvbkbc]

rPman, я думаю, что даже в среде сишников есть некий консенсус считать, что от этой фичи больше вреда чем пользы, поэтому нежелание вносить ещё один баг в дизайн С++ выглядит вполне оправданно.

[rPman]

jcmvbkbc, не понимаю проблемы
мало того, если в коде массив определяется через x[size] то память для него будет освобождена автоматически как закончится областьвидимости, а самостоятельные выделения памяти, которые вынужден делать из-за отсутствия этой фичи требует самостоятельного контроля

т.е. фича полезная и избавляет от необходимости лишний раз стрелять себе в ногу.

[jcmvbkbc]

самостоятельные выделения памяти, которые вынужден делать из-за отсутствия этой фичи требует самостоятельного контроля

rPman, вот уж что-что, а часть с выделением и освобождением памяти на 100% покрывается более старой мис-фичей под названием alloca.

т.е. фича полезная и избавляет от необходимости лишний раз стрелять себе в ногу

В приложениях типа hello world и со сравнимыми требованиями к надёжности.
А взамен ты получаешь потенциально неограниченное использование стека, невозможность узнать что в коде есть VLA без полноценного парсинга исходника, невозможность статически оценить использование стека функцией с VLA, sizeof который может генерировать код и результат которого может не быть константным и потенциальную реаллокацию стекового кадра на каждой итерации цикла содержащего VLA.