C строки vs string

@ReYalp · Регистрация: 27.12.2017

Студворк — интернет-сервис помощи студентам

почему первая программа выполнится медленнее в 2 раза чем вторая?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
int main() {     
  int errors = 0;    
  const char *pc = "a very long literal string";     
  for ( int ix = 0; ix < 1000000; ++ix )     {          
    int len = strlen( pc );          
    char *pc2 = new char[ len + 1];           
    strcpy( pc2, pc );          
    if ( strcmp( pc2, pc ))                
      ++errors;           
    delete [] pc2;     
  }     
  std::cout << "C-strings: "          << errors << " errors.\n"; 
}

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#include <iostream>
#include <string>
int main() {     
  int errors = 0;     
  std::string str( "a very long literal string" );     
  for ( int ix = 0; ix < 1000000; ++ix )     {           
    int len = str.size();           
    std::string str2 = str;
    if (str != str2)
      ++errors;
  }     
  std::cout << "string class: "
    << errors << " errors.\n";
}

@DrOffset · 05.02.2020, 22:23

ReYalp, какое издание? В 5-м не нахожу такого.

@Azazel-San · 05.02.2020, 22:24

Сообщение от ReYalp

UB бывает если читать с неактивного поля и все?

Если читать то, да, UB, но не в этом случае, я ошибся.
У меня по замерам примерно работает в одинаковое время, без учитывания SSO (чаще выигрывает версия с Си строками и memcpy).

@DrOffset · 05.02.2020, 22:52

Сообщение от ReYalp

издание 3

Лучше 5 читайте.

Да, действительно некоторые реализации string в старом С++ использовали COW. Поэтому копирование

C++
1
std::string str2 = str;

было почти бесплатным (просто увеличивался счетчик ссылок, память не выделялась).

Вот демонстрация работы в "старом" режиме: https://rextester.com/KVKNG24392

Добавлено через 10 минут

Сообщение от ReYalp

даже с вычислением strlen

Компилятор не глупый, и сам вынесет ваш одинаковый strlen за цикл. Так что совет выше по ручному вынесению полезен только в общеобразовательных целях (лучше выносить, а не полагаться на компилятор, но в данном случае это не играет роли). Тем более, что это пример из книги. Значит его положено (за исключением явных опечаток) использовать так, как есть.
Вот демо: https://gcc.godbolt.org/z/Ey_pmg
Обратите внимание, что в результирующем коде вообще нет вызова strlen, компилятор посчитал длину на этапе компиляции.

Assembler
1
        mov     edi, 27

Что касается SSO, то она тут не применяется, т.к. строка длиннее 16 символов.

Добавлено через 4 минуты
Вот демонстрация современной реализации с работой SSO (сократил размер строки, чтобы влезло в буфер):
https://rextester.com/RWIQ92807

@ReYalp · 05.02.2020, 22:54 **[ТС]**

DrOffset, почему SSO звучит так будто это какой-то супер механизм? Это же на деле просто массив в стеке, ничего необычного, насчёт 5го издания учту, только зря 100 страниц прочитал) ну ничего, заново перечитаю, но по сравнению со Страуструп ом Липпман во много раз интереснее пишет, хоть и не совсем для новичков тк с ходу о шаблонах указателя и тд

@DrOffset · 05.02.2020, 22:57

Сообщение от ReYalp

насчёт 5го издания учту, только зря 100 страниц прочитал

Да вряд ли зря. Многое не устарело.
Просто пятое издание описывает современный С++, поэтому неудивительно, что этого примера там уже нет.

@Azazel-San · 05.02.2020, 22:57

Сообщение от DrOffset

string в старом С++ использовали COW

А чего в С++11 решили переписать?)

@_stanislav · 05.02.2020, 23:05

Сообщение от ReYalp

но по сравнению со Страуструп ом Липпман во много раз интереснее пишет

не бери грех на душу

@DrOffset · 05.02.2020, 23:09

Сообщение от Azazel-San

А чего в С++11 решили переписать?)

https://gist.github.com/alf-p-... 514204e755

@ReYalp · 05.02.2020, 23:14 **[ТС]**

_stanislav, а что такого?

@Azazel-San · 05.02.2020, 23:20

DrOffset, а мне вот если память не изменяет, то строки из библиотеки folly, реализованы именно через COW и работают даже в многопотоке, и совместимы с std строками. Получается они все эти проблемы решили?
folly/FBString.h

@DrOffset · 05.02.2020, 23:38

Сообщение от Azazel-San

Получается они все эти проблемы решили?

Скорее просто эти проблемы не играют значительной роли в сфере применения folly.

@argcargv · 06.02.2020, 00:00

Сообщение от ReYalp

в данном случае активный член b , так?

Нет, т.к. имя b не ссылается на объект, чей lifetime начался и не закончился. Даже после obj.b = 8.0f;.

@ReYalp · 06.02.2020, 00:03 **[ТС]**

argcargv, а как тогда его сделать активным?

@argcargv · 06.02.2020, 00:05

ReYalp, пока [basic.life]/8 не починят --- никак.

@Avazart · 06.02.2020, 00:08

Сообщение от Avazart

ReYalp, гугли Small String Optimization (SSO)
Блин где то был видос про него от яндекс

