Ключевое слово 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++

#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++

#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++

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++

if constexpr (b1) {
   //...
} else {
   //...
}

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

@Undisputed 748 / 351 / 72 Регистрация: 10.06.2014 Сообщений: 2,368
		1
	Ключевое слово constexpr: как определить удалось ли вычислить возвращаемое значение на этапе компиляции? 09.01.2017, 16:01. Просмотров 2078. Ответов 13 Метки нет (Все метки) https://habrahabr.ru/post/228181/ Ключевое слово constexpr, добавленное в C++11, перед функцией означает, что если значения параметров возможно посчитать на этапе компиляции, то возвращаемое значение также должно посчитаться на этапе компиляции. Если значение хотя бы одного параметра будет неизвестно на этапе компиляции, то функция будет запущена в runtime (а не будет выведена ошибка компиляции). Как определить удалось ли вычислить возвращаемое значение на этапе компиляции? Я понимаю что можно анализировать код и делать вывод "вот этот кусок может быть вычислен на этапе компиляции" А есть ли способ при компиляции узнать чего случилось на этапе компиляции а что ушло в рантайм (не проверяя самому на глаз и не делая догадки)? И без чтения машинного кода)) Нужен простой способ определить это 0

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

@Undisputed 748 / 351 / 72 Регистрация: 10.06.2014 Сообщений: 2,368
	09.01.2017, 16:29 [ТС]	3
	Сообщение от MrGluck Присвоить результат выполнения constexpr переменной. Если выдаст ошибку компиляции - нельзя. Понял спасибо! Добавлено через 51 секунду А есть способ что бы не мучиться и не проверять каждый раз вручную? Это надоест если кода много 0

MrGluck Форумчанин 8161 / 5009 / 1436 Регистрация: 29.11.2010 Сообщений: 13,455
	09.01.2017, 16:34	4
	Сообщение от sys_beginner А есть способ что бы не мучиться и не проверять каждый раз вручную? Это надоест если кода много Изначально при написании функции можно прикинуть варианты её использования и понять, есть ли вариант её работы на этапе компиляции. Да и с не constexpr объектами она не разрешит работать. 1

@Undisputed 748 / 351 / 72 Регистрация: 10.06.2014 Сообщений: 2,368
	09.01.2017, 16:37 [ТС]	5
	Сообщение от MrGluck Изначально при написании функции можно прикинуть варианты её использования и понять, есть ли вариант её работы на этапе компиляции. Этого и хотелось избежать)) Ок, понял Спасибо ещё раз Добавлено через 47 секунд Сообщение от MrGluck Да и с не constexpr объектами она не разрешит работать. Хоть какое то утешение 0

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

@GbaLog- Любитель чаепитий 3526 / 1638 / 506 Регистрация: 24.08.2014 Сообщений: 5,575 Записей в блоге: 1
	14.01.2017, 21:34	9
	Сообщение от sys_beginner как это работает? Захватывает все переменные по ссылке в данном скоупе. 1

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

Опции темы

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

Решение