9

В чём разница между const int x и constexpr int x? Что из этого стоит использовать?

7

2 ответа 2

16

const int x - переменная x не должна меняться в процессе работы программы, а constexpr int x - оно еще и должна получить свое значение во время компиляции...

Например,

int n;
cin >> n;
const int x = n*n;

Отработает, x получит свое значение, которое нельзя будет менять - но получит во время работы программы.

Если написать constexpr - не скомпилируется, ибо во время компиляции x не известно.

Соответственно этому - используйте то, что более подходит для ваших целей. Где можно - лучше constexpr, где нет - просто const.

9

Самый простой пример. Данная программа компилируется

#include <iostream>

struct A
{
    constexpr static double x = 10.0;
};


int main() 
{
    A a;

    return 0;
}

А данная программа нет.

#include <iostream>

struct A
{
    const static double x = 10.0;
};


int main() 
{
    A a;

    return 0;
}

Существенное значение также имеет место, когда этот спецификатор, constexpr, используется для функций.

Как вы знаете, только функции-члены класса могут иметь квалификатор const, который имеет отношение к объекту, для которого вызывается данная функция-член класса.

Обычные функции не могут быть константными.

Спецификатор constexpr введен для того, чтобы заставить компилятор на этапе кмпиляции создавать объекты и использовать их как константы времени компиляции.

Например, известно, что стандарт C++ для задания размерности массива требует константное выражение. Используя спецификатор constexpr вы можете задавать размер массива, используя некоторые функции. Например,

#include <iostream>

struct A
{
    constexpr A( bool b ) : n( b ? 5 : 10 ) {}
    size_t n;
};


int main() 
{
    int a[A( true ).n];
    int b[A( false ).n];

    int i = 0;
    for ( int &x : a ) x = i++;

    i = 0;
    for ( int &x : b ) x = i++;

    for ( int x : a ) std::cout << x << ' ';
    std::cout << std::endl;

    for ( int x : b ) std::cout << x << ' ';
    std::cout << std::endl;

    return 0;
}

Вывод программы на консоль

0 1 2 3 4 
0 1 2 3 4 5 6 7 8 9 

Использование constexpr позволяет заниматься метапрограммированием на этапе компиляции, как альтернативная возможность для шаблонного метапрограммирования.

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.