Ключевое слово constexpr: как определить удалось ли вычислить возвращаемое значение на этапе компиляции?

@Undisputed · Регистрация: 10.06.2014

Студворк — интернет-сервис помощи студентам

Ключевое слово constexpr, добавленное в C++11, перед функцией означает, что если значения параметров возможно посчитать на этапе компиляции, то возвращаемое значение также должно посчитаться на этапе компиляции. Если значение хотя бы одного параметра будет неизвестно на этапе компиляции, то функция будет запущена в runtime (а не будет выведена ошибка компиляции).

Как определить удалось ли вычислить возвращаемое значение на этапе компиляции?
Я понимаю что можно анализировать код и делать вывод "вот этот кусок может быть вычислен на этапе компиляции"
А есть ли способ при компиляции узнать чего случилось на этапе компиляции а что ушло в рантайм (не проверяя самому на глаз и не делая догадки)?
И без чтения машинного кода)) Нужен простой способ определить это

MrGluck · 09.01.2017, 16:06

Присвоить результат выполнения constexpr переменной. Если выдаст ошибку компиляции - нельзя.

@Undisputed · 09.01.2017, 16:29 **[ТС]**

Сообщение от MrGluck

Присвоить результат выполнения constexpr переменной. Если выдаст ошибку компиляции - нельзя.

Понял спасибо!

Добавлено через 51 секунду
А есть способ что бы не мучиться и не проверять каждый раз вручную? Это надоест если кода много

MrGluck · 09.01.2017, 16:34

Сообщение от sys_beginner

А есть способ что бы не мучиться и не проверять каждый раз вручную? Это надоест если кода много

Изначально при написании функции можно прикинуть варианты её использования и понять, есть ли вариант её работы на этапе компиляции. Да и с не constexpr объектами она не разрешит работать.

@Undisputed · 09.01.2017, 16:37 **[ТС]**

Сообщение от MrGluck

Изначально при написании функции можно прикинуть варианты её использования и понять, есть ли вариант её работы на этапе компиляции.

Этого и хотелось избежать)) Ок, понял
Спасибо ещё раз

Добавлено через 47 секунд

Сообщение от MrGluck

Да и с не constexpr объектами она не разрешит работать.

Хоть какое то утешение

Croessmah · 14.01.2017, 17:56

Сообщение от sys_beginner

Как определить удалось ли вычислить возвращаемое значение на этапе компиляции?

Немного тут покумекал, получилась такая фиговина:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
#include <iostream>
 
 
#define CAN_BE_COMPILE_TIME_EVALUATE(FUNC, ...) \
[&]() {\
    auto foo________ = [&]() noexcept(false) {\
        return FUNC(__VA_ARGS__);\
    };\
    return noexcept(foo________()); \
}()
 
 
 
constexpr int foo(int x)
{
   int sum = 0;
   for (int i = 0; i < 10; ++i) {
      sum += i;
   }
   return sum;
}
 
 
 
int main()
{
    const int x1 = 20;
    int x2 = 10;
    constexpr bool b1 = CAN_BE_COMPILE_TIME_EVALUATE(foo, x1);
    constexpr bool b2 = CAN_BE_COMPILE_TIME_EVALUATE(foo, x2);
    std::cout << b1 << std::endl;
    std::cout << b2 << std::endl;
    constexpr int f = foo(x1);
    //constexpr int f = foo(x2);//error
}

в отличии от способа с инициализацией constexpr,
не вызывает ошибку компиляции,
хотя и вычисляется на этапе компиляции.
Может и не везде будет работать, не знаю.

P.S. Тревога! В коде TAB'ы.

P.P.S. А еще в коде вариативные макросы gcc и возможности C++17

@sourcerer · 14.01.2017, 18:10

Комментарий модератора

sys_beginner, пожалуйста, прочитайте правила форума.
Особое внимание обратите на пункт 4.3 (порядок именования тем).

.

@Undisputed · 14.01.2017, 20:04 **[ТС]**

Croessmah,
Спасибо, только не пойму что происходит в коде.
У вас создается анонимная функция с захватом ссылки без имени, как это работает? Как обратиться к такому параметру без имени и зачем он там нужен?

Внутри функции у вас создается ещё одна функция, которая принимает тестируюмую функцию как аргумент и передает туда вариативные параметры. Но потом возвращается return noexcept(foo________()); - не понял что именно тут происходит, noexcept вроде пишется в описании функции а не при возврате значения

@GbaLog- · 14.01.2017, 21:34

Сообщение от sys_beginner

как это работает?

Захватывает все переменные по ссылке в данном скоупе.

@Undisputed · 14.01.2017, 22:19 **[ТС]**

Сообщение от GbaLog-

