NP
Функцию swap свободную надо сделать, которая будет в том же namespace что и класс
Угу, или френда бабахнуть)
Size: a a a
2020 March 23
ПК
Угу, или френда бабахнуть)
Это то же самое будет
NP
Это то же самое будет
Не отрицаю
NP
это плохой трейт
Почему?
PK
трейты должны быть в духе
Serializable -- функциональность показывать, а не детали реализации вскрыватьPK
сложно придумать удачные примеры, но про это итак много копий сломано
NP
трейты должны быть в духе
Serializable -- функциональность показывать, а не детали реализации вскрыватьТак
Swappable и показывает функциональность; он говорит что тип является Swappable если следующий код заработает:using std::swap; swap(a, b);
PK
ну и по реализации этого трейта: вот засфинаишь через declval по методу
swap(), и что, теперь вообще всё остальное нельзя свапать? :)PK
есть же static duck typing в метапрограммировании на плюсах -- если что-то не сработает, то в лучшем случае где-то ебнется статик ассерт и компиляция не пройдет :D
NP
ну и по реализации этого трейта: вот засфинаишь через declval по методу
swap(), и что, теперь вообще всё остальное нельзя свапать? :)Вообще не понял, при чем тут SFINAE?
PK
ты же в изначальном вопросе хотел узнать есть ли метод swap у параметра функции? это только так и делается
NP
ты же в изначальном вопросе хотел узнать есть ли метод swap у параметра функции? это только так и делается
А, ну да, так там и без этого есть SFINAE
NP
И есть fallback для movable значений
PK
Так
Swappable и показывает функциональность; он говорит что тип является Swappable если следующий код заработает:using std::swap; swap(a, b);
а вот это... ну своп итак шаблонная функция, зачем ей еще проверок докручивать? мне кажется, ее лучше не сделаешь
NP
а вот это... ну своп итак шаблонная функция, зачем ей еще проверок докручивать? мне кажется, ее лучше не сделаешь
Вы удивитесь, но даже в текущем виде
std::swap проверяет некоторые вещи по SFINAEPK
круто тогда :) но кажется, именно тут нечего сделать лучше, но я рад ошибаться! :D
m
Зачем тогда у memcpy такая сигнатура?
void *memcpy (void *__restrict __dest, const void *__restrict __src, size_t __n)Мне кажется здесь это для того чтобы донести до компилятора, что dst и src не пересекаются.
ПК
Мне кажется здесь это для того чтобы донести до компилятора, что dst и src не пересекаются.
Значит void* алиасится с другим void*? А с другим типом нет?
m
Значит void* алиасится с другим void*? А с другим типом нет?
Естественно два указателя или ссылки на один и тот же тип могут указывать на один объект.
Но, на сколько я знаю, только char и byte могут алиаситься с другими типами.
Но, на сколько я знаю, только char и byte могут алиаситься с другими типами.
PK
Естественно два указателя или ссылки на один и тот же тип могут указывать на один объект.
Но, на сколько я знаю, только char и byte могут алиаситься с другими типами.
Но, на сколько я знаю, только char и byte могут алиаситься с другими типами.
три:
char, unsigned char и std::byte