ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Четверг
21 ноября
1457519 Топик полностью
VladislavS. (20.08.2024 23:54, просмотров: 63) ответил Cкpипaч на На самом деле, я не вижу практической ценности отказа от "строгой"(кхе-кхе) типизации. В первом вашем варианте хотя бы проверяется что а и b одного типа. Но и тут можно дохрена к чему придраться (а это точно числовые типы?!)
А почему типы должны быть одинаковыми? И почему числовыми? Достаточно чтобы была определена операция сравнения. Да хоть бульдога с носорогом. Ну не зря же пытаются закостылить макросом - шаблон хотят, а нетути их в С. Если же действительно надо ограничить типы, то в языке для этого есть мощный механизм концептов и операций с типами. Критерий "практически всегда генерит корректный код" убийственный. Хотелось бы всегда корректный код.