c++ - 整数型のテンプレート関数の特殊化

Question

テンプレート関数があるとします。

template<typename T>
void f(T t)
{
    ...
}

そして、すべてのプリミティブ整数型の特殊化を書きたいと思います。これを行うための最良の方法は何ですか？

私が意味するのは：

template<typename I where is_integral<I>::value is true>
void f(I i)
{
    ...
}

コンパイラは整数型には2番目のバージョンを選択し、その他すべてには最初のバージョンを選択しますか？

score 59 · Accepted Answer

SFINAEを使用する

// For all types except integral types:
template<typename T>
typename std::enable_if<!std::is_integral<T>::value>::type f(T t)
{
    // ...
}

// For integral types only:
template<typename T>
typename std::enable_if<std::is_integral<T>::value>::type f(T t)
{
    // ...
}

std::enable_if宣言の場合でも、完全な戻り値を含める必要があることに注意してください。

C ++ 17アップデート：

// For all types except integral types:
template<typename T>
std::enable_if_t<!std::is_integral_v<T>> f(T t)
{
    // ...
}

// For integral types only:
template<typename T>
std::enable_if_t<std::is_integral_v<T>> f(T t)
{
    // ...
}

score 28 · Accepted Answer

オーバーロード解決を使用します。これにより、大規模な SFINAE ハックを使用する必要がなくなります。残念ながら、避けられない領域はたくさんありますが、幸いなことに、これはその 1 つではありません。

template<typename T>
void f(T t)
{
  f(t, std::is_integral<T>());
}

template<typename T>
void f(T t, std::true_type)
{ 
  // ...
}

template<typename T>
void f(T t, std::false_type)
{ 
  // ...
}

score 12 · Accepted Answer

c++11 を使用すると、 std::enable_if ( http://en.cppreference.com/w/cpp/types/enable_if ) を使用してそれを行うことができます。

template<typename T, class = typename std::enable_if<std::is_integral<T>::value>::type>
void f(T t) {...}

score 7 · Accepted Answer

次のように特殊化できるヘルパーテンプレートを使用できます。

#include <string>
#include <iostream>
#include <type_traits>

template <typename T, bool = std::is_integral<T>::value>
struct Foo {
        static void bar(const T& t) { std::cout << "generic: " << t << "\n"; }
};
template <typename T>
struct Foo<T, true> {
        static void bar(const T& t) { std::cout << "integral: " << t << "\n"; }
};

template <typename T>
static void bar(const T& t) {
        return Foo<T>::bar(t);
}

int main() {
        std::string s = "string";
        bar(s);
        int i = 42;
        bar(i);
        return 0;
}

出力：

generic: string
integral: 42

score 2 · Accepted Answer

関数本体内にさまざまなバージョンを実装するだけで、より簡単で読みやすい方法はどうでしょうか?

    template<typename T>
    void DoSomething(T inVal) {
        static_assert(std::is_floating_point<T>::value || std::is_integral<T>::value, "Only defined for float or integral types");
        if constexpr(std::is_floating_point<T>::value) {
            // Do something with a float
        } else if constexpr(std::is_integral<T>::value) {
            // Do something with an integral
        }
    }

パフォーマンスについて心配する必要はありません。条件はコンパイル時定数であり、降下コンパイラはそれらを最適化します。「if constexpr」は残念ながら c++17 ですが、両方のバージョンが両方のタイプでエラーなしでコンパイルされる場合は、「constexpr」を削除できます。

c++ - 整数型のテンプレート関数の特殊化

6 に答える 6

Related

Reference