自己推進のデータ型

Question

しかし、私は自己促進のデータ型の意味を把握することができませんでした。彼らは何ですか&非自己昇進データ型とはどのように違いますか？

Answer 1

ここにはC99 standardがあります。 「自己宣伝」型は、デフォルトの引数プロモーション（6.1.1.1項で説明した整数プロモーションを参照する§6.5.2.2パラグラフ6）が適用されるときに自らを促進するタイプです。

va_arg定義（§7.15.1.1）を読むと、この制限がはであるということです。 [...]

または（デフォルト引数キャンペーンに による推進されるように）タイプは、実際の次の引数の型と互換性がない場合に...：関連部分は第2項です]昇格される実際の次の引数の型について非常に明確であるが、私はおよそタイプが推進されて何も言わないよう読ん

を。 （私は "（昇格された...）"節は、varargs関数が呼び出されたときに、引き続く引き数にデフォルトの引数昇格が実行されることを思い出させるものです）。

この項目は§ J.2この読み取りをサポートしてい

- 実際の次の引数、または実際次 引数の促進タイプと互換性がない 指定されたタイプとが存在しない場合va_argマクロが起動され、一定と例外（7.15.1.1）。

（私は知っていますが、附属書Jは「規範的」ではなく「有益」です...）。場合

：va_arg(ap, float)（たとえば）有効にすることはできません - その場合にタイプはfloatであるが、実際の次の引数の促進タイプは、おそらく（float引数はdoubleに昇格される）floatことができません。

Answer 2

これはglibcの制限のようですが、C標準にはありません。

この背後にある考え方は、「変換ランク」、いわゆるいるという整数型であるintよりも小さいが、自動的にsignedまたはunsignedintに昇格されています。 va_arg関数はそのようなより広い引数を見つけます。 va_argマクロは、まず、タイプintのより広い引数を読んでから、元の型にキャストし直さなければなりません。

（同じことがdoubleへfloat w.r.tについても同様である。）

気づいていないプログラマのために、これは驚くべき結果を持つことができるので、私は、これは避けるべきであるという考えに同意します。引用している説明は、小さなタイプを使用しないように強制されていることを暗示しているようです。これは偽物であり、私は標準と一致していないと言っています。一方、コードを書いた場合、これは制限で拡張ではないので、移植性の問題は決してありません。