В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

pro.cxx

3988 membersпожаловаться на группу
2020 October 03

АК

Александр Караев... in pro.cxx
Dmitry Sokolov
Кстати, относительно строк давно заметил, не хватает какого-то literal_view с гарантированным static storage duration. Очень удобно для всяких перегрузок понимать что память можно не выделять. Использую такой самодельный, очень удобно, типа req.headers.add(header::content_type, "application/json"_lv)
Если не ошибаюсь, такой подход в разных json либах используется. Там отдельный тип для литеральной строки
источник
10:53пожаловаться#1

DS

Dmitry Sokolov in pro.cxx
Так можно для expected строить noexcept error type с дополнительной информацией о контексте в виде такого literal view например. Как расширение error code.
источник
11:46пожаловаться#2

m

magras in pro.cxx
magras
Мне кажется сингтон все равно будет нужен, так как error_code хранит указатель на категорию, если я правильно помню.
Проверил свою память. Действительно нельзя использовать разные объекты категорий (каждый инстанс будет считаться независимой категорией), так как оператор сравнения не виртуальный.
источник
17:40пожаловаться#3

ДЛ

Дмитрий ⬡ Лапшин... in pro.cxx
Коллеги, подскажите с NRVO:

return a += b;

получается ведь хуже, чем

a += b;
return a;

? Потому что компилятор заведомо не докажет, что += возвращает ссылку на первый аргумент?
источник
18:00пожаловаться#4

AG

Alexander Galagutski... in pro.cxx
Дмитрий ⬡ Лапшин
Коллеги, подскажите с NRVO:

return a += b;

получается ведь хуже, чем

a += b;
return a;

? Потому что компилятор заведомо не докажет, что += возвращает ссылку на первый аргумент?
А вы пробовали посмотреть на бинарник?
источник
18:03пожаловаться#5

ДЛ

Дмитрий ⬡ Лапшин... in pro.cxx
Alexander Galagutskiy
А вы пробовали посмотреть на бинарник?
А там уже как оптимизатор положит.
источник
18:05пожаловаться#6

AG

Alexander Galagutski... in pro.cxx
Я вот и пытаюсь понять почему компилятор не будет знать о том что это два разных выражения
источник
18:06пожаловаться#7

AG

Alexander Galagutski... in pro.cxx
Это в спецификации где-то указано мне искренне интересно понять причины таких выводов
источник
18:07пожаловаться#8

D

Dmitriy in pro.cxx
Дмитрий ⬡ Лапшин
Коллеги, подскажите с NRVO:

return a += b;

получается ведь хуже, чем

a += b;
return a;

? Потому что компилятор заведомо не докажет, что += возвращает ссылку на первый аргумент?
Да
источник
18:08пожаловаться#9

D

Dmitriy in pro.cxx
Аналогично возврату L-value ref из тернарного оператора и т.п.
источник
18:08пожаловаться#10

AG

Alexander Galagutski... in pro.cxx
Dmitriy
Да
А почему так ? Есть где посмотреть детали ?
источник
18:08пожаловаться#11

D

Dmitriy in pro.cxx
Alexander Galagutskiy
А почему так ? Есть где посмотреть детали ?
Потому что они возвращают L-value reference
источник
18:08пожаловаться#12

AG

Alexander Galagutski... in pro.cxx
Dmitriy
Потому что они возвращают L-value reference
А разве оптимизация не должна помочь этому ? Я имею введу что тут очевидно видно что дальше не используется это временное значение
источник
18:10пожаловаться#13

D

Dmitriy in pro.cxx
Alexander Galagutskiy
А разве оптимизация не должна помочь этому ? Я имею введу что тут очевидно видно что дальше не используется это временное значение
Стрельба в ногу Стандартом не запрещена...))
Надо подойти к вопросу с чисто формальной точки зрения. Ссылка Type& не считается временным значением.
источник
18:11пожаловаться#14

AG

Alexander Galagutski... in pro.cxx
Dmitriy
Стрельба в ногу Стандартом не запрещена...))
Надо подойти к вопросу с чисто формальной точки зрения. Ссылка Type& не считается временным значением.
Я либо не понимаю либо я застрял немного в другом языке. Разве стандарт не говорит о видимом виде исполнения? Или в данном случае это уже компилятор выбирает выбрать так или все же исполнить так но с оптимизацией
источник
18:14пожаловаться#15

AG

Alexander Galagutski... in pro.cxx
Dmitriy
Стрельба в ногу Стандартом не запрещена...))
Надо подойти к вопросу с чисто формальной точки зрения. Ссылка Type& не считается временным значением.
Или я непросканировал слово стрельба в ногу не запрещена и тогда все сходится )
источник
18:15пожаловаться#16

AK

Andrei K in pro.cxx
Dmitriy
Потому что они возвращают L-value reference
Я стесняюсь спросить, а как lvalue reference связано с copy elision?
источник
18:18пожаловаться#17

AG

Alexander Galagutski... in pro.cxx
Andrei K
Я стесняюсь спросить, а как lvalue reference связано с copy elision?
Я сам сижу и пытаюсь понять
источник
18:18пожаловаться#18

VB

Vladimir Bayrashevsk... in pro.cxx
Andrei K
Я стесняюсь спросить, а как lvalue reference связано с copy elision?
Если вы видите "A& operator+=(A& lhs, const A& rhs);", вы можете сказать _точно_, что возвращает этот оператор? Вот и компилятор тоже не может, не пытаясь решить неразрешимую задачу (см. теорема Райса).
источник
19:03пожаловаться#19

AK

Andrei K in pro.cxx
Vladimir Bayrashevskiy
Если вы видите "A& operator+=(A& lhs, const A& rhs);", вы можете сказать _точно_, что возвращает этот оператор? Вот и компилятор тоже не может, не пытаясь решить неразрешимую задачу (см. теорема Райса).
Это может работать по-разному. Сильно зависит от оптимизатора. К примеру, пасс оптимизитора, который делает RVO может находится после того как был сгенерирован код для += и оптимизатор может инферрить какие-то вещи о возвращаемом значении.
источник
19:05пожаловаться#20