属性: nodiscard (C++17以上)

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ(C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ(C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ(C++17)

正規表現ライブラリ(C++11)

アトミック操作ライブラリ(C++11)

スレッドサポートライブラリ(C++11)

技術仕様書

 

C++言語

一般的なトピック
プリプロセッサ コメント	キーワード エスケープシーケンス
フロー制御
条件付き実行文
if	switch
繰り返し文 (ループ)
for range-for(C++11)	while do-while
ジャンプ文
continue - break	goto - return
関数
関数宣言
ラムダ関数宣言
inline 指定子
例外指定(C++20未満)
noexcept 指定子(C++11)
例外
throw 式	try-catch ブロック
名前空間
名前空間宣言	名前空間エイリアス
型
基本型 列挙型 関数型	複合型 共用体型
指定子
decltype(C++11) auto(C++11) alignas(C++11)	const/volatile constexpr(C++11)
記憶域期間指定子
初期化
デフォルト初期化 値初期化 ゼロ初期化 コピー初期化 直接初期化	集成体初期化 リスト初期化(C++11) 定数初期化 参照初期化

式
値カテゴリ 評価順序	演算子 演算子の優先順位
代替表現
リテラル
ブーリアン - 整数 - 浮動小数点
文字 - 文字列 - nullptr(C++11)
ユーザ定義(C++11)
ユーティリティ
属性(C++11)
型
typedef 宣言
型エイリアス宣言(C++11)
キャスト
暗黙の変換 - 明示的な変換
static_cast - dynamic_cast
const_cast - reinterpret_cast
メモリ確保
new 式	delete 式
クラス
クラス宣言 コンストラクタ this ポインタ	アクセス指定子 friend 指定子
クラス固有の関数特性
仮想関数 override 指定子(C++11) final 指定子(C++11)	explicit(C++11) static
特別なメンバ関数
デフォルトコンストラクタ コピーコンストラクタ ムーブコンストラクタ(C++11)	コピー代入 ムーブ代入(C++11) デストラクタ
テンプレート
クラステンプレート 関数テンプレート	テンプレートの特殊化 パラメータパック(C++11)
その他
インラインアセンブリ	C++ の歴史

 

宣言

概要 宣言の構文 宣言指定子 宣言子 指定子 typedef inline virtual 関数指定子 explicit 関数指定子 friend constexpr (C++11) consteval (C++20) constinit (C++20) 記憶域クラス指定子 classstruct union enum decltype (C++11) auto (C++11) alignas (C++11) constvolatile 複雑型指定子 属性 (C++11)

宣言子 参照 ポインタ 配列 ブロック宣言 シンプルな宣言 → 構造化束縛宣言(C++17) エイリアス宣言(C++11) 名前空間エイリアス定義 using 宣言 using 指令 static_assert 宣言(C++11) asm 宣言 不透明な enum の宣言(C++11) その他の宣言 名前空間定義 関数宣言 クラステンプレート宣言 関数テンプレート宣言 テンプレートの明示的実体化(C++11) テンプレートの明示的特殊化 リンケージ指定 属性の宣言(C++11) 空の宣言

 

属性

noreturn‎ (C++11)

carries_dependency (C++11)

deprecated (C++14)

fallthrough (C++17)

nodiscard (C++17)

maybe_unused (C++17)

likelyunlikely (C++20)(C++20)

no_unique_address (C++20)

optimize_for_synchronized (TM TS)

 

nodiscard 宣言された関数、または nodiscard 宣言された列挙またはクラスを値返しする関数が、 void へのキャスト以外の値を破棄する式から呼ばれた場合、コンパイラは警告を発することが推奨されます。

構文

[[nodiscard]]	(1)
[[nodiscard(string-literal)]]	(2)	(C++20以上)

string-literal

-

戻り値を破棄すべきでない論拠を説明するために使用できるテキスト

説明

関数宣言、列挙宣言、またはクラス宣言に現れます。

void へのキャスト以外の値を破棄する式から

• nodiscard 宣言された関数が呼ばれた、または
• nodiscard 宣言された列挙またはクラスを値返しする関数が呼ばれた、または
• nodiscard 宣言されたコンストラクタが明示的な型変換または static_cast によって呼ばれた、または
• nodiscard 宣言された列挙またはクラス型のオブジェクトが明示的な型変換または static_cast によって初期化された

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

string-literal (もし指定された場合) は、通常、警告に含まれます。

(C++20以上)

例

Run this code

struct[[nodiscard]] error_info {}; error_info enable_missile_safety_mode();void launch_missiles();void test_missiles(){ enable_missile_safety_mode();// nodiscard な値の破棄をコンパイラが警告するかもしれません。 launch_missiles();} error_info& foo();void f1(){ foo();// nodiscard な型ですが、値で返されていないため、警告はありません。}

欠陥報告

以下の動作変更欠陥報告は以前に発行された C++ 標準に遡って適用されました。

DR	適用先	発行時の動作	正しい動作
P1771R1	C++17	nodiscard on constructors has no effect	can cause a warning if the constructed object is discarded

標準ライブラリ

以下の標準ライブラリの関数は nodiscard 属性付きで宣言されます。

確保関数
operator newoperator new[]	確保関数 (関数)
allocate	未初期化記憶域を確保します (std::allocator<T>のパブリックメンバ関数)
allocate [静的]	アロケータを使用して未初期化記憶域を確保します (std::allocator_traits<Alloc>のパブリック静的メンバ関数)
allocate	メモリを確保します (std::pmr::memory_resourceのパブリックメンバ関数)
allocate	メモリを確保します (std::pmr::polymorphic_allocator<T>のパブリックメンバ関数)
allocate	外側のアロケータを使用して未初期化記憶域を確保します (std::scoped_allocator_adaptor<OuterAlloc,InnerAlloc...>のパブリックメンバ関数)
間接アクセス
launder (C++17)	ポインタ最適化バリア (関数テンプレート)
assume_aligned (C++20)	ポインタがアラインされていることをコンパイラに伝えます (関数テンプレート)
空かどうか調べる関数
empty (C++17)	コンテナが空かどうか調べます (関数)
empty	ノードハンドルが空かどうか調べます (node handleのパブリックメンバ関数)
empty	コンテナが空かどうか調べます (std::array<T,N>のパブリックメンバ関数)
empty	文字列が空かどうか調べます (std::basic_string<CharT,Traits,Allocator>のパブリックメンバ関数)
empty	ビューが空かどうか調べます (std::basic_string_view<CharT,Traits>のパブリックメンバ関数)
empty	コンテナが空かどうか調べます (std::deque<T,Allocator>のパブリックメンバ関数)
empty	コンテナが空かどうか調べます (std::forward_list<T,Allocator>のパブリックメンバ関数)
empty	コンテナが空かどうか調べます (std::list<T,Allocator>のパブリックメンバ関数)
empty	コンテナが空かどうか調べます (std::map<Key,T,Compare,Allocator>のパブリックメンバ関数)
empty	マッチが成功したかどうか調べます (std::match_results<BidirIt,Alloc>のパブリックメンバ関数)
empty	コンテナが空かどうか調べます (std::multimap<Key,T,Compare,Allocator>のパブリックメンバ関数)
empty	コンテナが空かどうか調べます (std::multiset<Key,Compare,Allocator>のパブリックメンバ関数)
empty	ベースとなるコンテナが空かどうか調べます (std::priority_queue<T,Container,Compare>のパブリックメンバ関数)
empty	ベースとなるコンテナが空かどうか調べます (std::queue<T,Container>のパブリックメンバ関数)
empty	コンテナが空かどうか調べます (std::set<Key,Compare,Allocator>のパブリックメンバ関数)
empty	シーケンスが空かどうか調べます (std::span<T,Extent>のパブリックメンバ関数)
empty	ベースとなるコンテナが空かどうか調べます (std::stack<T,Container>のパブリックメンバ関数)
empty	コンテナが空かどうか調べます (std::unordered_map<Key,T,Hash,KeyEqual,Allocator>のパブリックメンバ関数)
empty	コンテナが空かどうか調べます (std::unordered_multimap<Key,T,Hash,KeyEqual,Allocator>のパブリックメンバ関数)
empty	コンテナが空かどうか調べます (std::unordered_multiset<Key,Hash,KeyEqual,Allocator>のパブリックメンバ関数)
empty	コンテナが空かどうか調べます (std::unordered_set<Key,Hash,KeyEqual,Allocator>のパブリックメンバ関数)
empty	コンテナが空かどうか調べます (std::vector<T,Allocator>のパブリックメンバ関数)
empty	パスが空かどうか調べます (std::filesystem::pathのパブリックメンバ関数)
その他
async (C++11)	(場合によっては新しいスレッドで) 非同期に関数を実行し、その結果を保持する std::future を返します (関数テンプレート)