それと、>>520の「コンパイル時の条件分岐」という言葉をググって
http://codepad.org/HU57E14p
を書いてみましたが、これもコンパイルが通りません。

複数の型に対応した１つの関数を作りたいだけなのですけど、
結構難しいものですね。