Стенли Липпман - Язык программирования C++. Пятое издание

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

Хотя конструкторы не могут быть константными (см. раздел 7.1.4), в литеральном классе они могут быть функциями constexpr(см. раздел 6.5.2). Действительно, литеральный класс должен предоставлять по крайней мере один конструктор constexpr.

Конструктор constexprможет быть объявлен как = default(см. раздел 7.1.4) или как удаленная функция, которые будут описаны в разделе 13.1.6. В противном случае конструктор constexprдолжен отвечать требованиям к конструкторам (у него не может быть оператора return) и к функциям constexpr(его исполняемый оператор может иметь единственный оператор return) (см. раздел 6.5.2). В результате тело конструктора constexprобычно пусто. Определению конструктора constexprпредшествует ключевое слово constexpr:

class Debug {

public:

constexpr Debug(bool b = true): hw(b), io(b), other(b) { }

constexpr Debug(bool h, bool i, bool o):

hw(h), io(i), other(o) { }

constexpr bool any() { return hw || io || other; }

void set_io(bool b) { io = b; }

void set_hw(bool b) { hw = b; }

void set_other(bool b) { hw = b; }

private:

bool hw; // аппаратная ошибка, отличная от ошибки IO

bool io; // ошибка IO

bool other; // другие ошибки

};

Конструктор constexprдолжен инициализировать каждую переменную-член. Инициализаторы должны либо использовать конструктор constexpr, либо быть константным выражением.

Конструктор constexprиспользуется и для создания объектов constexpr, и для параметров или типов возвращаемого значения функций constexpr:

constexpr Debug io_sub(false, true, false); // отладка IO

if (io_sub.any()) // эквивалент if (true)

cerr << "print appropriate error messages" << endl;

constexpr Debug prod(false); // при выпуске без отладки

if (prod.any()) // эквивалент if (false)

cerr << "print an error message" << endl;

Упражнение 7.53. Определите собственную версию класса Debug.

Упражнение 7.54. Должны ли члены класса Debug, начинающиеся с set_, быть объявлены как constexpr? Если нет, то почему?

Упражнение 7.55. Является ли класс Dataиз раздела 7.5.5 литеральным? Если нет, то почему? Если да, то почему он является литеральным.

Иногда классы нуждаются в членах, ассоциированных с самим классом, а не с его индивидуальными объектами. Например, класс банковского счета, возможно, нуждается в переменной-члене, представляющей базовую процентную ставку. В данном случае мы хотели бы ассоциировать процентную ставку с классом, а не с каждым конкретным объектом. С точки зрения эффективности нет никаких причин хранить процентную ставку для каждого объекта. Однако важней всего то, что если процентная ставка изменится, каждый объект сразу использует новое значение.

Чтобы сделать член класса статическим, его объявление следует предварить ключевым словом static. Статические члены, как и любые другие, могут быть открытыми или закрытыми. Статическая переменная-член может быть константой, ссылкой, массивом, классом и т.д.

В качестве примера определим класс, представляющий банковскую учетную запись:

class Account {

public:

void calculate() { amount += amount * interestRate; }

static double rate() { return interestRate; }

static void rate(double);

private:

std::string owner;

double amount;

static double interestRate;

static double initRate();

};

Статические члены класса существуют вне конкретного объекта. Объекты не содержат данные, связанные со статическими переменными-членами. Таким образом, каждый объект класса Accountбудет содержать две переменные-члена — ownerи amount. Есть только один объект interestRate, совместно используемый всеми объектами Account.

Аналогично статические функции-члены не связаны с конкретным объектом; у них нет указателя this. В результате статические функции-члены не могут быть объявлены константами и к указателю thisнельзя обратиться в теле статического члена класса. Это ограничение применимо и к явному использованию указателя this, и к неявному, при вызове не статического члена класса.