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

2019/09/01 55 users ABI printf Qiita twitter.com 現象

printf に関する以下のツイートが流行っていました。 https://twitter.com/kaityo256/status/1167756472312184832 上のツイートでは割とあっさり説明されていますが、amd64 SysV ABIでこの現象が起こる理由にはもっと深遠なものがあると思うので、可変長引数とからめて説明してみたいと思います。 前提条件として「ABI」... 続きを読む

Lispから可変長引数を引き算したらできること - 標高+1m

2015/09/07 20 users LISP マクロ 左結合 視点 標高+1m

2015-09-07 Lispから可変長引数を引き算したらできること Lisp Carrot Schemeから可変長引数を引き算したら Shiroさんが面白い記事書かれてたので、前に実際に可変長引数をなくしたLispを作って発見したことを紹介します。*1 実装者とは全く別の、遊ぶ人の視点からの記事です。 ちなみにこの記事では意図的にマクロを一切使わない、いわばラムダ計算パズルをします。 左結合のカ... 続きを読む

Kazuho's Weblog: C言語で可変長引数をとる関数を、型安全に書く方法

2014/12/13 21 users 関数 Kazuho's Weblog C言語 Double

C言語で可変長引数をとる関数を、型安全に書く方法 C言語の可変長引数は、型安全でない（まちがった型の引数を渡してもコンパイルエラーにならない）とされています。これは言語仕様の理解としては正しいのですが、特定の型の引数を任意の個数とる関数に限っては、マクロを使うことで型安全性を確保することができます。 任意の個数のdoubleを引数にとり、その和を返す関数「sumf」を例にあげて説明します。 C言語... 続きを読む

Kazuho's Weblog: C言語で可変長引数をとる関数を、型安全に書く方法

2014/12/13 224 users 関数 Kazuho's Weblog C言語 Double

Saturday, December 13, 2014 C言語で可変長引数をとる関数を、型安全に書く方法 C言語の可変長引数は、型安全でない（まちがった型の引数を渡してもコンパイルエラーにならない）とされています。これは言語仕様の理解としては正しいのですが、特定の型の引数を任意の個数とる関数に限っては、マクロを使うことで型安全性を確保することができます。 任意の個数のdoubleを引数にとり、その... 続きを読む