Участник:Yulya3102/Плюсы2сем

модификатор static

Local scope

//область видимости — блок

while (true)
{
    static int i = 0;
    i++;
}

Переменная i будет создана лишь один раз, и её значение будет храниться в течение всего времени выполнения программы, несмотря на выход за пределы области видимости. Тот же пример с выводом для наглядности.

Function scope

//область видимости — функция

void foo()
{
    static int i = 0;
    i++;
}

Аналогично, переменная i сохраняется между вызовами foo(), но видна только в пределах блока, в котором определена.

File scope

//область видимости — файл

static int global_static_local_to_this_file;

Очевидно, эта переменная будет видна повсюду в файле и только в нём.

Class scope

//область видимости — класс

Статические данные можно получить так же, как и нестатические, с помощью операторов . и ->. Но к ним также можно обращаться с помощью оператора ::, используя имя класса. Очевидно, создание объекта данного класса в данном случае не требуется.

Статические данные разделяются между всеми экземплярами класса.

Зачем это нужно? Например, так можно создать синглтон:

class singleton
{
    private:
        singleton(){}
    public:
        static singleton& instance()
        {
            static singleton inst;
            return inst;
        }
};

Объявление статической переменной внутри определения класса не является её определением. Если не инициализировать значение статической переменно, то по умолчанию будет присвоено значение 0. Внутри определения класса можно инициализировать переменные типов int, char, long, bool, а так же типов из пространства std.

Статические переменные не могут содержаться в локальных классах и не могут быть mutable.

Статические методы не имеют указателя this, поэтому в таких методах нельзя обращаться к нестатическим данным класса. К статическим методам можно обращаться через . и -> по имени объекта и по имени класса через ::.

Статические методы не могут быть виртуальными, не могут быть const и volatile. Локальные класса не могут содержать статические методы.

модификатор inline

Если часто повторяется обращение к очень маленькой функции, то стоит задуматься о стоимости вызова функции. Можно рассмотреть возможность спецификации функции как inline-подставляемой. В этом случае компилятор сгенерирует для функции соответствующий код в месте её вызова.

Для того, чтобы указать компилятору на своё желание сделать функцию inline-подставляемой, нужно поставить ключевое слово inline или включить определение функции в описание класса.

one definition rule (ODR)

Вкратце, положения ODR выглядят так:

1. В пределах любой единицы трансляции шаблон, тип данных, функция, или объект не могут иметь более одного определения. Некоторые могут иметь неограниченное число объявлений. Определение порождает сущность.
2. В пределах программы (совокупности всех единиц трансляции) объект или не-inline функция не могут иметь больше одного определения; если объект или функция используются, у каждого из них должно быть строго по единственному определению. Можно объявить объект или функцию, которые не будут использованы в программе, в этом случае не потребуется и их определения. Ни в коем случае не должно быть более одного определения.
3. Некоторые сущности, например, типы, шаблоны или внешние inline функции, могут определяться в более чем одной единице трансляции. Для данной сущности, каждое определение должно быть одним и тем же. Объекты или функции, не являющиеся внешними, в разных единицах трансляции имеют разные сущности, даже если их имена и типы совпадают.

Некоторые нарушения ODR могут быть обнаружены компилятором. Остальные, а это в первую очередь касается программ, состоящих из нескольких небольших файлов, пропускаются (программист должен самостоятельно о них позаботиться).

Например:

 // file1.c:
     int a = 1;
     int b = 1;
     extern int c;

 // file2.c:
     int a;
     extern double b;
     extern int c;

В данном примере 3 ошибки: a определено дважды (int a; является определением, которое означает int a=0;), b описано дважды с разными типами, а c описано дважды, но не определено. Эти виды ошибок (ошибки компоновки) не могут быть обнаружены компилятором, который за один раз видит только один файл. Компоновщик, однако, их обнаруживает.

классы

TODO: union?

Класс — пользовательский тип, объявленный с помощью struct, class или union.

TODO: А что вообще тут ещё может быть?

конструкторы

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

Array a(5); // вызывается Array::Array(int)
Array b;    // вызывается Array::Array()
Array c(a); // вызывается Array::Array(const Array&)
Array d=a;  // вызывается Array::Array(const Array&)
b=c;        // происходит вызов оператора =
            // если он не определён (как в данном случае), то вызывается
            // сгенерированный компилятором оператор присваивания, который
            // осуществляет копирование базовых подобъектов и почленное
            // копирование нестатических членов-данных.
            // как правило конструктор копий и оператор присваивания
            // переопределяются попарно

Если в классе нет явно объявленных конструкторов, то он имеет неявно объявленный конструктор без параметров, который конструирует подобъекты классов-родителей и инициализирует поля класса с помощью конструкторов по умолчанию.

Конструктор копирования также неявно объявляется при отсутствии явного. Он выполняет копирование всех объявленных полей с помощью соответствующих конструкторов копирования.

Конструкторы не могут быть виртуальными.

type_traits'ы

This header defines a series of classes to obtain type information on compile-time.

The header contains: Helper classes: Standard classes to assist in creating compile-time constants. Type traits: Classes to obtain characteristics of types in the form of compile-time constant values. Type transformations: Classes to obtain new types by applying specific transformations to existing types.

anonymous namespaces

You can declare an unnamed namespace as a superior alternative to the use of global static variable declarations.

namespace { namespace-body }

An unnamed-namespace-definition having the syntax shown above behaves as if it were replaced by:

namespace unique { namespace-body }
using namespace unique;

Each unnamed namespace has an identifier, assigned and maintained by the program and represented here by unique, that differs from all other identifiers in the entire program. For example:

// unnamed_namespaces.cpp
// C2872 expected
namespace { int i; }          // unique::i
void f() { i++; }             // unique::i++

namespace A {
   namespace {
       int i;      // A::unique::i
       int j;      // A::unique::j
   }
}

using namespace A;

void h()
{
   i++;            // C2872: unique::i or A::unique::i
   A::i++;         // C2872: A::i undefined
   j++;            // A::unique::j++
}

Unnamed namespaces are a superior replacement for the static declaration of variables. They allow variables and functions to be visible within an entire translation unit, yet not visible externally. Although entities in an unnamed namespace might have external linkage, they are effectively qualified by a name unique to their translation unit and therefore can never be seen from any other translation unit.