Самый элегантный способ написать однократное «если»

Начиная с C ++ 17, можно написать ifблок, который будет выполняться точно так же, как это:

#include <iostream>
int main() {
    for (unsigned i = 0; i < 10; ++i) {

        if (static bool do_once = true; do_once) { // Enter only once
            std::cout << "hello one-shot" << std::endl;
            // Possibly much more code
            do_once = false;
        }

    }
}

Я знаю, что мог бы обдумать это, и есть другие способы решить это, но все же - возможно ли написать это как-то так, так что do_once = falseв конце нет необходимости ?

if (DO_ONCE) {
    // Do stuff
}

Я думаю, вспомогательная функция, do_once()содержащая static bool do_once, но что, если я хотел бы использовать эту же функцию в разных местах? Может ли это быть время и место для #define? Надеюсь нет.

Используйте std::exchange:

if (static bool do_once = true; std::exchange(do_once, false))

Вы можете сделать его короче, изменив значение истины:

if (static bool do_once; !std::exchange(do_once, true))

Но если вы часто этим пользуетесь, не думайте, а вместо этого создайте обертку:

struct Once {
    bool b = true;
    explicit operator bool() { return std::exchange(b, false); }
};

И используйте это как:

if (static Once once; once)

Ссылка на переменную не должна быть вне условия, поэтому имя нам не очень дорого. Черпая вдохновение из других языков, таких как Python, которые придают _идентификатору особое значение , мы можем написать:

if (static Once _; _)

Дальнейшие улучшения: воспользуйтесь разделом BSS (@Deduplicator), избегайте записи в память, когда мы уже запустили (@ShadowRanger), и дайте подсказку по прогнозированию ветвления, если вы собираетесь тестировать много раз (например, как в вопросе):

// GCC, Clang, icc only; use [[likely]] in C++20 instead
#define likely(x) __builtin_expect(!!(x), 1)

struct Once {
    bool b = false;
    explicit operator bool()
    {
        if (likely(b))
            return false;

        b = true;
        return true;
    }
};

Может быть, не самое элегантное решение, и вы не видите никакого фактического if, но стандартная библиотека фактически покрывает этот случай: см std::call_once.

#include <mutex>

std::once_flag flag;

for (int i = 0; i < 10; ++i)
    std::call_once(flag, [](){ std::puts("once\n"); });

Преимущество здесь в том, что это потокобезопасно.

C ++ имеет встроенный примитив потока управления, который уже состоит из "( before-block; условие; after-block )":

for (static bool b = true; b; b = false)

Или хакер, но короче

for (static bool b; !b; b = !b)

Тем не менее, я думаю, что любой из методов, представленных здесь, следует использовать с осторожностью, поскольку они (пока?) Не очень распространены.

В C ++ 17 вы можете написать

if (static int i; i == 0 && (i = 1)){

во избежание поиграться с iв теле цикла. iначинается с 0 (гарантированным стандартом), а выражение после ;множеств iв 1первый раз она вычисляется.

Обратите внимание, что в C ++ 11 вы можете добиться того же с помощью лямбда-функции

if ([]{static int i; return i == 0 && (i = 1);}()){

что также имеет небольшое преимущество в том, что iне просачивается в тело петли.

static bool once = [] {
  std::cout << "Hello one-shot\n";
  return false;
}();

Это решение является поточно-ориентированным (в отличие от многих других предложений).

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

Пример:

#include <iostream>
#include <functional>

struct do_once {
    do_once(std::function<void(void)> fun) {
        fun();
    }
};

int main()
{
    for (int i = 0; i < 3; ++i) {
        static do_once action([](){ std::cout << "once\n"; });
        std::cout << "Hello World\n";
    }
}

Или вы действительно можете придерживаться макроса, который может выглядеть примерно так:

#include <iostream>

#define DO_ONCE(exp) \
do { \
  static bool used_before = false; \
  if (used_before) break; \
  used_before = true; \
  { exp; } \
} while(0)  

int main()
{
    for (int i = 0; i < 3; ++i) {
        DO_ONCE(std::cout << "once\n");
        std::cout << "Hello World\n";
    }
}

Как сказал @damon, вы можете избежать использования std::exchange, используя убывающее целое число, но вы должны помнить, что отрицательные значения переходят в истину. Способ использовать это будет:

if (static int n_times = 3; n_times && n_times--)
{
    std::cout << "Hello world x3" << std::endl;
} 

Перевод этого в необычную оболочку @ Acorn будет выглядеть так:

struct n_times {
    int n;
    n_times(int number) {
        n = number;
    };
    explicit operator bool() {
        return n && n--;
    };
};

...

if(static n_times _(2); _)
{
    std::cout << "Hello world twice" << std::endl;
}

Хотя использование, std::exchangeкак предлагает @Acorn, является, вероятно, самым идиоматическим способом, операция обмена не обязательно является дешевой. Хотя, конечно, статическая инициализация гарантированно является поточно-ориентированной (если вы не скажете компилятору не делать этого), поэтому любые соображения по поводу производительности в любом случае оказываются бесполезными в присутствииstatic ключевого слова.

Если вы обеспокоены микро-оптимизация (как люди , использующих C ++ часто), вы могли бы, а поцарапать boolи использовать intвместо этого, что позволит использовать постдекремент (или , вернее, приращение , поскольку в отличие от boolдекремента intбудет не насыщать к нулю ...):

if(static int do_once = 0; !do_once++)

Раньше у этого boolбыли операторы увеличения / уменьшения, но они давно устарели (C ++ 11 - не уверен?) И должны быть полностью удалены в C ++ 17. Тем не менее, вы можете уменьшить intпросто отлично, и это, конечно, будет работать как логическое условие.

Бонус: Вы можете реализовать do_twiceили do_thriceаналогичным образом ...

Основываясь на великолепном ответе @ Вирсавии за это - просто сделал это еще проще.

В C++ 17, вы можете просто сделать:

if (static int i; !i++) {
  cout << "Execute once";
}

(В предыдущих версиях просто объявляли int iвне блока. Также работает в C :)).

Простыми словами: вы объявляете i, который принимает значение по умолчанию, равное нулю ( 0). Ноль - ложь, поэтому мы используем !оператор восклицательного знака ( ) для его отрицания. Затем мы принимаем во внимание свойство приращения<ID>++ оператора, который сначала обрабатывается (назначается и т. Д.), А затем увеличивается.

Следовательно, в этом блоке я буду инициализироваться и иметь значение 0только один раз, когда блок будет выполнен, а затем значение будет увеличиваться. Мы просто используем !оператор, чтобы отрицать его.