constexpr менен компиляция учурунда программалоо

constexpr функциясы - бул бир кошумча касиети бар кадимки функция: ага компиляция учурунда иштөөгө уруксат берилет. Чын эле иштейби же жокпу, толугу менен чакыруу ордуна көз каранды. Константалык эсептөө контекстинде константалык аргументтер менен чакырылса, компилятор аны эсептеп, жоопту литерал катары сактайт. Кадимки аткаруу убагындагы маани менен чакырылса, ал башка функциялар сыяктуу процессордо иштейт. Бир аныктама - эки мүмкүн болгон аткаруу убагы.

constexpr long factorial(int n) {
    long result = 1;                 // C++14: локалдык өзгөрмөлөр, циклдер
    for (int i = 2; i <= n; ++i)     // жана мутация - баары уруксат
        result *= i;
    return result;
}

constexpr long f5 = factorial(5);    // компилятор эсептейт -> 120
int r = read_int();                  // кайсы бир аткаруу убагындагы маани
long fr = factorial(r);              // ошол эле функция, аткаруу убагында иштейт

Бул Шаблон метапрограммалоо темасында кездешкен рекурсивдүү шаблондук факториалга караганда канчалык окулуктуу экенине көңүл буруңуз. Бул кадимки императивдик код. C++14 тен бери constexpr функциясы циклдерди, бир нече операторду, локалдык өзгөрмөлөрдү жана аларды өзгөртүүнү камтышы мүмкүн; C++11 деги бир гана return чектөөсү эчак жоюлду.

Константалык эсептөө контексти деген эмне? Тил константалык туюнтманы талап кылган жерлер:

• constexpr өзгөрмөсүнүн инициализатору же static_assert шарты;
• типтик эмес шаблон аргументи, мисалы std::array<int, factorial(5)>;
• массивдин өлчөмү, санагычтын мааниси, case белгиси.