c++ - How to do one explicit specialization for multiple types?

Question

Considering a template function like below how is it possible to do explicitly specialize one version of function for multiple types:

template <typename T>
void doSomething(){
 //whatever
}

The intention is to have one specialization instead of multiple following ones because //something is the same:

void doSomething<int>(){
 //something
}
void doSomething<float>(){
 //something
}
void doSomething<double>(){
 //something
}

any method to achieve one specialization?

Answer 1

テンプレート機能の特化はできません。ただし、関数から使用できるヘルパー クラスで実装を委任することもできます。いくつかのスケルトン コード:

テンプレート クラスを実装し、特殊化します。

template< typename T, bool isArithmetic>
struct Something { void operator()() { ... } };

template< typename T, true>
struct Something { void operator()() { ... do something specialized for arithmetic types; } }

次に、テンプレート関数で使用します。

template< typename T>
void myFunction()
{
   Something<T, IsArithmetic<T>::value>()();
}

IsArithmetic は、型 T (セレクター) に関する情報を提供するクラスです。このような型情報は、たとえばブースト ライブラリで見つけることができます。

Answer 2

一種の doSomethingImpl 関数を持つことができます。

template<typename T> doSomethingImpl() {
    // whatever
}
template<typename T> doSomething() {
    // something else
}
template<> doSomething<float>() {
    doSomethingImpl<float>();
}
template<> doSomething<int>() {
    doSomethingImpl<int>();
}

SFINAE や などを使用して、より一般的に特化することもできstd::is_numeric<T>ます。