А⚙
Хм... интересно, вы только что назвали любой динамический полиморфизм логической ошибкой
Не обязательно. Я говорю, что у Object никакого полезного поведения нет
Size: a a a
2020 May 27
CD
По имени? Чего?
unique_ptr<shape_interface> shape_from_name(std::string_view name) {
if (name == "circle") return make_unique<ciricle>();
//...
}CD
очевидная логическая ошибка в этом коде
А⚙
очевидная логическая ошибка в этом коде
Если нет типа ciricle, то не скомпилируется
CD
Если нет типа ciricle, то не скомпилируется
тип circle есть и наследует shape_interface
CD
вы заявляете, что преобразование circle в shape_interface логическая ошибка
А⚙
тип circle есть и наследует shape_interface
А я про ciricle сказал
CD
А я про ciricle сказал
не circle а circle?
А⚙
не circle а circle?
Ты одно и тоже два раза написал
CD
Ты одно и тоже два раза написал
так ты это мне сказал
А⚙
unique_ptr<shape_interface> shape_from_name(std::string_view name) {
if (name == "circle") return make_unique<ciricle>();
//...
}ci ri cle
А не
ci r cle
А не
ci r cle
CD
ну это очевидная опечатка
CD
сейчас бы доебываться до такого
А⚙
сейчас бы доебываться до такого
Я думал, в этом весь смысл примера
CD
Я думал, в этом весь смысл примера
нет, вы утверждаете, что преобразование к базовому классу логическая ошибка
А⚙
нет, вы утверждаете, что преобразование к базовому классу логическая ошибка
Конкретно к Object
CD
просто это связанные вещи, не может быть разного ответа на "является ли логической ошибкой преобразование к базовому классу" и "является ли логической ошибкой допустимость лишней возможности в visit"
А⚙
просто это связанные вещи, не может быть разного ответа на "является ли логической ошибкой преобразование к базовому классу" и "является ли логической ошибкой допустимость лишней возможности в visit"
Какое безапеляционное и безосновательное утверждение
CD
производный класс удовлетворяет контракту базового, так что является его полиморфной формой
множество с лишней возможностью вызова удовлетворяют контракту "вызываемо с заданными типами", так что является его полиморфной формой
множество с лишней возможностью вызова удовлетворяют контракту "вызываемо с заданными типами", так что является его полиморфной формой
А⚙
Производный класс не удовлетворяет контракту базового в общем случае