AF
уже есть наверн
Size: a a a
2020 August 06
D
можно сделать decayed_same_as
Я думал, но не придумал как это сделать
AF
D
А, придумал
TS
А, придумал
template <typename T>
concept has_bool_foo = requires() {
requires std::same_as<std::decay_t<decltype(T::foo)>, bool>;
};
?D
template <typename T>
concept has_bool_foo = requires() {
requires std::same_as<std::decay_t<decltype(T::foo)>, bool>;
};
?namespace detail::d1 {
template <typename T, typename U>
concept decayed_same_as = std::same_as<std::decay_t<T>, std::decay_t<U>>;
}
template <typename T>
concept has_bool_foo = requires() {
{ T::foo } -> detail::d1::decayed_same_as<bool>;
};D
namespace detail::d1 {
template <typename T, typename U>
concept decayed_same_as = std::same_as<std::decay_t<T>, std::decay_t<U>>;
}
template <typename T>
concept has_bool_foo = requires() {
{ T::foo } -> detail::d1::decayed_same_as<bool>;
};Хотя наверное лучше remove_cvref
AF
template <typename T>
concept has_bool_foo = requires() {
requires std::same_as<std::decay_t<decltype(T::foo)>, bool>;
};
?эм
TS
что?
AF
что это
TS
что это
AF
хочешь спойлер?
D
template <typename T, typename U>
concept same_as_ignore_cvref = std::same_as<std::remove_cvref_t<T>, std::remove_cvref_t<U>>;Кайф жи
AF
template <typename T>
concept has_bool_foo = requires() {
requires std::is_same_v<decltype(T::foo), bool>;
};
concept has_bool_foo = requires() {
requires std::is_same_v<decltype(T::foo), bool>;
};
AF
template <typename T>
concept has_bool_foo = std::is_same_v<decltype(T::foo), bool>;
concept has_bool_foo = std::is_same_v<decltype(T::foo), bool>;
TS
template <typename T>
concept has_bool_foo = requires() {
requires std::is_same_v<decltype(T::foo), bool>;
};
concept has_bool_foo = requires() {
requires std::is_same_v<decltype(T::foo), bool>;
};
это будет работать иначе
AF
это будет смотреть реальный тип а не decay castить
TS
это будет смотреть реальный тип а не decay castить
ты забыл?!
TS
template <typename T>
concept has_bool_foo = std::is_same_v<decltype(T::foo), bool>;
concept has_bool_foo = std::is_same_v<decltype(T::foo), bool>;
ну это опять не решает проблему @unterumarmung
AF
ну у него тип const bool