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);

We recommend hosting TIMEWEB
We recommend hosting TIMEWEB
Stable hosting, on which the social network EVILEG is located. For projects on Django we recommend VDS hosting.
Support the author Donate

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

Comments

Only authorized users can post comments.
Please, Log in or Sign up
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

z
Sept. 14, 2019, 7:30 a.m.
zhdv06

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

  • Result:93points,
  • Rating points8
AQ
Sept. 13, 2019, 1:49 p.m.
Ask Questions

C++ - Test 005. Structures and Classes

  • Result:83points,
  • Rating points4
B
Sept. 12, 2019, 3:42 a.m.
Baobab

C++ - Test 005. Structures and Classes

  • Result:58points,
  • Rating points-2
Last comments
Sept. 14, 2019, 5:08 p.m.
Misha Lebedev

Приветствую вас Евгений , давно наблюда за развитием вашего замечательного портала, много полезно тут нашел , переодически зачитываюсь. Теперь по сушеству, делаю портал и там идеально ложи…
Sept. 10, 2019, 4:38 p.m.
Evgenij Legotskoj

function view для модели Article и LikeDislike.LIKE будет выглядеть так def like(request, pk): obj = Article.objects.get(pk=pk) try: likedislike = LikeDislike.objects.get(cont…
OK
Sept. 10, 2019, 4:10 p.m.
Oliver Kolesnikov

тут view написан в class based view, если честно ничего не могу разобрать. Как это всё переписать в function view?
o
Sept. 4, 2019, 3:54 a.m.
omortie

thanks for the application, it helps me a lot
Sept. 1, 2019, 2:51 p.m.
Evgenij Legotskoj

Добрый день, Александр. Это Forward Declaration - Предварительное объявление. Позволяет объявить класс без подключения заголовочного файла в заголовочном файле другого класса. Такое об…
Now discuss on the forum
R
Sept. 16, 2019, 7:09 a.m.
RED_Spider

прочитайте https://doc.qt.io/archives/qt-5.11/osx-deployment.html QMAKE_POST_LINK += "~/Qt/5.12.0/clang_64/bin/macdeployqt $${TARGET}.app $$escape_expand( \\n\\t )"
Sept. 16, 2019, 6:41 a.m.
Mihailll

Метод toASCII нельзя применить, а .toHex возвращает block: "000b0500000006006100610061" Но тут есть как минимум несколько букв. Как можно получить не цифры, а текст с цифрами?
M
Sept. 16, 2019, 2:51 a.m.
Mark

У класса есть метод AddPath(). Можно ли передать URL.
p
Sept. 15, 2019, 7:10 a.m.
pstMem

Всем привет При выполнении кода под отладкой msvc x64 через некоторое время работы получаю ошибку assert failure in qlist, приложение вылетает. Как правильно настроить qt чтобы при данной о…
Sept. 14, 2019, 8:13 a.m.
Mihailll

Можно использовать Flickable, растнянуть на него картинку и двигать
EVILEG
About
Services
© EVILEG 2015-2019
Recommend hosting TIMEWEB