va_argでの鋳造方法

Question

私は多様な関数と引数についていくつかの研究をしています。

私は、va_argがオブジェクトを他のオブジェクトにキャストできることに気付きました。

ファンクションコール：

AddNumbers(3, 5, 'a', 20); 

関数宣言：

次の引数が charですが、それは intする必要がありますようにあなたが va_argを使用している場合例えば、それは char intへのキャスト

int AddNumbers(int count, ...) { 
    int result; 

    va_list va; 
    va_start(va, count); 
    for(int i = 0; i < count; ++i) { 
     result += va_arg(va, int); 
    } 
    return result; 
} 

私の質問は：どのような種類のキャスト（Cスタイル、ダイナミックキャストなど）ですか？

Answer 1

va_argはマクロであり、関数ではないので、正確にはキャスティングではありません。したがって、タイプva_arg(va, int)は、intによってです。

しかしプロモーションは可変引数関数を呼び出すときに省略記号の前の引数を除いて（発生。

をそうAddNumbers(3, 5, 'a', 20);で行う、文字'aは「int型に昇格されます。あなたは、あなたのコードと同じようにintとして使用するか、int型の値がchar型で表すことができるために定義されたchar（変換ではないキャスト）に戻します。

Answer 2

私が正しくあなたの質問を理解していれば：可変引数関数を呼び出すときに

Cは、デフォルトでは、特定の「キャスト」を行います。 GCCはこれらをdefault argument promotionsと呼びます。彼らは以下のとおりです。

• 符号付きまたは符号なしcharとshort int符号付きまたは符号なしintなります。
• floatは、doubleとなる。

これは本当にAddNumbers内のキャストをやっva_argの問題ではありません。その代わりにを呼び出すときには、AddNumbersをスタックにプッシュする際に、呼び出し側が引数をAddNumbersに昇格させるようにします。

Answer 3

キャスティングとは関係ありません。この場合、引数プロモーションのために動作します。

varargs関数を使用する場合、integer types smaller than int (like e.g. char) are promoted to int。

これは、文字リテラルを関数に渡すときに機能する理由です。たとえば、次のような他のタイプを試してみてください。浮動小数点値なら、それはもはや機能しません。

va_argマクロ（ほとんどの場合、マクロとして実装されています）は、完全に実装に依存します。キャストはまったく行われないかもしれませんが、他の形式のtype punningを代わりに使用してください。