Как вызвать оператор с constexpr без использования временных переменных?

Следующий пример кода иллюстрирует мою проблему.

constexpr int fact(int N) {
    return N ? N * fact(N - 1) : 1;
}
struct A {
    int d;
    constexpr A operator+(const A& other) const { return A{ fact(d + other.d) }; }
    // overload of many other operators
};

int main() {
    int x;
    cin >> x;                       // run time argument

    constexpr A a{ 2 }, b{ 3 };
    A c{ x };

    A u = a + b + c;                // both + eval at run time
    //constexpr A v = a + b + c;    // doesn't compile because c is not constant
}

Чего я хочу добиться, так это того, чтобы первый operator+ оценивался во время компиляции, а второй operator+ оценивался во время выполнения.

конечно можно разбить на

constexpr A tmp = a + b;
A u = tmp + c;

но в моем случае весь смысл перегрузки операторов состоит в том, чтобы позволить создавать более сложные формулы более интуитивным способом, что сделало бы перегрузку бессмысленной.

Если я объявлю operator+ как consteval, то он снова не скомпилируется. И я не могу перегрузить его дважды.

Есть ли решение?

он оценивается во время компиляции godbolt.org/z/7PYY1cjnv, если вы включаете оптимизацию.

apple apple 09.04.2022 11:43
Формы c голосовым вводом в React с помощью Speechly
Формы c голосовым вводом в React с помощью Speechly
Пытались ли вы когда-нибудь заполнить веб-форму в области электронной коммерции, которая требует много кликов и выбора? Вас попросят заполнить дату,...
Стилизация и валидация html-формы без использования JavaScript (только HTML/CSS)
Стилизация и валидация html-формы без использования JavaScript (только HTML/CSS)
Будучи разработчиком веб-приложений, легко впасть в заблуждение, считая, что приложение без JavaScript не имеет права на жизнь. Нам становится удобно...
Flatpickr: простой модуль календаря для вашего приложения на React
Flatpickr: простой модуль календаря для вашего приложения на React
Если вы ищете пакет для быстрой интеграции календаря с выбором даты в ваше приложения, то библиотека Flatpickr отлично справится с этой задачей....
В чем разница между Promise и Observable?
В чем разница между Promise и Observable?
Разберитесь в этом вопросе, и вы значительно повысите уровень своей компетенции.
Что такое cURL в PHP? Встроенные функции и пример GET запроса
Что такое cURL в PHP? Встроенные функции и пример GET запроса
Клиент для URL-адресов, cURL, позволяет взаимодействовать с множеством различных серверов по множеству различных протоколов с синтаксисом URL.
Четыре эффективных способа центрирования блочных элементов в CSS
Четыре эффективных способа центрирования блочных элементов в CSS
У каждого из нас бывали случаи, когда нам нужно отцентрировать блочный элемент, но мы не знаем, как это сделать. Даже если мы реализуем какой-то...
1
1
68
2
Перейти к ответу Данный вопрос помечен как решенный

Ответы 2

Нет, по крайней мере, в gcc и с оптимизацией здесь вы можете увидеть, как он оценивается во время компиляции. (120)

main:
        mov     eax, 1
        add     edi, 120
        je      .L4
.L3:
        imul    eax, edi
        sub     edi, 1
        jne     .L3
        ret
.L4:
        ret

*Справедливости ради, даже без constexpr компилятор, вероятно, также оптимизировал бы его.

Однако это решение компилятора, которое не гарантируется языком. В сборке выпуска VS2019 мой код дизассемблирования показывает, что оба оцениваются во время выполнения. Я хотел бы знать, можно ли добиться такого же эффекта, как разбить его на constexpr A tmp = a + b; A u = tmp + c;, не завися от компилятора.

WhatsUp 09.04.2022 11:51

@WhatsUp не работает, даже если вы пишете это таким образом, компилятор не является обязательный для оценки этого во время компиляции (хотя mscv выполняет это во время компиляции)

apple apple 09.04.2022 12:01

Да я понимаю, что не принудительно. Но, по крайней мере, я делаю все возможное, чтобы заставить компилятор сделать это...

WhatsUp 09.04.2022 13:14
Ответ принят как подходящий

Вы можете принудительно выполнить оценку с помощью (нетипового) параметра шаблона или функции consteval.

constexpr int fact(int N) {
    return N ? N * fact(N - 1) : 1;
}
struct A {
    int d;
    constexpr A operator+(const A& other) const { return A{ fact(d + other.d) }; }
};

consteval auto value(auto v){return v;}

A foo (int x) {

    constexpr A a{ 2 }, b{ 3 };
    A c{ x };

    A u = value(a+b) + c;
    return u;
}

https://godbolt.org/z/ohf61vebv

Другие вопросы по теме