AO
ну я о том же :)
Size: a a a
2021 July 31
A
Мб, см start_lifetime_as()
A
Ну вот зря, описывать семантические ограничения на обобщенные типы это прямо хорошо так
A
C23 норм будет
Dv
Серьёзно?
AO
да, очень ждём с23.
главное чтобы оно дошло до людей, в отличие от с11...
главное чтобы оно дошло до людей, в отличие от с11...
A
Ну, оно будет как c++11 без констэкспр, ооп и шаблонов
Dv
А я уже глянул. Атрибуты будут, например. Полезное дополнение.
AO
constexpr был бы полезен
Dv
Ух, вот это точно. Тогда бы можно было жить!
A
Ты штоа, это же усложнит написание компилятора для си
A
Ну да
Dv
Так ли уж усложнит? У всех компиляторов уже есть эта фича для плюсов.
A
Их вообще в 17-й хотели втащить
A
ВасянСуперПуперСиКомпиль теперь будет сделать сложнее же
Dv
Вообще, я в этом не уверен.
Dv
Разве
constexpr гарантирует компилтайм вычисление?FO
Нет :-)
A
Нет, это же не констевил
c
(<*>).(<*>)
какая-то странная система типов:
» [](I input) -> ParsingResult<JsonString, I> {
» return visit([input](auto&& value) {
» if constexpr (is_same_v<decltype(value), JsonBool>)
» return make_parsing_success<JsonBool, I>(
» value,
» input
» );
» ...
template <typename A, typename I>
struct ParsingSuccess: pair<A, I> {};
template <typename A, typename I>
using ParsingResult = variant<ParsingError<I>, ParsingSuccess<A, I>>;
какая-то странная система типов:
» [](I input) -> ParsingResult<JsonString, I> {
» return visit([input](auto&& value) {
» if constexpr (is_same_v<decltype(value), JsonBool>)
» return make_parsing_success<JsonBool, I>(
» value,
» input
» );
» ...
template <typename A, typename I>
struct ParsingSuccess: pair<A, I> {};
template <typename A, typename I>
using ParsingResult = variant<ParsingError<I>, ParsingSuccess<A, I>>;