C++ - Tutorial 003. Constants

C++, const, constexpr

C =++ supports two notations of immutability:

  1. const - which implies that the value will not change. First of all, this is used to specify interfaces, for data that is passed to functions and methods so that they are not afraid that they will be changed. The compiler monitors the presence of the const qualifier;
  2. constexp - which involves calculating the constant at compile time. Used to store data in memory where they will not be damaged, and to improve performance.

For example:

const int dmv = 17;                      // Constant with the name dmv
int var = 17;                            // Var is not a constant
constexpr double max1 = 1.4∗square(dmv); // OK, since square (17) is a constant expression
constexpr double max2 = 1.4∗square(var); // Error, because var is not a constant
const double max3 = 1.4∗square(var);     // OK, because the expression can be evaluated in runtime
double sum(const vector<double>&);       // sum will not modify its arguments
vector<double> v {1.2, 3.4, 4.5};        // v is not a constant
const double s1 = sum(v);                // OK, it will be calculated in runtime
constexpr double s2 = sum(v);            // Error, sum (v) is not a constant expression.

In order for the function to be used in a constant expression, that is, it was computed by the compiler, it is necessary to define it with the constexpr qualifier.

constexpr double square(double x) { return x∗x; }

The constexpr function must be simple enough to compute by the compiler, and also return the computed value. Constexpr functions can be called by non-constants arguments in the context of which constant expressions are not required.

const

Objects with the const qualifier can not be changed, and must also be initialized.

const int model = 90;           // model is a constant
const int v[] = { 1, 2, 3, 4 }; // v[i] is a constant
const int x;                    // Error: value not initialized

Since objects with const qualifiers can not be changed, the following code will be incorrect:

void f()
{
    model = 200; // Error: model is a constant
    v[2] = 3;    // Error: v[i] is a constant
}

Note that const changes the type of the object, not an indication of how the variable should be assigned. const limits the way the object works.

void g(const X∗ p)
{
    // Can not change p here
}

void h()
{
    X val;  // But we can modify the value here
    g(&val);
    // ...
}

When using a pointer, two objects are involved: the pointer itself and the object pointed to. A prefix declaration of a pointer with const makes the object constant, not a pointer. To declare const as the pointer itself, and not the object to which it points, you must place const after the pointer character. For example:

void f1(char∗ p)
{
    char s[] = "Gorm";

    const char∗ pc = s;        // Pointer to constant
    pc[3] = 'g';               // Error: the value of the object is a constant
    pc = p;                    // OK

    char ∗const cp = s;        // Constant pointer
    cp[3] = 'a';               // OK
    cp = p;                    // Error: cp is a constant

    const char ∗const cpc = s; // Constant pointer to a constant object
    cpc[3] = 'a';              // Error: the object is a constant
    cpc = p;                   // Error: pointer is a constant
}

The location of const relative to the base type is not important, since there is no data type const *. Principle is the position of const relative to the symbol *. Therefore, the following entries are possible:

char ∗const cp;  // const pointer to char
char const∗ pc;  // pointer to const char
const char∗ pc2; // pointer to const char

An object that is a constant when accessed through one pointer can be changed when accessed in other ways. This is especially useful for function arguments. Declaring a pointer argument as a const, a function is not allowed to change the object it points to. For example:

const char∗ strchr(const char∗ p, char c);
char∗ strchr(char∗ p, char c);

The first version is used for strings whose elements should not be changed by the function and returns a pointer to const that does not allow changing the result. The second version is used for mutable lines.

You can assign a non-constant variable address to a pointer to a constant, because it can not do any harm. However, you can not assign a constant address to a non-constant pointer, since this will change the value of the object. For example:

void f4()
{
    int a = 1;
    const int c = 2;
    const int∗ p1 = &c; // OK
    const int∗ p2 = &a; // OK
    int∗ p3 = &c;       // Error: initialization int* with const int*
    ∗p3 = 7;            // Attempt to change the value of c
}

constexpr

A constant expression is an expression that is evaluated at compile time. Constant expressions can not use values and variables that are not known at compile time.

There are many reasons why someone might need a named constant, not a letter or value stored in a variable:

  1. Named constants simplify understanding and code support.
  2. A variable can be changed (so we must be more careful in our reasoning than with a constant).
  3. The language requires constant expressions for array sizes, case labels, and template value arguments.
  4. Embedded programmers like to put immutable data in a persistent storage device. Because read-only memory is cheaper than dynamic memory (in terms of cost and energy consumption) and often more numerous. In addition, the data in the permanent memory is protected from most system failures.
  5. If initialization is performed at compile time, there can not be any discrepancies in the multithreaded program.
  6. Performing compilation at the compilation stage improves program performance.