Нашел таки...
c привязкой по времени: https://youtu.be/rJWSSWYL83U?t=1258

@Azazel-San · 06.02.2020, 00:54

Сообщение от argcargv

пока [basic.life]/8 не починят --- никак

А что с ним не так?

@_stanislav · 06.02.2020, 05:39

Сообщение от argcargv

[basic.life]/8

а что это такое? какой то документ стандарта?

@Azazel-San · 06.02.2020, 09:43

_stanislav, да, ссылка на пункт из стандарта, там о переиспользовании памяти идется.

@_stanislav · 06.02.2020, 09:56

Сообщение от Azazel-San

да, ссылка на пункт из стандарта

как туда попасть?

@ReYalp · 06.02.2020, 10:16 **[ТС]**

_stanislav, http://eel.is/c++draft/class.union#2 и тут сразу же basic.life в самом начале

Новые блоги и статьи Все статьи Все блоги /
сукцессия 29. Переход от одних деревьев на другие делать более или менее вероятностным? anaschu 12.07.2026 Насколько смена типов микоризы — исключительное событие в двухвековой сукцессии? Оценка вероятности в пространстве параметров В текущей версии модели успешно реализован ключевой механизм. . .	сукцессия 27. Думаю, как переделывать уже написанную статью с планами на сукцессию. anaschu 12.07.2026 Анализ соответствия модели требованиям Реализованные компоненты: Механизм закисления почвы через протонную помпу Конкуренция между типами микориз pH как триггер сукцессии C/ P соотношение. . .	Сукцессия 26. Мат модель создана. anaschu 12.07.2026 Модель смены растительных сукцессий посредством управления грибами работает внутри небольшой ячейки почвы, восстанавливающейся после пожара, где ненадолго бывшее царство хвойных снова захватили. . .	Решил проблему с ошибкой пагинации сообщений с сервера на алгоритме обхода дерева "Эстафета хвоста". Hrethgir 12.07.2026 Проблема была в том, что удалялась именно новая кнопка, а не старая. Ни один ИИ не обнаружил это, а сам я смог только когда с работой стало попроще и когда заставил работать будущее автономное. . .
сукцессия 25. Хронология ошибок anaschu 12.07.2026 # От 50-тонного гриба до устойчивого леса: хроника ошибок при построении модели вековой сукцессии микоризы ## О чём эта статья В процессе построения ОДУ-модели (система дифференциальных. . .	сукцессия 24. Промежуточное общее описание модели anaschu 12.07.2026 Хендофф: модель АМ→ЭКМ сукцессии микоризы (ризосфера, 50 лет) Содержание проекта Симуляция вековой (50 лет) экологической сукцессии в почве леса Основные участники: АМ-гриб, ЭКМ-гриб,. . .	сукцессия 23. Более физиологичная физиология, более экологичная экология, более диффурные диффуры. anaschu 12.07.2026 Что реально нашли и починили за эти 5 часов Правило Линдемана (КПД конверсии сахара в тело, kEff) — раньше 100% полученного углерода шло прямо в биомассу гриба; теперь только kEff=0. 5 (после. . .	сукцессия 22. От артефактов к физиологии: калибровка агентной модели грибной сукцессии для воспроизведения сезонной динамики и pH-плато anaschu 11.07.2026 Аннотация В данной работе представлена калибровка агентной модели динамики грибных сообществ (fungal-succession), направленная на устранение нефизичных артефактов (коллапс биомассы, мгновенное. . .

@DrOffset 19501 / 10106 / 2461 Регистрация: 30.01.2014 Сообщений: 17,825
	05.02.2020, 22:23
	ReYalp, какое издание? В 5-м не нахожу такого. 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	05.02.2020, 22:54 [ТС]
	DrOffset, почему SSO звучит так будто это какой-то супер механизм? Это же на деле просто массив в стеке, ничего необычного, насчёт 5го издания учту, только зря 100 страниц прочитал) ну ничего, заново перечитаю, но по сравнению со Страуструп ом Липпман во много раз интереснее пишет, хоть и не совсем для новичков тк с ходу о шаблонах указателя и тд 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	05.02.2020, 23:14 [ТС]
	_stanislav, а что такого? 0

@Azazel-San Mental handicap 1246 / 624 / 171 Регистрация: 24.11.2015 Сообщений: 2,429
	05.02.2020, 23:20
	DrOffset, а мне вот если память не изменяет, то строки из библиотеки folly, реализованы именно через COW и работают даже в многопотоке, и совместимы с std строками. Получается они все эти проблемы решили? folly/FBString.h 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	06.02.2020, 00:03 [ТС]
	argcargv, а как тогда его сделать активным? 0

@argcargv 248 / 70 / 9 Регистрация: 22.07.2018 Сообщений: 321
	06.02.2020, 00:05
	ReYalp, пока [basic.life]/8 не починят --- никак. 0

@Azazel-San Mental handicap 1246 / 624 / 171 Регистрация: 24.11.2015 Сообщений: 2,429
	06.02.2020, 09:43
	_stanislav, да, ссылка на пункт из стандарта, там о переиспользовании памяти идется. 1

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	06.02.2020, 10:16 [ТС]
	_stanislav, http://eel.is/c++draft/class.union#2 и тут сразу же basic.life в самом начале 1