Cの可変長引数とABIの奇妙な関係 - Qiita

printf に関する以下のツイートが流行っていました。 上のツイートでは割とあっさり説明されていますが、amd64 SysV ABIでこの現象が起こる理由にはもっと深遠なものがあると思うので、可変長引数とからめて説明してみたいと思います。 前提条件として「ABI」「可変長引数」「non-prototyped関数」の知識が必要なのでそこから説明します ABIとは ABI (Application Binary Interface) とは、機械語レベルでのインターフェースのことです。 機械語そのもののルールはISA (Instruction Set Architecture) によって規定されていますが、たとえばC言語の「関数呼び出し」などの概念を機械語でどのように表現するかについては規定していません。そのルールを定めたのがABIです。したがって、ISAとABIはおよそ1対多の関係にあります

[aont]

assemble assembler asm x86 abi

[nharuki]

ABIこわい

[rryu]

レジスタ渡しだと整数の最初の引数、浮動小数点数の最初の引数みたいに引数列が別れるから入れ替わりが発生するのか。

[yarumato]

“printf("%d %f\n", 1.2, 3); ->「3 1.200000」の理由。前提条件として「ABI」「可変長引数」「non-prototyped関数」の知識が必要なのでそこから説明。non-prototyped関数はよくないという認識が広まったら嬉しい”

[JULY]

引数の積みかたとかは、ある程度知ってたけど、可変長引数の関数を作ったことのは数回しかなく、その時の気持ち悪さが、少しすっきりした。

[sgo2]

id:gorokumi 普通にきちんと書けばそうはならないけど、偶発的に条件を満たす可能性はあり、そうなったら悩むこと必至。

[gorokumi]

「C/C++で、以下の実行結果が「3 1.200000」になることを知って震えている。 printf("%d %f\n", 1.2, 3);」