［C++］ [[nodiscard]]の言いたいこと - 地面を見下ろす少年の足蹴にされる私

関数の戻り値に対するnodiscard

一番基本的な使い方です。この場合は単に戻り値を捨てないでね？という意思表示をし、それをコンパイラに通知してもらいます、そのままです。

[[nodiscard]] int f() {
  return 0;
}

int main() {
  f();  //コンパイラが警告を出してくれるはず
}

[Wandbox]三へ( へ՞ਊ ՞)へﾊｯﾊｯ

型に対するnodiscard

[[nodiscard]]は実は型に対してもつけることができます。

struct [[nodiscard]] S {
  int status;
};

S f() {
  return {};
}


int main() {
  f();  //コンパイラが警告をしてくれるはず
  S{};  //警告してくれるはず・・・
}

[Wandbox]三へ( へ՞ਊ ՞)へﾊｯﾊｯ

関数の戻り値となるときには似たような意味を持つことになるのですが、この場合の[[nodiscard]]のお気持ちはSのオブジェクトを捨てないでね？という意味です。

従って、関数からオブジェクトを返さない場合は特にエラーになりません。

struct [[nodiscard]] S {
  int status;
};

const S& f() {
  static S s{};
  return s; //参照を返す
}


int main() {
  f();  //コンパイラは警告しない
}

[Wandbox]三へ( へ՞ਊ ՞)へﾊｯﾊｯ

戻り値を捨てて欲しく無いのではなく、Sのオブジェクトを捨てて欲しく無いことを表明するのです。

コンストラクタに対するnodiscard

[[nodiscard]]はコンストラクタに対してもつけることができ（るようになり）ます。

struct S {
  int status;

  [[nodiscard]] S(int st) : status(st) {}

  S() = default;
};

S f() {
  return {};
}

S g() {
  return {1};
}


int main() {
  f();  //コンパイラは警告しない
  g();  //コンパイラが警告をしてくれる・・・と、思うじゃん？

  S{};  //コンパイラは警告しない
  S{1}; //コンパイラが警告をしてくれるはず
}

[Wandbox]三へ( へ՞ਊ ՞)へﾊｯﾊｯ

この場合は特定のコンストラクタを通して構築されたときは、そのオブジェクトを捨てないでね？という意味になります。
状況によってはオブジェクトを捨てても良いけど、また状況によっては捨て欲しくないことを表明します。エラーを表現する型やリソースを保持するような型などに利用するといいかもしれません・・・

しかし、上記g()の呼び出しのように関数の戻り値になった時は特に警告してくれないようです、罠っぽいです・・・

ちなみに、C++17時点では[[nodiscard]]はコンストラクタに対して意味を持ちませんでしたが、C++20でこれが修正され明確な意味を持つようになりました。
ただし、C++17に対する欠陥修正であるためC++17にさかのぼって適用されます。しかし、GCC以外はどうやらこれに対応していなかったようなので、実質的に使えるのはC++20からになります。

理由を添えるnodiscard

C++20より、[[nodiscard("Why did you throw it away?")]]のように戻り値ないしはオブジェクトを捨ててほしくない理由を書いておくことができるようになります。
これを利用すると、上記のように暗黙的なお気持ち表明に頼らずに[[nodiscard]]の意図を表明できます。

struct [[nodiscard("Will i die?")]] S {
  int status;
};

[[nodiscard("Look carefully!")]]
int f() {
  return 0;
}

S g() {
  return {};
}


int main() {
  f();  //コンパイラが警告をしてくれるはず
  g();  //コンパイラが警告をしてくれるはず

  S{};  //コンパイラが警告をしてくれるはず
  S{1}; //コンパイラが警告をしてくれるはず
}