170 похожих чатов

А почему разыменование end() строки - UB? https://en.cppreference.com/w/cpp/string/basic_string/end Ведь есть гарантии: 1) контейнер

непрерывен
2) str[str.size()] == CharT{}

25 ответов

31 просмотр

http://eel.is/c++draft/basic.string#string.iterators-2 а чего вы ожидаете от past-the-end значения?

Dmitriy-[Отпуск] Автор вопроса
Vlad
http://eel.is/c++draft/basic.string#string.iterato...

Дело в том, что past-the-end для std::basic_string не является past-the-end для underlying character array, начиная с C++11

тем не менее str.at(str.size()) бросит out-of-range имхо 2 было костылем для совместимости с С-строками, который решили не тянуть дальше

Dmitriy-[Отпуск] Автор вопроса
Alexander B. Babayants
тем не менее str.at(str.size()) бросит out-of-rang...

"В С++11 ввели" == "Решили не тянуть дальше"?)

Dmitriy [Отпуск]
Дело в том, что past-the-end для std::basic_string...

не нашел нашел только это http://eel.is/c++draft/strings#basic.string.general-3.sentence-1

Dmitriy [Отпуск]
"В С++11 ввели" == "Решили не тянуть дальше"?)

вы не поняли в С++11 унифицировали поведение operator [] для string и char * "не тянуть дальше" - остальные методы, аналогов которых нет у char *, решили не трогать

Dmitriy-[Отпуск] Автор вопроса
Vlad
не нашел нашел только это http://eel.is/c++draft/s...

Поскольку "A specialization of basic_­string is a contiguous container", упомянутый Вами пункт фактически является гарантией валидности past-the-end

Dmitriy [Отпуск]
Поскольку "A specialization of basic_­string is a ...

вектор тоже у него тоже теперь валидный past-the-end?

Dmitriy-[Отпуск] Автор вопроса
Vlad
вектор тоже у него тоже теперь валидный past-the-e...

Для вектора [data(), data() + size()) is a valid range

Dmitriy [Отпуск]
Для вектора [data(), data() + size()) is a valid r...

обратите внимание, что это полуоткрытый интервал

Dmitriy-[Отпуск] Автор вопроса
Vlad
обратите внимание, что это полуоткрытый интервал

Да, а для строки - [ ], в отличие от вектора

Dmitriy [Отпуск]
Да, а для строки - [ ], в отличие от вектора

я понимаю идею, и теоретически стандарт можно было бы так трактовать, но в отсутствие The library never assumes that past-the-end values are dereferenceable. рекомендую еще поискать в LWG issues

Может чтобы в будущем сделать c_str deprecated/optional? Например для того же u8string c_str не имеет смысла, ведь нет C api которые могут работать с char8_t.

Целый байт экономим и ещё минус код который этот байт всегда дописывает.

null terminated важное свойство, если и делать строку без сишной совместимости, то лучше новый тип - std::text

чтобы читать из потока как раз алиасинг нужен, иначе придётся конвертировать через memcpy

Kirill Bolshakov
null terminated важное свойство, если и делать стр...

Не, мне вот кажется у меня и в тех проектах где работал, не так много кода, который опирался бы на cstring. В идеале я бы сделал опцию std либы, которая делает строку не c string + std::cstring которая совместима, пофиксил бы те места которые опираются на null terminated/заюзал std::cstring и жил бы с нормальными строками счастливо

Arelav
Не, мне вот кажется у меня и в тех проектах где ра...

А сильно нужен этот байт с такими изменениями?

Слава
А сильно нужен этот байт с такими изменениями?

Ну смотря кому, если смотреть доклад про fbstring, там они пытались писать байт только в c_str, ну и там был какой то код с нетривиальным датарейсом, в итоге сделали чтобы всегда был null terminated и потеряли пару процентов

Arelav
Ну смотря кому, если смотреть доклад про fbstring,...

Ну они могли бы и свою не с строку запилить

Слава
Ну они могли бы и свою не с строку запилить

Ну там drop and replacement std::string на тот момент было

Kirill Bolshakov
чтобы читать из потока как раз алиасинг нужен, ина...

Aliasing это только если сериализовать через memcpy. Обычно таки бинарные протоколы сериализации это всяческие теги, битики, байтики отдельные.

Похожие вопросы

Обсуждают сегодня

Всем привет! Имеется функция: function IsValidChar(ch: UTF8Char): Boolean; var i: Integer; ValidChars: AnsiString; begin ValidChars := 'abcdefghijklmnopqrstuvwxyzABCDE...
Евгений
44
Коллеги, я тут для личных нужд пошел ставить MQTT сервер, пощупал mosquitto, но ужаснулся отсутствию такой банальности, как HTTP API для посмотреть список топиков. А тут что,...
Maksim Lapshin
9
#include <stdio.h> #include <stdlib.h> #include <time.h> void mass_first_generate(int mass[5][7]) {     for (int N = 0; N < 5; N++) {         for (int A = 0; A < 7; A++) {   ...
Чувак
6
Всем привет! Решаю 99 OCaml Problems и столкнулся со следующей проблемой (прошу палками не забивать, я OCaml практически не трогал до этого момента): open OUnit2 let create_...
К|/|pи/\/\ 6е3yглbIи
2
https://www.linkedin.com/posts/ugama-benedicta-kelechi-codergirl-103041300_mobiledevelopment-fluttertraining-handsonlearning-activity-7263445699227254784-IdHB?utm_source=share...
CoderGirl
16
Ну вот просто даже давайте вот как. Какой нибудь конкретный кейс, можете в пример привести, где бч работает и приносит прикладную пользу, а не просто что бы было? Не крипту.
Alexander Andreev
22
Точно, оно. У тебя там имена потоков выставляются?
Александр (Rouse_) Багель
11
возможно ли как-то передать в электрон или таури медиа поток с рендера 2д движка? двиг запускается как dll, а дальше надо как-то отправлять рендер кодировать не подходит, зр...
Kyle Nekto
7
Помогите пожалуйста. Делаю систему плагинов. Проблема сейчас в такая: плагины загружаются в основном потоке. FLibHandle := SafeLoadLibrary(FFileName) Но нужно еще выполнить фу...
Илья 🤣
10
объясните пожалуйста, почему функция не работает должным образом? вроде должно брать активное окно сравнивать его размер с размером экрана, и если есть совпадение = true прове...
JF
12
Карта сайта