1

floatとdoubleをtemplateによって抽象化しようと思っています。そこで次のようなtemplate関数を考えます。

template <class T>
T plus_one(const T& num) {
  return num + T(1.0);
}

1.0 はコンパイラーではdoubleになるので、とりあえずTでキャストしていますが、キャスティングにかかる負担を削減するため、次のように実際に使うdouble, floatのために特殊化しています。

template <>
double plus_one<double>(const double& num) {
  return num + 1.0;
}
template <>
float plus_one<float>(const float& num) {
  return num + 1.0f;
}

もし、1.0f と float(1.0)がコンパイラー上で性能上の違いがなければ、上記のような特殊化はせずに元のtemplate関数だけで足りるはずです。1.0fとfloat(1.0)は違いがありますか?

そしてもし1.0fとfloat(1.0)で違いがあれば、M_PI みたいな定数をfloatで使いたい場合は仕方がなく

#define M_PI_F (3.141592f)

みたいな新たなマクロ変数を定義しなくてはならないのでしょうか?

1 件の回答 1

4

例えば

int x = 1 + 1;

と記述した場合、1 + 1は定数式ですのでコンパイル時に計算され、実行時には直接2が使用されます。今回の場合、T(1.0)もテンプレート展開後には定数式ですのでコンパイル時にキャストされ、実行時には1.01.0fとして扱われます。

不安であればアセンブリリストを出力し、直接確認されることをお勧めします。


この例に関しては、以下でいいかも。

template <class T>
constexpr T plus_one(T num) {
    return num + 1;
}
2
  • constexpr T plus_one(const T& num), そして num + T(1) のほうが良いではありませんか?num + 1 にしてしまうと、num がruntimeで判断される変数になる場合に 1 のcastingが入ってしまいそうですが
    – 10ants
    2016年1月14日 2:04
  • 1
    参照にするかどうかですが、(うろ覚えですが)大抵のアーキテクチャで第1引数と戻り値が同じレジスターとなります。const T&にしてしまうと参照の値を取り出すために追加レジスターが必要になりますが、Tにすると1レジスターで関数が完結します(最適化で同じ結果になるとは思いますが…)。 numがruntimeで判断される変数だとしても、コンパイル時に型が確定し、更には+演算子がオーバーロードされるかなども定まっている必要があります。結果、1をどの型へキャストすべきかまでは定数式になるはずです。
    – sayuri
    2016年1月14日 2:41

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。