C++ attribute: maybe_unused (since C++17)
From cppreference.com
 
 
 < cpp | language | attributes 
 
 
 C++ 
 Feature test macros (C++20)
 Concepts library (C++20)
 Metaprogramming library (C++11)
 Ranges library (C++20)
 Filesystem library (C++17)
 Concurrency support library (C++11)
 Execution control library (C++26)
C++ language 
 Flow control  Conditional execution statements Iteration statements (loops) Jump statements Functions  Function declaration  Lambda function expression  Dynamic exception specifications (until C++17*) Exceptions Namespaces Types Specifiers Storage duration specifiers  Initialization  Alternative representations  Literals  Boolean - Integer - Floating-point  Character - String - nullptr (C++11) User-defined (C++11) Utilities Attributes (C++11) Types Type alias declaration (C++11) Casts Memory allocation Classes  Class-specific function properties Special member functions Templates  Miscellaneous 
 
 
 
 
 
 
 
 
 
 
 
 
  General topics
inline specifier noexcept specifier (C++11)typedef declaration Declarations 
 
 
 
 
 
 
 
 
 
  
 Overview
 Specifiers
(C++11)
(C++20)
(C++20)
 Translation-unit-local (C++20)
(C++11)
(C++11)
(C++11)
 Pack indexing specifier (C++26)    
 Attributes (C++11)
 Declarators
 Block declarations
   →Structured binding declaration (C++17)
 Alias declaration (C++11)
 static_assert declaration (C++11)
 Opaque enum declaration (C++11)
 Other declarations
 Explicit template instantiation (C++11)
 Attribute declaration (C++11)
Attributes 
 
 
 
 
 
 
 
 
 
 
 
 
(C++23)
(C++11)(until C++26)
(C++14)
(C++17)
(C++26)
(C++20)
maybe_unused
(C++17)
(C++17)
(C++11)
(C++20)
(TM TS)
(C++20)
Suppresses warnings on unused entities.
[edit] Syntax
[[maybe_unused]]
 
 
[edit] Explanation
This attribute can appear in the declaration of the following entities:
- class: struct [[maybe_unused]] S;
- typedef, including those declared by alias declaration: [[maybe_unused]] typedef S* PS;, using PS [[maybe_unused]] = S*;
- variable, including static data member: [[maybe_unused]] int x;
- non-static data member: union U { [[maybe_unused]] int n; };,
- function: [[maybe_unused]] void f();
- enumeration: enum [[maybe_unused]] E {};
- enumerator: enum { A [[maybe_unused]], B [[maybe_unused]] = 42 };
- structured binding: [[maybe_unused]] auto [a, b] = std::make_pair (42, 0.23);
- result binding: post(r [[maybe_unused]] : this->empty())
For entities declared [[maybe_unused]], if the entities or their structured bindings are unused, the warning on unused entities issued by the compiler is suppressed.
For labels declared [[maybe_unused]], if they are unused, the warning on unused labels issued by the compiler is suppressed.
(since C++26)[edit] Example
Run this code
#include <cassert> [[maybe_unused]] void f([[maybe_unused]] bool thing1, [[maybe_unused]] bool thing2) { [[maybe_unused]] lbl: // the label "lbl" is not used, no warning [[maybe_unused]] bool b = not false and not true; assert (b); // in release mode, assert is compiled out, and "b" is unused // no warning because it is declared [[maybe_unused]] } // parameters "thing1" and "thing2" are not used, no warning int main() {}
[edit] Defect reports
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
| DR | Applied to | Behavior as published | Correct behavior | 
|---|---|---|---|
| CWG 2360 | C++17 | could not apply [[maybe_unused]] to structured bindings | allowed | 
[edit] References
- C++23 standard (ISO/IEC 14882:2024):
- 9.12.8 Maybe unused attribute [dcl.attr.unused]
 
- C++20 standard (ISO/IEC 14882:2020):
- 9.12.7 Maybe unused attribute [dcl.attr.unused]
 
- C++17 standard (ISO/IEC 14882:2017):
- 10.6.6 Maybe unused attribute [dcl.attr.unused]
 
[edit] See also
C documentation  for maybe_unused