[[nodiscard]] / [[maybe_unused]] / [[fallthrough]]

Три независимых стандартных атрибута в общем синтаксисе [[...]], введённом ещё в C++11. [[nodiscard]] ставится на функцию или тип и предупреждает компилятором, если результат вызова проигнорирован (не сохранён, не использован). [[maybe_unused]] ставится на переменную, параметр функции или другую сущность и подавляет предупреждение "unused" для неё. [[fallthrough]] ставится отдельным стейтментом в конце блока case внутри switch и явно сообщает, что отсутствие break — осознанное решение, а не забытая строка.Three independent standard attributes sharing the [[...]] syntax introduced back in C++11. [[nodiscard]] is placed on a function or a type and makes the compiler warn if the call's result is ignored (not stored, not used). [[maybe_unused]] is placed on a variable, function parameter, or other entity and suppresses the "unused" warning for it. [[fallthrough]] is placed as its own statement at the end of a case block inside a switch and explicitly states that the missing break is a deliberate choice, not a forgotten line.

// GCC/Clang: непереносимое расширение// GCC/Clang: a non-portable extension
__attribute__((warn_unused_result))
bool try_lock();

// MSVC: другой синтаксис для той же идеи// MSVC: a different syntax for the same idea
_Check_return_ bool try_lock();

switch (v) {
    case 1:
        // falls through — компилятор не отличит от забытого break// falls through — the compiler can't tell it from a missing break
    case 2:
        handle();
}

[[nodiscard]] bool try_lock();  // работает одинаково везде// works identically everywhere

switch (v) {
    case 1:
        [[fallthrough]];  // явное намерение, никакой двусмысленности// explicit intent, no ambiguity
    case 2:
        handle();
}

Все три идеи давно существовали как расширения конкретных компиляторов — стандарт лишь унифицировал то, что уже де-факто требовалось разработчикам.All three ideas had long existed as extensions of specific compilers — the standard simply unified what developers already needed de facto.

Все три атрибута — чисто диагностические указания компилятору, они не меняют кодогенерацию и не влияют на семантику программы, только на набор выдаваемых предупреждений.All three attributes are purely diagnostic hints to the compiler — they don't change code generation or affect the program's semantics, only the set of warnings emitted.

// [[nodiscard]] на функции — предупреждение при игнорировании возврата// [[nodiscard]] on a function — warns if the return value is ignored
[[nodiscard]] bool try_lock();
try_lock();  // предупреждение: результат try_lock проигнорирован// warning: the result of try_lock is discarded

// [[nodiscard]] на типе — распространяется на все функции, возвращающие этот тип// [[nodiscard]] on a type — applies to every function returning that type
[[nodiscard]] struct ErrorCode { int value; };
ErrorCode run();
run();  // тоже предупреждение — ErrorCode помечен [[nodiscard]]// also a warning — ErrorCode is marked [[nodiscard]]

// [[maybe_unused]] — подавляет предупреждение независимо от сборки// [[maybe_unused]] — suppresses the warning regardless of build type
void process([[maybe_unused]] int debug_only_param) {
    assert(debug_only_param > 0);  // в release assert пуст, но предупреждения нет// assert is empty in release, but no warning fires
}

// [[fallthrough]] — должен стоять непосредственно перед следующей case-меткой// [[fallthrough]] — must appear directly before the next case label
switch (level) {
    case Level::high:
        log_critical();
        [[fallthrough]];
    case Level::medium:
        log_warning();
        break;
    case Level::low:
        log_info();
}

Явно приведя вызов к void — (void)try_lock(); — можно легально проигнорировать [[nodiscard]]-результат без предупреждения: это одобренный стандартом способ сказать "я осознанно отбрасываю значение".Explicitly casting the call to void — (void)try_lock(); — legally ignores a [[nodiscard]] result without a warning: it's the standard-sanctioned way to say "I'm deliberately discarding this value."

• cppreference — nodiscard
• cppreference — maybe_unused
• cppreference — fallthrough