名前空間
変種
操作

C属性: nodiscard (C23以降)

From cppreference.com
< c‎ | language‎ | attributes

nodiscardとして宣言された関数、またはnodiscardとして値渡しで宣言された構造体/共用体/列挙型を返す関数が、discarded-value expressionvoidへのキャストを除く)から呼び出された場合、コンパイラは警告を発することが推奨されます。

目次

[編集] 構文

[[ nodiscard ]]
[[ __nodiscard__ ]]
(1)
[[ nodiscard ( 文字列リテラル ) ]]
[[ __nodiscard__ ( 文字列リテラル ) ]]
(2)
string-literal - 結果を破棄すべきでない理由を説明するために使用できるテキスト

[編集] 説明

関数宣言、列挙型宣言、または構造体/共用体宣言に表示されます。

voidへのキャストを除くdiscarded-value expressionから、

  • nodiscardとして宣言された関数が呼び出された場合、または
  • nodiscardとして宣言された構造体/共用体/列挙型を返す関数が呼び出された場合、

コンパイラは警告を発することが推奨されます。

指定された場合、文字列リテラルは通常、警告に含まれます。

[編集]

struct [[nodiscard]] error_info { int status; /*...*/ };
struct error_info enable_missile_safety_mode() { /*...*/ return (struct error_info){0}; }
void launch_missiles() { /*...*/ }
void test_missiles() {
   enable_missile_safety_mode(); // compiler may warn on discarding a nodiscard value
   launch_missiles();
}
struct error_info* foo() { static struct error_info e; /*...*/ return &e; }
void f1() {
    foo(); // nodiscard type itself is not returned, no warning
}
// nodiscard( string-literal ):
[[nodiscard("PURE FUN")]] int strategic_value(int x, int y) { return x ^ y; }
 
int main()
{
    strategic_value(4,2); // compiler may warn on discarding a nodiscard value
    int z = strategic_value(0,0); // OK: return value is not discarded
    return z;
}

実行結果の例

game.cpp:5:4: warning: ignoring return value of function declared with 'nodiscard' attribute
game.cpp:17:5: warning: ignoring return value of function declared with 'nodiscard' attribute: PURE FUN

[編集] 関連項目

C++のドキュメント (nodiscardについて)
English 日本語 中文(简体) 中文(繁體)