コンパイル時リマークについて

質問

Cプログラムコンパイル（HP-UX環境）にて出力されるリマークに関して、自分の解釈が正しいかを教えて下さい。

下記＃内に記載してある内容が対象のリマークとなります。
（＃内の内容はHP Code Advisor Diagnosticsを引用しています）

例（Example:部分）の問題点としては
「int（4バイト）とchar（1バイト）をメンバに持つ構造体はバイト境界によってはパディングされ構造体サイズが６バイトや8バイトになってしまうことがあるから気をつけてね」
という解釈でよいでしょうか？

また、このリマークを構造体宣言で出力されないようにするためにはどのように対処したら良いのでしょうか？

＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃
4264 padding size of struct anonymous with %s bytes to alignment boundary
Cause:
Padding bytes have been inserted for proper alignment of the anonymous struct.

Example:
Action:

typedef unsigned char uint8_t;
typedef unsigned int uint32_t;
int main() {
typedef struct {
uint32_t data_size;
uint8_t status;
} str;
}

Insertion of padding bytes themselves is not a problem but you need to ensure that you do not use hard coded offsets for accessing fields of the struct through pointers, use offset of macro instead. In some cases the number of padding bytes being inserted can be reduced by reordering the fields.
＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃＃

よろしくお願いします。

回答No.5

Tacosan · ベストアンサー

後半はおよそ「構造体のメンバをポインタ経由でアクセスするときにはハードコードしたオフセットを使わないで offset of マクロを使え」って意味ですぜ＞#4.

・なぜか「offset of」と空白が入っている
・そもそも無名構造体では offsetof が使えない
という点で謎の文章ですが, 同じ文章を持つ別のリマークがあるので「同じだと思ってコピペした」とか, その程度のことではないかと.

お礼

＞後半はおよそ「構造体のメンバをポインタ経由でアクセスするときにはハードコードしたオフセットを使わないで offset of マクロを使え」

なるほど！
この訳でリマークに対する説明がしっくりきました。

本日、環境で試してみたところ構造体のメンバ内のデータには特に悪さをしないようでした。パディングが付与されるのを避けられない構成としなければならない場合は、構造体全体サイズやオフセット値に気をつけた処理にすることで対処しようと思います。

Tacosanさん、wormholeさん
つたない質問に何度もご回答ありがとうございました。

回答No.4

wormhole

>確かにstructの後にタグ名付いてないですね。再現できる環境が手元にないため明日試してみます。

何か微妙に勘違いされてる気がしますけど私は構造体が無名であることを指摘してるわけじゃないですよ。
私が#2で書いていた「メッセージは無名の構造体についての事」というのは「メッセージは無名の構造体についてのパディングに関する指摘」ということだったんですが(パディングの付与されることの注意の対象が、無名の構造体　ってことです)。

自信はありませんけどメッセージの後半は
構造体のフィールドにポインタでアクセスする際には無名の構造体だとoffsetofマクロは使用できないので、オフセット値をハードコーディングしてないか確認してください。
って事かと思います(構造体のフィールドにポインタでアクセスする方が稀なケースだとは思うけど)。

そういう意味では

>アライメント境界まで空き領域をなくしてあげることでリマークがでないことは確認できましたので、やはりパディングが付与されることの注意ではないかと思っています。

の対処もアライメントはコンパイルオプション等で変更できますのでよくないと思います。

お礼

＞「メッセージは無名の構造体についての事」というのは「メッセージは無名の構造体についてのパディングに関する指摘」ということだったんですが

そうですね。正確に英語が読めなくても、そのぐらい解釈しろという感じですね。。。お恥ずかしい。

回答No.3

Tacosan

うぅ～ん, 「名前を付ければアライメントは気にしなくていい」という性格のものじゃないんだけどなぁ... と思って調べたら Code Advisor Diagnostics Reference に
4255 padding size of struct %sq1 with %s2 bytes to alignment boundary
ってメッセージがある. そしてこの 4255 と 4264 の「Action」の文章が一字一句同じ (苦笑).

余談: マクロの名前は offset of じゃなくて offsetof なんだけど, 構造体名を要求するため ISO に従う限り無名構造体では使えない.

お礼

無名の構造体じゃない場合は4255でリマークをだすんですね。

＞余談: マクロの名前は offset of じゃなくて offsetof なんだけど,

offset of macroはoffsetofマクロのことを言っているんですか！！
気づけなかった。。。

回答No.2

wormhole

質問文に書かれてるメッセージは無名の構造体(タグ名もなくtypedefで型定義もしていない)についての事のようですので、無名の構造体を使用しなければよいのではないでしょうか。

お礼

回答ありがとうございます。
確かにstructの後にタグ名付いてないですね。再現できる環境が手元にないため明日試してみます。
ただ、本日同環境で色々試してみたところ、アライメント境界まで空き領域をなくしてあげることでリマークがでないことは確認できましたので、やはりパディングが付与されることの注意ではないかと思っています。
構造体のメンバ構成が変えられない場合に同事象によって各メンバのデータまで影響が及ばないかを懸念しています。

回答No.1

Tacosan

「バイト境界」っていわれるとビットフィールドかと思ってしまいそう. 普通は「アラインメント」じゃないかな. int が 4バイトかどうかは知らんけど.

出力しない方法は.... コンパイラのマニュアルでしかるべきオプション (なり設定なり) を探す.

お礼

回答とご指摘ありがとうございます。
アライメント境界と書くべきだったのですね。
自分で調べていたときにアライメント境界と説明している資料もあったのですが、一般的に使う言葉か分からなかったので言葉を変えてしまいました。。。
出力しない方法はコンパイルオプションでの非表示ではなく、根本的な原因解決方法を聞きたかったのですが説明がヘタクソでした。
C言語の前に日本語力ですね。。。