Использование const. Часть 2.

Продолжаем захватывающую беседу о возможных использованиях многоликого const. Начало было тут: Использование const. Часть 1.

const данные в классе
Значения const данных класса задаются один раз и навсегда в конструкторе.

class CFoo
{
  const int num;
public:
  CFoo(int anum);
};
CFoo::CFoo(int anum):num(anum)
{
...
}

Интересный момент со static const данными класса. Вообще для данных целого типа (enum, int, char) их значения можно задавать прямо в объявлении класса. Вот этот код правильный с точки зрения стандарта:

class CFoo
{
public:
  static const int num=50;
};

Но в Visual C++ 6.0 такое задание значения не работает, это один из багов Visual C++ 6.0. Тут задавать значение static const переменной следует отдельно. Не могу сказать, что эта бага меня сильно расстраивает. Вместо того, чтобы запоминать, когда можно при объявлении писать инициализацию, когда нельзя, лучше сразу так написать:

class CFoo
{
public:
  static const int num ;
};

const int CFoo::num = 20;

const функции в классе
Функция класса, объявленная const, трактует this как указатель на константу. Вообще тип this в методе класса X будет X*. Но если метод класса объявлена как const, то тип this будет const X*. В таких методах не может быть ничего присвоено переменным класса, которые не объявлены как static или как mutable (о mutable потом). Также const-функции не могут возвращать не const ссылки и указатели на данные класса и не могут вызывать не const функции класса. const-функции иногда называют инспекторами (inspector), а остальные мутаторами (mutator). Я пыталась найти для mutator перевод, который будет звучать получше, но в переводах я ничего подходящего не встречала, а Яндекс.Лингво смог мне предложить только "ртутный вентиль", что сюда явно не подходит.

class CFoo
{
public:
  int inspect() const;   // Эта функция обещает не менять *this
  int mutate();          // Эта функция может менять *this
};

В классе могут присутствовать две функции отличающиеся только const.

class CFoo
{
  ...
public:
  int func () const;
  int func ();
};

Не всякая функция может быть объявлена константной. Конструкторы и деструкторы не могут быть объявлены как const. Также не бывает static const функций.

class CFoo
{
  int i;
public:
  static int func () const;    //ошибка
};

Константный класс
Официально такого понятия как константный класс (const class) не существует. Но часто под этим понимается объявление вида const CFoo p;.
Экземпляр класса CFoo, объявленный таким образом, обещает сохранить физическое состояние класса, не менять его. Как следствие, он не может вызвать не const функции класса CFoo. Все данные, не объявленные как const, начинают трактоваться как const. То есть
int становится int const
int * становится int * const
const int * становится int const *const
и так далее.


На этом все о const, но будет еще отдельный пост о том, как избавиться от const, то есть о mutable и const_cast.


Ссылки по теме:
Advice From the C++ Experts: Be Const-Correct
Const Correctness in C++
comp.lang.c++.moderated Const member functions
comp.lang.c++.moderated static const member of class
comp.lang.c++.moderated const classes and const members

Technorati tag: cpp