CD
Более того, стиль изложения, когда ты даешь структуру, а потом "доказываешь" её свойства, сильно ближе к тому-самому-математическому языку. В условных impl трейтов в Rust это будет прямо явно этот стиль
Size: a a a
2020 June 26
АК
Более того, стиль изложения, когда ты даешь структуру, а потом "доказываешь" её свойства, сильно ближе к тому-самому-математическому языку. В условных impl трейтов в Rust это будет прямо явно этот стиль
хорошо, пачка static_assert сразу после { выглядит разумным эквивалентом CRTP, но я всё-таки ещё обдумаю
CD
хорошо, пачка static_assert сразу после { выглядит разумным эквивалентом CRTP, но я всё-таки ещё обдумаю
Не очень понятно, почему их пачка. По одному на каждый I
CD
Другое дело, что статический полиморфизм мотивирует тебя намного атомарнее писать интерфейсы
АК
Не очень понятно, почему их пачка. По одному на каждый I
ну, да, в этой пачке их столько же, сколько в списке базовых классов.
а атомарные интерфейсы - это как раз цель (в конце концов, можно перемешать с виртуальными)
а атомарные интерфейсы - это как раз цель (в конце концов, можно перемешать с виртуальными)
CD
Ну вот я как-то пытался выписать структуру наследования в районе MoveConstructible и у меня мозги конкретно плавились в этих цепочках :)
CD
Cтроить там примеры, когда assign() повторяющий конструкторы есть, а MoveAssign нет
O
да, класс шаблонный
Пока функция не инстанцирована, компилятор не заботится о том, что в ней происходит просто потому что он не имеет представления о том, что в этой функции вообще может происходить, полагаю, дело в этом. Я думаю, в этом чате много тех, кто сможет корректнее и в более точных терминах, чем я объяснить суть проблемы, но подозреваю, что в общем случае это не решаемо
JS
можно написать тесты, в которых этот класс инстанцируется с типичными параметрами
2020 June 27
P
Пока функция не инстанцирована, компилятор не заботится о том, что в ней происходит просто потому что он не имеет представления о том, что в этой функции вообще может происходить, полагаю, дело в этом. Я думаю, в этом чате много тех, кто сможет корректнее и в более точных терминах, чем я объяснить суть проблемы, но подозреваю, что в общем случае это не решаемо
похоже на то. Сам класс шаблонный, и в нем итератор. Спасибо
P
можно написать тесты, в которых этот класс инстанцируется с типичными параметрами
Так и сделал, поэтому и заметил
ТО
может задам глупый вопрос но не нашел ответа вот есть язык с++ он знает что существует арифметический символ "+" но вот вопрос как он понимает это. явно в языке зашита функция которая объясняет что такое плюс но как объяснить логикой это компу
ТО
то есть как может выглядеть подобная функция
ТО
если скажем я решил поизвращятся и в компиляторе написать не 2+2 а 2 функция заменяющая плюс 2
VS
может задам глупый вопрос но не нашел ответа вот есть язык с++ он знает что существует арифметический символ "+" но вот вопрос как он понимает это. явно в языке зашита функция которая объясняет что такое плюс но как объяснить логикой это компу
op1 + op2 становится вызовом функции operator+(op1, op2)VS
Это понимает компилятор и преобразует в ассемблерные инструкции.