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

Что такое const-квалификатор функции-члена?

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

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

Основная цель — обеспечить константную корректность (const correctness). Это позволяет:

• Вызывать такие функции для const-объектов (объектов, объявленных с const).
• Передавать объекты по константной ссылке (const MyClass&) и при этом иметь доступ к их "читающим" методам.
• Повысить читаемость кода и избежать случайных изменений данных.

Как это работает?

Когда вы объявляете метод как const, компилятор внутри этого метода трактует указатель this как const ClassType* const this. То есть this указывает на константный объект. Это означает, что вы не можете изменять поля через this->field. Если попытаетесь — получите ошибку компиляции.

Пример правильного использования:

class Rectangle {
private:
    double width, height;
public:
    Rectangle(double w, double h) : width(w), height(h) {}
    
    // Константный метод — только чтение
    double getArea() const {
        return width * height; // Можно: поля не изменяются
    }
    
    // Неконстантный метод — может изменять поля
    void scale(double factor) {
        width *= factor;
        height *= factor;
    }
};

int main() {
    const Rectangle rect(5.0, 3.0);
    // rect.scale(2.0); // Ошибка! Нельзя вызвать неконстантный метод у const-объекта
    double area = rect.getArea(); // ОК: getArea() — const
    
    Rectangle mutableRect(10.0, 4.0);
    mutableRect.scale(2.0); // ОК
    mutableRect.getArea();  // ОК (const-метод можно вызывать и для неконстантных объектов)
}

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

• Всегда, когда метод логически не изменяет состояние объекта (геттеры, проверки, вычисления на основе полей).
• Если метод не является const, вы не сможете вызвать его для const-объекта или через const-ссылку.
• Не используйте const, если метод изменяет поля (сеттеры, модифицирующие операции).

Исключение: mutable

Иногда даже в const-методе нужно изменить какое-то поле (например, кэш или счётчик вызовов). Для этого существует ключевое слово mutable:

class DataFetcher {
private:
    mutable int cacheHitCount = 0; // mutable — можно менять даже в const-методе
    std::string cachedData;
public:
    std::string getData() const {
        cacheHitCount++; // ОК: mutable поле
        // cachedData = "new"; // Ошибка: cachedData не mutable
        return cachedData;
    }
};

Используйте mutable осторожно, только для технических нужд (кэши, счётчики, мьютексы).

const и перегрузка

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

class Array {
private:
    int data[100];
public:
    int& operator[](int index) { return data[index]; }       // Для записи
    const int& operator[](int index) const { return data[index]; } // Для чтения
};

int main() {
    Array arr;
    arr[0] = 42; // Вызов неконстантной версии
    
    const Array& constRef = arr;
    int val = constRef[0]; // Вызов const-версии
    // constRef[0] = 10; // Ошибка! const-версия возвращает const int&
}

Итог

const в конце функции — это обещание компилятору и программисту: "Я не изменю объект". Это мощный инструмент для написания безопасного, понятного и самодокументируемого кода. Привыкайте помечать все геттеры и методы, не меняющие состояние, как const — это одна из лучших практик C++.

class User {
    std::string name;
public:
    std::string& getName() { return name; } // Плохо: не const
    // Правильно:
    const std::string& getName() const { return name; }
};

class ThreadSafeCache {
    mutable std::mutex mtx;
    std::string data;
public:
    std::string getData() const {
        std::lock_guard<std::mutex> lock(mtx); // mutable mutex
        return data;
    }
};