Динамическое приведение же не причем - это приведение в рантайме, но в нашем случае - возможно приведение на этапе компиляции (читай - нам известно, что тип result - int, а сравнение - с double, встроим приведение вида (double)result).
А вот сильная типизация - другое дело, но ведь тогда (впрочем, могу ошибаться, но смысл делать иначе?) оно должно нескомпилироваться / вылететь при выполнении (сравниваем несравнимое без явного приведения же).
Может быть я не совсем корректно выразился. Я имел в виду наличие/отстутствие неявного преобразования типов. В плюсах оно есть, да, но ведь в комиксе непонятно, что за язык.
ТАК, ЧТО ТАМ У НАС ТВОРИТСЯ В ЗАХВАТЫВАЮЩЕМ МИРЕ ВЕБ-КОМИКСОВ?..
£91
^ С. У Д
и у \ /1 /
ОЛИН ЧЕЛОВЕК
РОПСЕНШТИЛЬС/
Я, КАЖЕТСЯ, ПОЗНАЛ ТЩЕТУ БЫТИЯ.
ПИСТОЛЕТ В СЛИВНОМ _БАЧКЕ.
T' 1 even try to make myself useful!
( Yesterday I autocompleted a closiny l^brace. and do you know what he did?,
Don’t tell me... he
.. >
i&m
CowwwtStrip.com
А вот сильная типизация - другое дело, но ведь тогда (впрочем, могу ошибаться, но смысл делать иначе?) оно должно нескомпилироваться / вылететь при выполнении (сравниваем несравнимое без явного приведения же).
Или я как-то не так понял?
> cat test_0.c
#include
int main() {
int result = 0;
if (result >= 0.0 && result gcc test_0.c -o test_0; ./test_0
true