Динамическое приведение же не причем - это приведение в рантайме, но в нашем случае - возможно приведение на этапе компиляции (читай - нам известно, что тип result - int, а сравнение - с double, встроим приведение вида (double)result).
А вот сильная типизация - другое дело, но ведь тогда (впрочем, могу ошибаться, но смысл делать иначе?) оно должно нескомпилироваться / вылететь при выполнении (сравниваем несравнимое без явного приведения же).
Может быть я не совсем корректно выразился. Я имел в виду наличие/отстутствие неявного преобразования типов. В плюсах оно есть, да, но ведь в комиксе непонятно, что за язык.
ТАК, ЧТО ТАМ У НАС ТВОРИТСЯ В ЗАХВАТЫВАЮЩЕМ МИРЕ ВЕБ-КОМИКСОВ?..
£91
^ С. У Д
и у \ /1 /
ОЛИН ЧЕЛОВЕК
РОПСЕНШТИЛЬС/
Я, КАЖЕТСЯ, ПОЗНАЛ ТЩЕТУ БЫТИЯ.
ПИСТОЛЕТ В СЛИВНОМ _БАЧКЕ.
Well, actually, we can see this as an opportunity. It’s kind of like having an intern...
How so?
Good, sood... And now you're soinQ to \ write tests that test the ) tests. In COBOL. J
opidoys & ConrtmitStrip.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