А⚙
оппачки Mandelbrot уже не shape
Плюсопроблемы
Size: a a a
2020 May 27
CD
Плюсопроблемы
схуяли
CD
а точно "высокоуровневые" языки не могут в этот уровень логики
А⚙
схуяли
Ну, то, что std::visit не проверяет, что переданы визиторы для всех типов — это проблема плюсов
CD
Ну, то, что std::visit не проверяет, что переданы визиторы для всех типов — это проблема плюсов
он это проверяет, это не относится к вопросу
А⚙
А, перепутал, в visit можно лишнее напихать
CD
это не ошибка
А⚙
это не ошибка
Почему это?
CD
Почему это?
а почему преобразование Comparable в Object не ошибка?
А⚙
Удаляешь тип из варианта — у тебя мёртвый код, а компилятор ничего не говорит
А⚙
а почему преобразование Comparable в Object не ошибка?
Вообще-то ошибка
А⚙
С Object нельзя сделать ничего полезного
CD
Вообще-то ошибка
Вы какое-то новое слово в полиморфизме придумали, преобразование к базовому классу ошибка
А⚙
Вы какое-то новое слово в полиморфизме придумали, преобразование к базовому классу ошибка
Это логическая ошибка
CD
Это логическая ошибка
Хм... интересно, вы только что назвали любой динамический полиморфизм логической ошибкой
А⚙
И да, полиморфизм не только подтиповый бывает
CD
Если он приводит к потере информации о типе
CD
В частности, фабрика, создающая инстансы интерфейса по имени - логическая ошибка
CD
Поскольку выполняет преобразует финальный тип к интерфейсу
А⚙
В частности, фабрика, создающая инстансы интерфейса по имени - логическая ошибка
По имени? Чего?