enablerは必要ですか？

Question

以下の記事を読みました。
https://cpplover.blogspot.com/2011/04/c0xenableif.html

template < typename T,
    typename Reserved = typename std::enable_if< std::is_arithmetic<T>::value >::type >
void f( T ) { }

template < typename T,
    typename Reserved = typename std::enable_if< std::is_pointer<T>::value >::type >
void f( T ) { } // エラー、再定義

だとオーバーロードできない、と書かれていますが、

template <typename T>
typename std::enable_if<std::is_pointer<T>::value>::type f(T) {
	std::cout << "pointer" << std::endl;
}

template <typename T>
typename std::enable_if<std::is_arithmetic<T>::value>::type f(T) {
	std::cout << "arithmethic" << std::endl;
}

だけで今はできますよね。

以前はこう書くことはできなかったのでしょうか…？

Answer 1

手法の説明を簡単にするために関数テンプレートが用いられているだけで、普通の関数テンプレートではもっと簡単に出来る方法があるというのは重要ではありません。

記事の後半を見ればわかるように、コンストラクタ/変換オペレータ (記事にはありませんがクラステンプレートそのものもそうです) では返却値の型を書けませんのでそういう場合にも使えるやり方だということを言っています。

普通の関数テンプレートであれば質問者の考える通りの方法で問題ありません。

Comments

[__ook]

あー…、理解できました。ありがとうございます。