Захватывает все переменные по ссылке в данном скоупе.

Спасибо, действительно захватывает. Но похоже все таки не по ссылке

C++
1
2
3
4
5
6
7
8
9
10
11
12
#include <iostream>
#include <map>
#include <functional>
 
int main() {
    int n = 1000;
    std::function<void(void)> f = [&]()
    {
        n = 2000;
    };
    std::cout << n;//1000
}

http://rextester.com/GLZ22737

Croessmah · 14.01.2017, 22:22

Сообщение от sys_beginner

не по ссылке

а вызывать кто будет?

C++
1
f();

@Undisputed · 14.01.2017, 22:29 **[ТС]**

GbaLog-,
Я очень сильно тупанул ))

Croessmah,
Точно, спасибо!

Добавлено через 1 минуту
Ещё и map почему то добавил в хедера)))
Пойду отдохну что ли

@Lyosha12 · 15.01.2017, 15:56

Почему-то проблемы подобная проверка не вызывала. Если я делал функцию constexpr, то делал и static_assert для проверки возвращаемого значения. По-моему, это гораздо проще, чем создание переменных или макросов.

Croessmah · 15.01.2017, 17:32

Сообщение от Lyosha12

По-моему, это гораздо проще, чем создание переменных или макросов.

Разница в том, что можно вычислить в compile-time,
может ли значение функции быть вычислено в commile-time.
Для static_assert или инициализацию constexpr упремся в ошибку,
а так может и можно что-то намудрить будет (понятия не имею что).
Т.к. конечное значение constexpr, то можно его задействовать как-то,
например, в constexpr if:

C++
1
2
3
4
5
if constexpr (b1) {
   //...
} else {
   //...
}

Новые блоги и статьи Все статьи Все блоги /
Отчёт о затраченных материалах за определенный период с макетом печатной формы Maks 21.04.2026 Отчёт из решения ниже размещён в конфигурации КА2. Задача: разработка отчёта по затраченным материалам за определённый период, с возможностью вывода печатной формы отчёта с шапкой и подвалом. В. . .	Отчёт о спецтехнике находящейся в ремонте Maks 20.04.2026 Отчёт из решения ниже размещен в конфигурации КА2. Задача: отобразить спецтехнику, которая на данный момент находится в ремонте. Есть нетиповой документ "Заявка на ремонт спецтехники" который. . .	Памятка для бота и "визитка" для читателей "Semantic Universe Layer (Слой семантической вселенной)" Hrethgir 19.04.2026 Сгенерировано для краткого описания по случаю сборки и компиляции скелета серверного приложения. И пусть после этого скажут, что статьи сгенерированные AI - туфта и не интересно. И это не реклама -. . .	Запрет удаления строк ТЧ документа при определённом условии Maks 19.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "Аккумуляторы", разработанного в конфигурации КА2. У данного документа есть ТЧ, в которой в зависимости от прав доступа. . .
Модель заражения группы наркоманов alhaos 17.04.2026 Условия задачи сформулированы тут Суть: - Группа наркоманов из 10 человек. - Только один инфицирован ВИЧ. - Колются одной иглой. - Колются раз в день. - Колются последовательно через. . .	Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.

MrGluck Форумчанин 8216 / 5047 / 1437 Регистрация: 29.11.2010 Сообщений: 13,453
	09.01.2017, 16:06
	Сообщение было отмечено Undisputed как решение Решение Присвоить результат выполнения constexpr переменной. Если выдаст ошибку компиляции - нельзя. 1

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	14.01.2017, 20:04 [ТС]
	Croessmah, Спасибо, только не пойму что происходит в коде. У вас создается анонимная функция с захватом ссылки без имени, как это работает? Как обратиться к такому параметру без имени и зачем он там нужен? Внутри функции у вас создается ещё одна функция, которая принимает тестируюмую функцию как аргумент и передает туда вариативные параметры. Но потом возвращается return noexcept(foo________()); - не понял что именно тут происходит, noexcept вроде пишется в описании функции а не при возврате значения 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	14.01.2017, 22:29 [ТС]
	GbaLog-, Я очень сильно тупанул )) Croessmah, Точно, спасибо! Добавлено через 1 минуту Ещё и map почему то добавил в хедера))) Пойду отдохну что ли 0

@Lyosha12 41 / 41 / 11 Регистрация: 02.04.2016 Сообщений: 313
	15.01.2017, 15:56
	Почему-то проблемы подобная проверка не вызывала. Если я делал функцию constexpr, то делал и static_assert для проверки возвращаемого значения. По-моему, это гораздо проще, чем создание переменных или макросов. 0

Ключевое слово constexpr: как определить удалось ли вычислить возвращаемое значение на этапе компиляции?

Решение