Why do we need constants in Rust if we have immutable variables?

Question

So I'm exploring Rust, and I have read about technical differences between constants and immutable variables. But it seems like immutable variables can do all things that constants can. Then what is the point of existence of constants, if immutable variables can fully substitute them?

Answer 1

There are two computational times that you should take into account:

• compilation time
• run time

The constant is computed at compilation time (and can be used in other compile-time computation) and hence the run time is faster, as it does need to compute it again.

Immutable variables are always computed at run time (from an external input not available at compulation time usually), and constants cannot be used there.

Answer 2

Then what is the point of existence of constants, if immutable variables can fully substitute them?

While there are certainly use cases in which constants may be interchangeable with immutable variables, the main distinction between the categories of values is their semantics.

• Declaring a constant immediately says a lot about what the value is to the reader: in particular, that the information that comprises the value must all be available at compile-time. This is a property which is enforced by the compiler. This sets up expectations for the reader about what the value is and what can be done with it.

• Of course, the initialization of immutable variables is much more flexible. There is no mandate that these values are known at compile time, and the calculations that produce such values may be arbitrarily complex and even evolve over time.

The differences are, perhaps, mainly stylistic (in many but not all use cases) but where readability and maintainability are involved the distinction is valuable.