DF
А почему атрибуты не должны менять поведение?
Size: a a a
2020 October 16
DF
В джаве вон аннотации ещё как меняют
CD
там было много проблем с определением эквивалентности двух типов, параметризованных произвольным объектом.
в каком случае
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1907r1.html - в этой бумаге есть много ссылок на другие бумаги, где всё это обсуждалось
в каком случае
&f<a> == &f<b>?http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1907r1.html - в этой бумаге есть много ссылок на другие бумаги, где всё это обсуждалось
ну для строковых литералов, наверное, это можно решить
CD
Dollar Føølish
А почему атрибуты не должны менять поведение?
потому что то, что меняет, есть и без атрибутов
АК
ну для строковых литералов, наверное, это можно решить
да хрен знает, почему не решали раньше
главное, что уже решили
главное, что уже решили
CD
да хрен знает, почему не решали раньше
главное, что уже решили
главное, что уже решили
я что-то очкую, что плохо, надо бы посмотреть
AN
там было много проблем с определением эквивалентности двух типов, параметризованных произвольным объектом.
в каком случае
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1907r1.html - в этой бумаге есть много ссылок на другие бумаги, где всё это обсуждалось
в каком случае
&f<a> == &f<b>?http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1907r1.html - в этой бумаге есть много ссылок на другие бумаги, где всё это обсуждалось
Если a==b?
АК
я что-то очкую, что плохо, надо бы посмотреть
не, там всё было ПОЧТИ плохо (и это даже почти приняли), но вовремя подсуетились и всё поправили
CD
короче, поверю, когда увижу "%d"_format до функтора разобранный
АК
короче, поверю, когда увижу "%d"_format до функтора разобранный
format<"%d"> уже можно реализовать, разобранный до функтора.про udl хз, не уверен
CD
format<"%d"> уже можно реализовать, разобранный до функтора.про udl хз, не уверен
можно простенький тест?)
CD
%d/%s разобрать
ПК
Dollar Føølish
А почему атрибуты не должны менять поведение?
Я так понимаю чтобы компилятор в котором нет атрибута (или стандарт в котором нет атрибута) собрал код
АК
Если a==b?
правда что ли? :)
а если
или если
короче, бумаги в руки и читать, я сам всего не знаю
а если
a - это NaN?или если
const char* - сравнивать указатели или строки?короче, бумаги в руки и читать, я сам всего не знаю
АК
можно простенький тест?)
долго писать..
тебя устроит пример из ctre?
тебя устроит пример из ctre?
std::optional<date> extract_date(std::string_view s) noexcept {
using namespace ctre::literals;
if (auto [whole, year, month, day] = ctre::match<"(\\d{4})/(\\d{1,2})/(\\d{1,2})">(s); whole) {
return date{year, month, day};
} else {
return std::nullopt;
}
}AN
правда что ли? :)
а если
или если
короче, бумаги в руки и читать, я сам всего не знаю
а если
a - это NaN?или если
const char* - сравнивать указатели или строки?короче, бумаги в руки и читать, я сам всего не знаю
Блин ну тут сравнение наверное зависеть от типов должно
CD
долго писать..
тебя устроит пример из ctre?
тебя устроит пример из ctre?
std::optional<date> extract_date(std::string_view s) noexcept {
using namespace ctre::literals;
if (auto [whole, year, month, day] = ctre::match<"(\\d{4})/(\\d{1,2})/(\\d{1,2})">(s); whole) {
return date{year, month, day};
} else {
return std::nullopt;
}
}ну это не то, я хочу, чтобы f<"%d"> был Callable(int), а f<%s> был Callable(string)
D
да хрен знает, почему не решали раньше
главное, что уже решили
главное, что уже решили
Как же решили?
CD
долго писать..
тебя устроит пример из ctre?
тебя устроит пример из ctre?
std::optional<date> extract_date(std::string_view s) noexcept {
using namespace ctre::literals;
if (auto [whole, year, month, day] = ctre::match<"(\\d{4})/(\\d{1,2})/(\\d{1,2})">(s); whole) {
return date{year, month, day};
} else {
return std::nullopt;
}
}а, или они регулярку разбирают? ctre, понял
АК
Блин ну тут сравнение наверное зависеть от типов должно
да, но это сравнение должно быть таким, чтобы компилятор на стадии компиляции мог сравнить объекты, причём чтобы это сравнение ещё было согласовано с хешированием (компилятору ж нужно хранить все инстанцирования) и чтобы юзер случайно не UB'нул внутрь компилятора