属性指定子シーケンス(C23 以降)

型、オブジェクト、式などのための実装定義属性を導入します。

属性は、Cプログラムのほぼどこでも使用でき、型、変数、関数、名前、コードブロック、翻訳単位全体など、ほぼすべてのものに適用できます。ただし、各属性は、実装で許可されている場所にのみ有効です。例えば、`[[expect_true]]` は `if` 文でのみ使用でき、クラス宣言では使用できない属性かもしれません。`[[omp::parallel()]]` はコードブロックまたは `for` ループに適用できる属性かもしれませんが、`int` 型には適用できないかもしれません（これらの2つの属性は架空の例です。標準属性および一部の非標準属性については以下を参照してください）。

宣言において、属性は宣言全体の前にも、宣言されたエンティティの名前の直後にも現れることができ、その場合、それらは結合されます。ほとんどのその他の状況では、属性は直前のエンティティに適用されます。

2つの連続した左角括弧トークン (`[[`) は、属性指定子を導入するとき、または属性引数の内部でのみ現れることができます。

以下にリストされている標準属性に加えて、実装は実装定義の動作を持つ任意の非標準属性をサポートする場合があります。実装で認識されないすべての属性は、エラーを引き起こすことなく無視されます。

すべての standard-attribute は標準化のために予約されています。つまり、すべての非標準属性は、実装によって提供される attribute-prefix でプレフィックスが付けられます。例: `[[gnu::may_alias]]` および `[[clang::no_sanitize]]`。

[編集] 標準属性

C標準で定義されている属性は次のとおりです。 `attr` の形式の名前を持つすべての標準属性は、`__attr__` としても表記でき、その意味は変更されません。

`[[deprecated]]`(C23)`[[deprecated("reason")]]`(C23) {{{notes}}}	この属性で宣言された名前またはエンティティの使用が許可されているが、何らかの reason のために推奨されないことを示します。 (属性指定子)[編集]
`[[fallthrough]]` (C23)	前のケースラベルからのフォールスルーが意図的なものであり、フォールスルーについて警告するコンパイラによって診断されるべきではないことを示します (属性指定子)[編集]
`[[nodiscard]]`(C23)`[[nodiscard("reason")]]`(C23) {{{notes}}}	戻り値が破棄された場合にコンパイラが警告を発するように促します。 (属性指定子)[編集]
`[[maybe_unused]]` (C23)	未使用のエンティティに対するコンパイラ警告を抑制します（もしあれば）。 (属性指定子)[編集]
`[[noreturn]]`(C23)`[[_Noreturn]]`(C23)(非推奨) {{{notes}}}	関数が戻らないことを示します (属性指定子)[編集]
`[[unsequenced]]` (C23)	関数がステートレス、効果なし、冪等、かつ独立していることを示します。 (属性指定子)[編集]
`[[reproducible]]` (C23)	関数が効果なしで冪等であることを示します。 (属性指定子)[編集]

[編集] 属性テスト


`__has_c_attribute(` attribute-token `)`

attribute-token で名前が付けられた属性トークンの存在をチェックします。

標準属性の場合、属性がワーキングドラフトに追加された年と月（以下の表を参照）に展開されます。ベンダー固有の属性の存在は、ゼロ以外の整数定数によって決定されます。

__has_c_attribute は、`#if` および `#elif` の条件式の展開に使用できます。`#ifdef`、`#ifndef`、および `defined` によって定義されたマクロとして扱われますが、それ以外の場所では使用できません。

attribute-token	属性	値	標準
`deprecated`	`[[deprecated]]`	201904L	(C23)
`fallthrough`	`[[fallthrough]]`	201904L	(C23)
`maybe_unused`	`[[maybe_unused]]`	201904L	(C23)
`nodiscard`	`[[nodiscard]]`	202003L	(C23)
`noreturn` `_Noreturn`	`[[noreturn]]` `[[_Noreturn]]`	202202L	(C23)
`unsequenced`	`[[unsequenced]]`	202207L	(C23)
`reproducible`	`[[reproducible]]`	202207L	(C23)

[編集] 例

このコードを実行

[[gnu::hot]] [[gnu::const]] [[nodiscard]]
int f(void); // declare f with three attributes
 
[[gnu::const, gnu::hot, nodiscard]]
int f(void); // the same as above, but uses a single attr
             // specifier that contains three attributes
 
int f(void) { return 0; }
 
int main(void)
{
}

[編集] 参照

C23標準 (ISO/IEC 9899:2024)

6.7.12 Attributes (p: TBD)

[編集] 関連項目

C++ のドキュメント（属性指定子シーケンスについて）

[編集] 外部リンク

1.	GCC における属性
2.	Clang における属性

コンパイラサポート
言語
ヘッダー
型サポート
プログラムユーティリティ
可変長引数関数のサポート
エラーハンドリング
動的メモリ管理
文字列ライブラリ
アルゴリズム
数値
日付と時刻のユーティリティ
入出力サポート
ローカライゼーションサポート
並行処理サポート (C11)
技術仕様
シンボルインデックス

基本概念
キーワード
プリプロセッサ
文
式
初期化
宣言
関数
その他
Cの歴史
技術仕様

ポインタ
配列
enum
struct
union
ビットフィールド
アトミック型 (C11)
const
constexpr (C23)
volatile
restrict (C99)
アラインメント指定子
記憶域期間とリンケージ
外部定義と仮定義
typedef
静的アサーション
属性 (C23)

deprecated (C23)
fallthrough (C23)
nodiscard (C23)
maybe_unused (C23)
noreturn_Noreturn (C23)(C23)(非推奨)
unsequenced (C23)
reproducible (C23)


standard-attribute	(1)

attribute-prefix `::` identifier	(2)

standard-attribute `(` argument-list (オプション) `)`	(3)

attribute-prefix `::` identifier `(` argument-list (オプション) `)`	(4)

cppreference.com

名前空間

変種

表示

操作

属性指定子シーケンス(C23 以降)

目次

[編集] 構文

[編集] 説明