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

Вопрос к людям, которые что-то подозревают о деятельности комитета или

принимают в ней участие или просто сочувствующим: почему в библиотеку концептов не добавили аналоги для всех тайп трейтов, только в виде концептов?

16 ответов

29 просмотров

потому что можно вместо однострочных концептов писать что то типо металямбд местных requires

Danya🔥
Чиво

вместо того чтобы писать концепт на простую штуку типо template<typename T> concept no_throw_X = std::is_nothowX_v<T>; Можно написать что то похожее на то, что происходит когда тебе нужно мелочь, которую ты больше нигде не используешь - в мире значений это лямбда [&x] = { x+=2}, в мире типов это template<typename T> requires std::nothowX_v<T> func(T x){ ... }

Danya🔥- Автор вопроса
Kelbon
вместо того чтобы писать концепт на простую штуку ...

Продержу в курсе: requires std::is_nothrow_*<T> не то же самое, что и requires std::no_throw_*<T> (во втором случае однострочный концепт)

Danya🔥
Продержу в курсе: requires std::is_nothrow_*<T> не...

я не хочу четко указывать что тут как называется, я демонстрирую идею

Подозреваю, дело в том, что не все из них имеют смысл в качестве концептов. Тут, скорее, по каждому трейту думать нужно отдельно

Danya🔥- Автор вопроса
Kelbon
я не хочу четко указывать что тут как называется, ...

Эта идея неправильная Я уже объяснил почему

подозреваю, в [p0872] эта тема поднималась, но это документ не для простых смертных

Vlad
подозреваю, в [p0872] эта тема поднималась, но это...

P0872R0: Discussion Summary: Applying Concepts to the Standard Library (by Beman Dawes) (2017-11-25)

Danya🔥- Автор вопроса
Danya🔥
Эта идея неправильная Я уже объяснил почему

Если интересно ПОЧЕМУ это не одно и то же, советую разузнать почему possible impl именно такой: https://en.cppreference.com/w/cpp/concepts/same_as

Danya🔥
Эта идея неправильная Я уже объяснил почему

нет ну есть конечно нюансы с ограничением и перегрузками, не знаю requires делает ли функцию более ограниченной... Логично было бы, если бы делало. Но все эти концепты несложно нааписать самому в 1 строку, а раздувать стандартную либу наверное не хотели, итак сначала просто, потом добавили везде _v _t, потом концепты, дальше что...

Danya🔥- Автор вопроса
Kelbon
нет ну есть конечно нюансы с ограничением и перегр...

https://stackoverflow.com/questions/52062386/does-constraint-subsumption-only-apply-to-concepts

Danya🔥- Автор вопроса
Vlad
подозреваю, в [p0872] эта тема поднималась, но это...

Под "не для простых смертных" я думал ты имеешь в виду, что он сложный.. Но open-std просит логин и пароль.. Видимо он ещё и для элиты..

Ofee Oficsu
Подозреваю, дело в том, что не все из них имеют см...

Для примера, если взять Type properties, то лишь по нескольким из них есть реальный смысл ограничить или перегрузить функции. Есть ещё, конечно, другие применения – например, ограничения на шаблонные параметры классов... Но могу предположить, что комитет не хочет спешить и сначала есть необходимость понять, что вообще программистам нужно, чтобы не разводить бардак в библиотеке, засоряя её потенциально малоиспользуемыми концептами, затрудняя их поиск и выбор

Kelbon
нет ну есть конечно нюансы с ограничением и перегр...

Концепты не являются синтаксическим сахаром над type traits и попытка написать их в одну строку приведёт к их некорректной реализации зачастую, на что верно указал @unterumarmung. Советую ознакомиться с обсуждаемой темой внимательнее. И желательно, если есть вопросы или недопонимание – продолжить обсуждение в @supapro

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

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

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Гайс, вопрос для разносторонее развитых: читаю стрим с юарта, нада выделять с него фреймы с определенной структурой, если ли чо готовое, или долбаться с ринг буффером? нада у...
Vitaly
9
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
длина пакета фиксированная, или меняется?
Okhsunrog
7
Карта сайта