4. [[nodiscard]]属性に理由となる文字列を付加できるようにする [P1301R4]

最終更新日時(UTC):
が更新

履歴 編集

[[nodiscard]]属性に理由となる文字列を付加できるようにする [P1301R4]

このページはC++20に採用された言語機能の変更を解説しています。

のちのC++規格でさらに変更される場合があるため関連項目を参照してください。

概要

戻り値が使用されない場合に警告を出力させる[[nodiscard]]属性に、戻り値を無視してはならない理由を文字列リテラルとして指定できるようにする。

これにより、以下のようなことをユーザーに警告メッセージとして伝えることができる：

  • 戻り値を無視するとリソースリークの可能性がある
  • 誤って別な関数を使ってしまっている可能性がある

理由を設定できることで、ユーザーが関数の実装を調べなくても戻り値を無視してはならない理由を正確に知ることができるようになる。

仕様

  • nodiscard属性は、以下の形式の引数をとることができる：
    • nodiscard(文字列リテラル)
  • nodiscard属性なしで宣言された名前もしくはエンティティは、あとで属性をつけて再宣言でき、その逆もできる。その際、引数のありなしも変更できる
  • nodiscard属性の引数である文字列リテラルは、戻り値を無視してはならない理由、意図を示すことや、適切な使用方法の可能性を提案するためなどに、警告メッセージとして使用されることを目的とする

例

#include <memory>
#include <vector>

class data_holder {
  std::unique_ptr<char[]> ptr;
  std::vector<int> indices;

public:
  // この関数のユーザーに所有権を委譲する。
  // ユーザーはこの戻り値のメモリを適切に解放しなければならず、
  // 戻り値を無視するとメモリリークが発生してしまう
  [[nodiscard("Possible memory leak.")]] 
  char* release() {
    indices.clear();
    return ptr.release();
  }

  void clear() {
    indices.clear();
    ptr.reset(nullptr);
  }

  // clear()関数のつもりでempty()関数を呼び出してしまった可能性がある。
  // empty()は空かどうかを判定するだけで、空にするわけではない
  [[nodiscard("Did you mean 'clear'?")]] 
  bool empty() const {
    return ptr != nullptr && !indices.empty();
  }
};

int main() {
  data_holder dh; // 本来はなんらかの初期化処理を行う

  // 重大な間違いを、警告で説明する
  dh.release();

  // 軽微な間違いを、警告で説明する
  dh.empty();
}

出力例

prog.cc: In function 'int main()':
prog.cc:35:19: warning: ignoring return value of 'char* data_holder::release()', declared with attribute 'nodiscard': 'Possible memory leak.' [-Wunused-result]
   35 |         dh.release();
      |         ~~~~~~~~~~^~
prog.cc:13:9: note: declared here
   13 |   char* release() {
      |         ^~~~~~~
prog.cc:37:17: warning: ignoring return value of 'bool data_holder::empty() const', declared with attribute 'nodiscard': 'Did you mean 'clear'?' [-Wunused-result]
   37 |         dh.empty();
      |         ~~~~~~~~^~
prog.cc:26:8: note: declared here
   26 |   bool empty() const {
      |        ^~~~~

関連項目

参照