Что означает const в конце объявления функции в C++?

Что такое const-квалификация метода?

Ключевое слово const в конце объявления функции (после списка параметров) называется const-квалификатором (const qualifier) или const-методом. Оно применяется только к нестатическим функциям-членам класса и даёт компилятору и программисту важную гарантию: этот метод не будет изменять состояние объекта, для которого он вызван. Грубо говоря, метод обещает, что он не тронет ни одно поле класса (кроме полей, объявленных как mutable).

Зачем это нужно?

Представьте, что у вас есть константный объект (объявленный с const). Вы не можете вызывать для него обычные (не-const) методы, потому что компилятор не знает, изменят ли они объект. Если бы это было разрешено, константность объекта была бы нарушена. Поэтому для константных объектов доступны только const-методы.

class Counter {
private:
    int count_ = 0;
public:
    // const-метод — можно вызывать для const-объектов
    int getCount() const {
        return count_;
    }
    // Обычный метод — изменяет объект
    void increment() {
        ++count_;
    }
};

int main() {
    const Counter constCounter;  // константный объект
    // constCounter.increment(); // ОШИБКА: increment() не const
    int val = constCounter.getCount(); // OK: getCount() — const

    Counter mutableCounter;      // обычный объект
    mutableCounter.increment();  // OK
    val = mutableCounter.getCount(); // OK
    return 0;
}

Что именно запрещает const-метод?

Внутри const-метода this имеет тип const ClassType* (указатель на константный объект). Это означает, что вы не можете:

• Изменять любые нестатические поля класса (кроме mutable).
• Вызывать не-const методы для *this (т.е. для того же объекта).
• Возвращать не-const ссылку или указатель на *this (если только вы не хотите обойти const-гарантию).

class Example {
private:
    int x = 0;
    mutable int cache = 0; // mutable — можно менять даже в const-методе
public:
    void safeMethod() const {
        // x = 5;          // ОШИБКА: изменение поля x
        // someNonConst(); // ОШИБКА: вызов не-const метода
        cache = 42;        // OK: cache объявлен как mutable
    }
    void someNonConst() {}
};

Когда использовать?

Используйте const в конце для всех методов, которые логически не должны изменять объект:

• Геттеры (getters) — получение значений полей.
• Методы, выполняющие только чтение (например, проверка условий, вычисления без побочных эффектов).
• Методы, возвращающие const-ссылку на внутренние данные.

Это не только даёт компилятору возможность оптимизировать код, но и делает интерфейс класса более понятным: программист сразу видит, какие методы безопасны для константных объектов.

Важное замечание про перегрузку

Можно иметь две версии одного метода — const и не-const. Компилятор выберет нужную в зависимости от константности объекта:

class Vector {
private:
    int* data_;
public:
    int& operator[](size_t i) {
        return data_[i]; // для не-const объектов — доступ на запись
    }
    const int& operator[](size_t i) const {
        return data_[i]; // для const-объектов — только чтение
    }
};

Это стандартный приём, например, в контейнерах STL.

Резюме

const в конце функции — это обещание не менять объект. Оно обязательно для вызова методов у константных объектов и помогает писать безопасный, самодокументируемый код. Если метод логически не изменяет состояние — всегда помечайте его как const.