CD
Ещё придётся разбираться с котлами в аду, которые написаны джунами на C++03 под MSVC 6.0 с использованием лучших agile методик разработки и потом были любезно переделаны под компиляцию новеньким gcc
Size: a a a
2021 February 23
DK
Ещё придётся разбираться с котлами в аду, которые написаны джунами на C++03 под MSVC 6.0 с использованием лучших agile методик разработки и потом были любезно переделаны под компиляцию новеньким gcc
Я думал Ад это ассемблер
CD
David Kravets
Я думал Ад это ассемблер
Вы просто не писали под MSVC 6.0
MK
ссс
У тебя так много чатов и c#, и c++, и даже rust)
Хм... Чувствую себя каким-то не правильным. C++ и Scala в чатах...
MK
Добавить что ли Rust и Haskell...
DK
Добавить что ли Rust и Haskell...
А где чаты искать ?
ID
David Kravets
А где чаты искать ?
AP
Вы просто не писали под MSVC 6.0
Мммм... ч`удные времена эмуляции partial template specialization через вложенную шаблонную структуру
W
А как правильно указывать спецификаторы и квалификаторы для концептов?
Т.е. хочется различать два концепта:
Т.е. хочется различать два концепта:
template <class T>Или концепты так не умеют?
concept constexpr_noexcept_some = requires(T t) {
{ constexpr t.test() const noexcept } // это не работает
->std::same_as<bool>;
};
template <class T>
concept runtime_excepted_mutable_some = requires(T t) {
{ t.test() }
->std::same_as<bool>;
};
AD
А как правильно указывать спецификаторы и квалификаторы для концептов?
Т.е. хочется различать два концепта:
Т.е. хочется различать два концепта:
template <class T>Или концепты так не умеют?
concept constexpr_noexcept_some = requires(T t) {
{ constexpr t.test() const noexcept } // это не работает
->std::same_as<bool>;
};
template <class T>
concept runtime_excepted_mutable_some = requires(T t) {
{ t.test() }
->std::same_as<bool>;
};
requires(T const t) {
{ t.test() } noexcept -> std::same_as<bool>;
}AD
константность и
noexcept так, для constexpr встроенного механизма нетAP
Andrey Davydov
константность и
noexcept так, для constexpr встроенного механизма нетМожно попробовать передать результат в consteval функцию
AP
* я не пробовал
W
Можно попробовать передать результат в consteval функцию
Щас попробуем. Вроде consteval уже работает в gcc-10.2 и clang-11.0.1
W
Щас попробуем. Вроде consteval уже работает в gcc-10.2 и clang-11.0.1
Теперь GCC собирает, и ведет себя ожидаемо, а ошибку clang я не понимаю.
https://godbolt.org/z/5Tds6z
https://godbolt.org/z/5Tds6z
AP
Теперь GCC собирает, и ведет себя ожидаемо, а ошибку clang я не понимаю.
https://godbolt.org/z/5Tds6z
https://godbolt.org/z/5Tds6z
А попробуйте
test_some(value.test())AP
* с планшета godbolt не работает :(
AP
** точнее печатать не даёт
W
А попробуйте
test_some(value.test())Та же ошибка.
note: because substituted constraint expression is ill-formed: call to consteval function 'test_some<bool>' is not a constant expression
{test_some(value.test())};AD
Теперь GCC собирает, и ведет себя ожидаемо, а ошибку clang я не понимаю.
https://godbolt.org/z/5Tds6z
https://godbolt.org/z/5Tds6z
Я не знаю, что для вас ожидаемо, но разница у gcc и clang-а в том, как относится к параметру requires expression-а (
value в вашем примере). GCC считает его core constant expression, а clang — нет, и я склонен согласиться с clang-ом.