もともと、関数オブジェクトをテンプレートで渡すこと自体が推奨されていないことなのでしょうか?
いいえ。基本的には「関数オブジェクトをテンプレートで渡す」スタイルの方が推奨されます。C++標準ライブラリでもこのスタイルを取っています。
本家SOの std::function vs template 質問と回答もご参考にください。
std::function
や関数ポインタを引数に取らせるほうがよほどいい方法でしょうか?
std::function
方式は、テンプレート方式に比べると呼出しオーバーヘッドが大きくなりがちです。(賢いコンパイラであれば最適化してくれるかもしれません)- 関数ポインタ方式は、ラムダ式を含む関数オブジェクトが「状態」を持つケースで利用できません。つまりインタフェース設計の選択肢が狭まります。
追記にある例であれば、非テンプレートな通常関数を選ぶべきと思います。(この例示の範囲内に限れば)テンプレートを使う理由がなく、必要のない複雑性を持ち込むだけだからです。
強いて "テンプレート+std::is_same
" を使う理由付けをするならば、f('X');
のように暗黙にint
型へ変換可能な型(char
)を渡したときの挙動が異なります。このような厳密型一致が本当に必要であれば、テンプレート関数を使う必然性が出てきますね。
https://wandbox.org/permlink/R4Ua2a4J008FwNoC