I have the following code in my application. Why do we use the const
keyword with the return type and after the method name?
const T& data()
const T& data() const { return data_; }
const after member function indicates that data is a constant member function and in this member function no data members are modified.
const return type indicates returning a constant ref to T
The first const
means the function is returning a const T
reference.
The second one says that the method is not changing the state of the object. I.e. the method does not change any member variables.
const T& data() const { return data_; }
^^^^^
means it will return a const
reference to T
(here data_
)
Class c;
T& t = c.data() // Not allowed.
const T& tc = c.data() // OK.
const T& data() const { return data_; }
^^^^^
means the function will not modify any member variables of the class (unless the member is mutable
).
void Class::data() const {
this->data_ = ...; // is not allowed here since data() is const (unless 'data_' is mutable)
this->anything = ... // Not allowed unless the thing is 'mutable'
}
The const
(and volatile
) qualifier binds to the left. This means that any time you see const
, it is being applied to the token to the left of it. There is one exception, however; if there's nothing to the left of the const
, it binds to the right, instead. It's important to remember these rules.
In your example, the first const
has nothing to the left of it, so it's binding to the right, which is T
. This means that the return type is a reference to a const T
.
The second const does have something to the left of it; the function data()
. This means that the const
will bind to the function, making it a const
function.
In the end, we have a const function returning a reference to a const T.