_Alignas (C11以降)(C23で非推奨), alignas (C23以降)

 

C

コンパイラサポート

言語

ヘッダー

型サポート

プログラムユーティリティ

可変長引数関数のサポート

エラーハンドリング

動的メモリ管理

文字列ライブラリ

アルゴリズム

数値

日付と時刻のユーティリティ

入出力サポート

ローカライゼーションサポート

並行処理サポート (C11)

技術仕様

シンボルインデックス

 

C言語

基本概念

キーワード

プリプロセッサ

文

式

初期化

宣言

関数

その他

Cの歴史

技術仕様

 

宣言

ポインタ

配列

enum

struct

union

ビットフィールド

アトミック型 (C11)

const

constexpr (C23)

volatile

restrict (C99)

アラインメント指定子

記憶域期間とリンケージ

外部定義と仮定義

typedef

静的アサーション

属性 (C23)

 

宣言構文で、宣言されるオブジェクトのアライメント要件を変更する型指定子の一つとして現れます。

構文

_Alignas ( 式 )	(1)	(C11 以降)
alignas ( 式 )	(2)	(C23以降)
_Alignas ( 型 )	(3)	(C11 以降)
alignas ( 型 )	(4)	(C23以降)

式	-	有効なアライメントまたはゼロの値を持つ任意の整数定数式
type	-	任意の型名

キーワード_Alignasは、ヘッダー<stdalign.h>で利用可能な便利なマクロalignasとしても利用できます。

(C23まで)

説明

_Alignas(C23まで)alignas(C23以降)指定子は、ビットフィールドではないオブジェクト、およびregister記憶域クラスを持たないオブジェクトの宣言にのみ使用できます。関数パラメータ宣言やtypedefには使用できません。

宣言で使用される場合、宣言されるオブジェクトのアライメント要件は次のように設定されます。

1,2)ゼロでない限り、式の結果

3,4)型のアライメント要件、すなわち_Alignof(type)(C23まで)alignof(type)(C23以降)

ただし、これにより型が本来持っていたアライメントが弱められる場合は除きます。

式がゼロと評価される場合、この指定子は効果がありません。

同じ宣言に複数の_Alignas(C23まで)alignas(C23以降)指定子が現れる場合、最も厳しいものが使用されます。

_Alignas(C23まで)alignas(C23以降)指定子はオブジェクトの定義にのみ現れる必要がありますが、宣言のいずれかが_Alignas(C23まで)alignas(C23以降)を使用する場合、定義の_Alignas(C23まで)alignas(C23以降)と同じアライメントを指定しなければなりません。異なる翻訳単位が同じオブジェクトに対して異なるアライメントを指定した場合の動作は未定義です。

注意

C++では、alignas指定子はクラス/構造体/共用体型および列挙型の宣言にも適用できます。これはCではサポートされていませんが、構造体型のアライメントは、メンバ宣言で_Alignas(C23まで)alignas(C23以降)を使用することで制御できます。

キーワード

alignas, _Alignas

例

このコードを実行

#include <stdalign.h>
#include <stdio.h>
 
// every object of type struct sse_t will be aligned to 16-byte boundary
// (note: needs support for DR 444)
struct sse_t
{
    alignas(16) float sse_data[4];
};
 
// every object of type struct data will be aligned to 128-byte boundary
struct data
{
    char x;
    alignas(128) char cacheline[128]; // over-aligned array of char,
                                      // not array of over-aligned chars
};
 
int main(void)
{
    printf("sizeof(data) = %zu (1 byte + 127 bytes padding + 128-byte array)\n",
           sizeof(struct data));
 
    printf("alignment of sse_t is %zu\n", alignof(struct sse_t));
 
    alignas(2048) struct data d; // this instance of data is aligned even stricter
    (void)d; // suppresses "maybe unused" warning
}

出力

sizeof(data) = 256 (1 byte + 127 bytes padding + 128-byte array)
alignment of sse_t is 16

不具合報告

以下の動作変更を伴う欠陥報告が、以前に発行されたC規格に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
DR 444	C11	_Alignasは構造体および共用体メンバでは許可されていませんでした	許可

参照

• C23標準 (ISO/IEC 9899:2024)

• 6.7.5 アライメント指定子 (p: TBD)

• 6.2.8 オブジェクトのアライメント (p: TBD)

• 7.15 アライメント <stdalign.h> (p: TBD)

• C17標準 (ISO/IEC 9899:2018)

• 6.7.5 アライメント指定子 (p: 92)

• 6.2.8 オブジェクトのアライメント (p: 36-37)

• 7.15 アライメント <stdalign.h> (p: 196)

• C11標準 (ISO/IEC 9899:2011)

• 6.7.5 アライメント指定子 (p: 127-128)

• 6.2.8 オブジェクトのアライメント (p: 48-49)

• 7.15 アライメント <stdalign.h> (p: 268)

関連項目

max_align_t (C11)	他のどのスカラ型よりも大きいアライメント要求を持つ型 (typedef)
_Alignof(C23まで)alignof(C23以降)	オブジェクトのアライメント要件を問い合わせます (演算子)
C++ドキュメント (alignas指定子)