Да, вам гарантировано, что a будет 1, b будет равно 2 и т. д. Каждый f() будет интерпретироваться в том порядке, в котором вы их написали.
f()