v
Size: a a a
2020 April 26
AK
это не должно быть важно, мы гоним поток байт с платформы LE и перекладываем в регистры/память другой системы с LE, чтоб там об этих данных будет думать сетевая карта - пофиг
ARM-ы умеют в be, Power ещё жива.
v
у меня такое впечатление, что ошибка
'==': no conversion from 'R' to '_Ty1' не SFINAE-friendly, может такое быть? И как это можно выяснить, где-то есть перечень типов ошибок?Потому что ты неправильную специализацию написал. На цппрефе в статье про void_t есть же правильный пример.
DF
Да,должна перегрузка отвалиться
DF
Просто деклтайп должен быть в позиции типа
A
template <typename L, typename R, typename = std::void_t<>>
struct is_equal_comparable {
static constexpr bool value = false;
};
template <typename L, typename R>
struct is_equal_comparable<L, R, std::void_t<decltype(std::declval<L>() == std::declval<R>())>> {
static constexpr bool value = true;
};
A
std::void_t<> - это void. std::void_t<decltype(whatever)> - тоже войд. Как минимум эти две специализации идентичны и должна быть ошибка, как максимум - отвалится та, где whatever не вычислимо, и тогда кажется, что здесь перепутаны ветки true и false. Но по факту это работает правильно, а я ничего не понимаю.v
std::void_t<> - это void. std::void_t<decltype(whatever)> - тоже войд. Как минимум эти две специализации идентичны и должна быть ошибка, как максимум - отвалится та, где whatever не вычислимо, и тогда кажется, что здесь перепутаны ветки true и false. Но по факту это работает правильно, а я ничего не понимаю.Не идентичны. Пример с бегином и ендом же работает.
v
std::void_t<> - это void. std::void_t<decltype(whatever)> - тоже войд. Как минимум эти две специализации идентичны и должна быть ошибка, как максимум - отвалится та, где whatever не вычислимо, и тогда кажется, что здесь перепутаны ветки true и false. Но по факту это работает правильно, а я ничего не понимаю.Ты ставил свинью в первичный шаблон, который никогда не сработает, потому что специализация приоритетнее.
v
template <typename L, typename R, typename = std::void_t<>>
struct is_equal_comparable {
static constexpr bool value = false;
};
template <typename L, typename R>
struct is_equal_comparable<L, R, std::void_t<decltype(std::declval<L>() == std::declval<R>())>> {
static constexpr bool value = true;
};
Здесь свинья в специализации.
A
Это я нашёл очередной баг в msvc, или здесь что-то хитрое происходит? https://godbolt.org/z/DvRQVJ