Читать «Справочное руководство по C++» онлайн - страница 52

Бьярн Страустрап

Для объектов const или volatile могут вызываться конструкторы (§R.12.1) и деструкторы (§R.12.4). Конструкторы (§R.12.1) и деструкторы (§R.12.4) нельзя описывать со спецификациями const или volatile.

R.9.3.2 Функции-члены со спецификацией inline

Функцию-член можно определить (§R.8.3) в описании класса, в таком случае она считается подстановкой (inline, §R.7.1.2). Определять функцию в описании класса - это эквивалентно тому, чтобы описывать функцию и определять ее со спецификацией inline сразу же после описания класса. Считается, что такой перенос определения функции происходит после препроцессорной обработки до стадии синтаксического анализа и контроля типов. Поэтому программный фрагмент

int b;

struct x {

 char* f() { return b; }

 char* b;

};

эквивалентен

int b;

struct x {

 char* f();

 char* b;

};

inline char* x::f() { return b; } // перенос

Здесь в функции x::f() используется x::b, а не глобальное b.

Функции-члены можно определять даже в описании локальных или вложенных классов, где такой перенос будет синтаксически незаконным. Локальные классы обсуждаются в R.9.8, а вложенные классы в §R.9.7.

R.9.4 Статические члены

Для члена класса, представляющего данные или функцию, можно при описании класса задать спецификацию static. Для статического члена, представляющего данные, в программе существует только один экземпляр, которым владеют все объекты этого класса. Статический член не является частью объекта класса. Статические члены глобального класса подлежат внешнему связыванию (§R.3.3). Описание статического члена, представляющего данные, в описании класса не считается определением. Определение должно быть дано в другом месте, см. также. §R.18.3.

Статическая функция-член не имеет указатель this, поэтому для доступа к нестатическим членам своего класса она должна использовать операции . или -›. Статическая функция-член не может быть виртуальной. Недопустимы статические и нестатические функции-члены с одним именем и одинаковыми типами параметров.

Статические члены локального класса (§R.9.8) не подлежат связыванию и не могут определяться вне описания класса. Отсюда следует, что локальные классы не могут иметь статических членов, представляющих данные.

К статическому члену mem класса c1 можно обращаться как c1::mem (§R.5.1), т.е. независимо ни от какого объекта. К нему также можно обращаться с помощью операций доступа к членам . и -›. Если к статическому члену происходит обращение с помощью операций доступа, выражения, стоящие слева от . или -› не эквивалентны. Статический член mem существует даже, если не создано ни одного объекта класса c1. В примере ниже run_chain, idle и другие члены существуют даже, если не было создано ни одного объекта класса process:

class process {

 static int no_of_process;

 static process* run_chain;

 static process* running;