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

• R.9 Классы
  • 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;
             static process* idle;
             // ...
           public:
             // ...
             int state();
             static void reshedule();
             // ...
           };

Здесь к функции reshedule можно обратиться без указания объекта класса process таким образом:

           void f()
           {
             process::reshedule();
           }

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

           void process::reshedule() { /* ... */ };
           int process::no_of_process = 1;
           process* process::running = get_main();
           process* process::run_chain = process::running;

Статические члены подчиняются обычным правилам доступа к членам класса ($$R.11), за исключением того, что их можно инициализировать в файловой области видимости.

В типе статического члена не участвует имя класса, так тип process::no_of_process есть int, а тип &process::reshedule() - void(*)().