Как заголовок спрашивает: возможно ли, чтобы функция constexpr вызывалась не более одного раза во время компиляции?Возможно ли, чтобы функция constexpr вызывалась не более одного раза во время компиляции?
Это явно не возможно, если функция не является constepxr; Я мог бы написать функцию, которая вызывается всякий раз, когда я нажимаю клавишу пробела, поэтому компилятор никогда не мог понять это во время компиляции.
Короткий ответ: нет, потому что constexpr функции не могут читать/устанавливать внешнее состояние. (Они могут иметь внутреннее состояние, но они все равно должны быть «чистыми»).
Реальный ответ: наверное да, но это плохая идея. Существует ряд сообщений в блоге на Filip Roséen который охватывает реализацию сохраняющих состояния constexpr функций путем злоупотребления friend корабля и ADL:
"NON-CONSTANT CONSTANT-EXPRESSIONS IN C++" - (cached by Google)
"HOW TO IMPLEMENT A CONSTANT-EXPRESSION COUNTER IN C++" - (cached by Google)
"HOW TO IMPLEMENT A COMPILE-TIME META-CONTAINER IN C++" - (cached by Google)
Техника очень загадочная и сложная. Это считается злоупотреблением функциями CWG, which is trying to make it ill-formed with issue #2118.
Эти три статьи хорошо читаются , так что +1 от меня! Вы, вероятно, правы, что никто никогда не должен использовать эти методы. – rwols
Ссылки (VERY SHOUTY) мертвы –
@underscore_d: thanks, hopefully, они скоро вернутся. Добавлена ссылка кэша Google –
выражения или функции constexpr не имеют побочных эффектов, поэтому не имеет значения, как часто они вызываются (за исключением времени исполнения/производительности). Итак, почему вы хотите убедиться, что constexpr оценивается только один раз? –
@WernerHenze «Итак, почему вы хотите убедиться, что constexpr оценивается только один раз?» просто любопытство и найти границы языка :-) – rwols
@rwols: Проблема в том, что «вызов только один раз» представляет собой бессмысленное понятие для функции 'constexpr' во время компиляции. Его можно буквально называть полтора раза (!) - реализация может кэшировать оценку выражений constexpr, и это может включать частичное кэширование. – MSalters