Конспект-справочник 'Моделирование на C++'

Константы (const values) 
Можно запретить изменение объекта программой сделав его тип 
константным. При этом объект получит новый тип, отличающийся от 
неконстантного. Запрет изменения (константность) задается ключевым словом 
const
. 
const int c
=3; // константа всегда инициализируется 
const A a;
// константный (неизменяемый) объект 
A const b;
// то же самое 
Константность может сочетаться с указателями и ссылками. 
const int* p=a;
// Значения, на которые указывает p константны 
int* const p=a;
// Указатель p является константой 
const int* const p=a
; // Все константы, и значение и указатель 
 
const A *pa = {&a
}; // указатель на константный объект 
const A &ra = {a};
// ссылка на константный объект 
*pa = b;
// ошибка: объект 'a' изменять нельзя, он константный 
pa=nullptr;
// а сам указатель не константный 
a = b;
// ошибка: объект 'a' изменять нельзя 
Будет легче понять смысл типа, если читать справа налево. Например, " 
const int*" - 
указатель на целую константу. " int* const " - константный 
указатель на целое. 
Константный объект должен быть инициализирован в момент 
определения. Инициализатором может выступать как литерал, известный в 
момент компиляции, так и выражение или просто объект, получаемые во время 
исполнения программы. 
Константное выраженние (constexpr) 
Во время исполнения компилятор может производить вычисления их 
результат использовать в окончательном коде программы. Исходными данными 
для вычисления могут быть перечисления, арифметические и пользовательские 
литералы. При этом можно использовать функции, определеные как constexpr и 
операторы, не меняющие операнды (не '++', '--', '=' и их комбинации). Пример: 
constexpr double pi=3.14; 
// constexpr 
площадь круга
constexpr double area(double d) 
{ 
return pi*d*d/4; 
} 
32 

---

int main() 
{ 
double s = area
(4); // вычисляется во время компиляции 
} 
В вычислениях могут участвовать простые пользовательские классы. Для 
этого они должны иметь любой конструктор со спецификатором constexpr 
кроме конструктора копирования или перемещения или иметь явно 
определенный тривиальный конструктор по умолчанию или быть составным 
(aggregate) типом (не быть производным, не иметь явно определенных 
пользовательских конструкторов, закрытых или защищенных полей, не иметь 
виртуальных функций). Особое изящество эта конструкция приобретает при 
использовании пользовательских литералов: 
class Speed 
{ 
const long double value
; // скорость в метрах в секунду 
public: 
constexpr Speed(long double speed):value {speed} 
{ 
} 
constexpr long double getvalue() 
{ 
return value; 
} 
}; 
constexpr Speed operator"" _ms(long double x){return x;} 
constexpr Speed operator"" _kmh(long double x){return x
/3600.0*1000.0;} //тысячу 
можно и сократить, но constexpr же 
constexpr Speed operator"" _mph(long double x){return x/3600.0*1609.0;} 
 
Speed s={50.0_kmh}; 
cout << s.getvalue() << endl;