The value of constexpr is evaluated at compile time, and if it can not be computed, the compiler will generate an error.

int x1 = 7;
constexpr int x2 = 7;
constexpr int x3 = x1;     // Error: initializer is not a constant expression
constexpr int x4 = x2;     // OK

void f()
{
    constexpr int y3 = x1; // Error: initializer is not a constant expression
    constexpr int y4 = x2; // OK
    // ...
}

The possibilities of constant expressions are quite large, since it is possible to use integer data types, floating-point data, enums, and operators that do not change the values of variables (such as +,? And [] , but not = or ++ )

constexpr int isqrt_helper(int sq, int d, int a)
{
    return sq <= a ? isqrt_helper(sq+d,d+2,a) : d;
}

constexpr int isqrt(int x)
{
    return isqrt_helper(1,3,x)/2 − 1;
}

constexpr int s1 = isqrt(9);
constexpr int s2 = isqrt(1234);

Virtual hosting with 10 percent discount
Virtual hosting with 10 percent discount
EVILEG offers reliable hosting with a 10% discount for virtual hosting and 5% for VPS
Support the author Donate

Отличное описание и примеры!

Comments

Only authorized users can post comments.
Please, Log in or Sign up
TT
June 13, 2019, 7:01 p.m.
Taimoor Tanweer

C++ - Test 001. The first program and data types

  • Result:66points,
  • Rating points-1
TT
June 13, 2019, 6:51 p.m.
Taimoor Tanweer

C++ - Test 002. Constants

  • Result:75points,
  • Rating points2
ВМ
June 13, 2019, 12:30 p.m.
Ваня Мороз

C++ - Test 001. The first program and data types

  • Result:100points,
  • Rating points10
Last comments
i
June 17, 2019, 6:10 a.m.
ingenfly

Только по осям xAxis2, уAxis2 значения начинаются с 0. Почему-то xAxis2 и xAxis не синхронизированы по данным. Ну и QCustomPlot последний.
June 16, 2019, 8:21 p.m.
Евгений Легоцкой

Добрый день. Ну точно также добавляете ту же самую информацию на ось xAxis2, только добавляете другое форматирование customPlot->xAxis2->setDateTimeFormat("hh:mm"); если я ...
EF
June 14, 2019, 1:56 p.m.
Egor Fomin

Спасибо за ваш ответ, у меня получилось реализовать это. Тем не менее появилась другая проблема, поэтому опять надеюсь на вашу помощь. Скажем, я уже выставил точки и они соеденены. Когда я нач...
d
June 13, 2019, 2:47 p.m.
damix

Можно классу, который описывает точку, добавить сигнал, который подавать (emit), когда точка перемещается (переопределить mouseMoveEvent или mouseReleaseEvent). Так вот эти сигналы у каждой из...
i
June 13, 2019, 2:09 p.m.
ingenfly

Здравствайте! Подскажите, пожалуйста: customPlot->xAxis2->setTickLabels(true); //Здесь включается отображение данных на оси xAxis2. а можно как-то продублировать информацию cus...
Now discuss on the forum
I
June 19, 2019, 1:41 p.m.
Intruder

Всем добрый день. При разборе XML файла наткнулся на тег вот такого плана: <TagName attribute1="value1" attribute2="value2" /> При попытке проверить на наличие такого элеме...
June 19, 2019, 12:55 p.m.
Михаиллл

Скажите пожалуйста, как его в таком случае перемещать и удалять?
June 18, 2019, 7:50 p.m.
Дмитрий

Большое спасибо! SDK заработал.К сожалению удалось продвинутся только на один шаг. При сборке чистого проекта NDK выдаёт следующие ошибки C:\Android\ndk-bundle/toolchains/arm-linux-andr...
June 18, 2019, 4:59 p.m.
Михаиллл

Добрый день.В этом учебнике представлен код INSTALLED_APPS = ( ... 'rest_framework', 'snippets.apps.SnippetsConfig',) На строчке 'snippets.apps.SnippetsConf...
June 18, 2019, 2:24 p.m.
Михаиллл

Спасибо, работает.Послушаю вашего совета.
Looking for a Job?
25,000.00 руб. - 30,000.00 руб.
Разработчик Qt/C++
Barnaul, Altai Krai, Russia

For registered users on the site there is a minimum amount of advertising

EVILEG
About
Services
Join us
© EVILEG 2015-2019
Recommend hosting TIMEWEB