KF
ммм... ясно, спасибо. Еще интересует такая разбежка во времени. Тоже проверил, но только через time. После нескольких запусков время обеих функций перестало слишком различаться, это срабатывают какие-то оптимизации\кэши в репл?
Size: a a a
2021 July 06
AP
@time такие короткие функции бесполезно мерять
AP
там надо чтобы существенная доля секунды была
KF
ясно, спасибо большое.
A
>А вот второй вариант эквивалентен третьему или же деление идет там целочисленное, а результат приводится к BigFloat уже в конце
Судя по @code_lowered приведение в конце. Но может я не так @code_lowered понимаю
Судя по @code_lowered приведение в конце. Но может я не так @code_lowered понимаю
A
julia> function f(a, b)
r::BigFloat = a/b
return r
end
f (generic function with 1 method)
julia> @code_lowered f(10., 20.)
CodeInfo(
1 ─ %1 = a / b
│ %2 = Base.convert(Main.BigFloat, %1)
│ r = Core.typeassert(%2, Main.BigFloat)
└── return r
)
r::BigFloat = a/b
return r
end
f (generic function with 1 method)
julia> @code_lowered f(10., 20.)
CodeInfo(
1 ─ %1 = a / b
│ %2 = Base.convert(Main.BigFloat, %1)
│ r = Core.typeassert(%2, Main.BigFloat)
└── return r
)
AP
конечно в конце, деление ведь ниоткуда не знает что там bigfloat требуется
A
Да, конечно
DB
typeassert происходит из-за foo()::BigFloat
DB
Аннотация возвращаемого типа просто добавляет typeassert в конец функции
DB
r::BigFloat делает явный convert
DB
Вообще это вроде плохой стиль в джулии так писать насколько я понимаю
АО
Очень редко пригождающийся и обычно означает, что можно как-то более умно архитектурно решить.
DB
Самый джулиевский и правильный способ в моем понимании просто foo(a,b) = a/b
DB
Обобщенный и работает правильно со всеми типами
АО
Я видел только в ситуациях, когда есть формально type unstable функции, но при этом из каких-то соображений тип известен. Тогда можно дать компилятору эту подсказку.
DB
Сама по себе конструкция r::BigFloat = a/b имеет мало смысла
DB
Потому что если и a и b имеют тип Float64 они буду делиться как обычно и потом результат просто сконвертируется в BigFloat, но точности это не добавляет
АО
Мммм... Точность может быть меньше, по сравнению с вариантом, когда их предварительно в BigFloat сконвертили.