Телеграмм чат группы ProCxx страница 15084

14:28пожаловаться #1

Alex in pro.cxx

magras

char8_t предназначен именно для хранения utf8 символов. Не надо в нем хранить бинарные данные. Если нужно избежать aliasing'а, есть [u]int8_t. Более того, для basic_string<char8_t> есть тайпдеф u8string. Ну и в целом практика использования строки для бинарных данных мне кажется порочной. Нужен SSO? Есть folly::small_vector. Я думаю есть еще миллион библиотек, которые предоставляют подобные типы.

[u]int8_t никак не помогает избежать алиасинга, это обычно тайпдеф на char / uchar.

14:28пожаловаться #2

Alex

[u]int8_t никак не помогает избежать алиасинга, это обычно тайпдеф на char / uchar.

Да здесь я не прав. Но всегда остается прием с enum'ом.

14:29пожаловаться #3

Хотя кажется, enum имеет минимальный размер int'а. хм.

14:30пожаловаться #4

Или это только при автоматическом выводе типа?

14:30пожаловаться #5

АР

Alexander Zaitsev

ну один к одному все концепты\трейты - не уверен. черпать идеи - определенно можно и нужно

ну грубо говоря, как соотносятся концепты и трейты? Можно сказать что концепт - своего рода "lazy" трейт. Простой фичей языка можно потребовать от класса выполнение концепта:
static_assert(some_concept<MyClass>);
по сути переводя его из lazy в eager для конкретного класса.

14:33пожаловаться #6

Alex in pro.cxx

magras

Или это только при автоматическом выводе типа?

вроде бы нет проблем: https://godbolt.org/z/XrM2Dr

14:33пожаловаться #7

АР

можно даже ввести сахарок а-ля
class MyClass : some_concept { ... // требуем от класса удовлетворение концепта

Александр Караев... in pro.cxx

14:34пожаловаться #8

АК

можно даже ввести сахарок а-ля
class MyClass : some_concept { ... // требуем от класса удовлетворение концепта

class MyClass requires some_concept {

14:35пожаловаться #9

АР

собственно остается только один простой шаг: сделать особый вид концептов, который можно будет использовать только в eager манере и voila: мы получили трейты в с++

14:35пожаловаться #10

АР

Александр Караев

class MyClass requires some_concept {

sticker.webp

(27.24 Кб)

14:35пожаловаться #11

АР

допустим можно будет назвать их "explicit" концептами

Дмитрий ⬡ Лапшин... in pro.cxx

14:36пожаловаться #12

ДЛ

и так перегрузки сильно нагружают компиляцию, а создание правил перегрузки по возвращаемому значению и резолвинг этого всего зоопарка попросту взорвет времена компиляции

Именно поэтому не агитирую.

14:40пожаловаться #13

magras

Или это только при автоматическом выводе типа?

Оказалось с точностью до наоборот: если помещаемся в [unsigned] int, размер enum'а не должен превышать [unsigned] int. Это все имеет значение только для unscoped enums без явно заданного underlying типа.

https://eel.is/c++draft/dcl.enum#7

14:45пожаловаться #14

Anatoly Tomilov in pro.cxx

Rажется сахарок совсем уж незначительный. Можно ведь в скоупе класса прямо написать static_assert.

14:45пожаловаться #15

АР

кажется, класс должен быть завершен перед static_assert

14:50пожаловаться #16

АР

вообще вопрос не в значительности сахарка а в том что нам дают трейты по сравнению с концептами

14:51пожаловаться #17

вообще вопрос не в значительности сахарка а в том что нам дают трейты по сравнению с концептами

Ну в расте они используются в том числе для runtime полиморфизма. Я не уверен, что эта часть легко переносится в плюсы.

14:53пожаловаться #18

АР

и мне кажется что если компиляторы кешируют удовлетворение классом концептов (что вероятно), профит просто никакой

14:53пожаловаться #19

АР

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