Why should a member function that only reads object state usually have a trailing const?

Why should a member function that only reads object state usually have a trailing const?

1. It can be called through const objects and prevents ordinary mutation through this.
2. It makes every returned reference safe after the object is destroyed.
3. It guarantees the function is thread-safe.
4. It forces the compiler to evaluate the function at compile time.