4

これは std::enable_if の適切な使用ですか? それは機能しますが、正しいですか？

//*.h file

template <typename T>
static typename std::enable_if<std::is_integral<T>::value, T>::type 
randomFrom(const T min, const T max);


template <typename T>
static typename std::enable_if<std::is_floating_point<T>::value, T>::type 
randomFrom(const T min, const T max);

.

//*.inl file

template <typename T>
inline typename std::enable_if<std::is_integral<T>::value, T>::type 
Math::randomFrom(const T min, const T max)
{
    static std::default_random_engine re((unsigned long)time(0));
    std::uniform_int_distribution<T> uni(min, max);
    return static_cast<T>(uni(re));
}

template <typename T>
inline typename std::enable_if<std::is_floating_point<T>::value, T>::type 
Math::randomFrom(const T min, const T max)
{
    static std::default_random_engine re((unsigned long)time(0));
    std::uniform_real_distribution<T> uni(min, max);
    return static_cast<T>(uni(re));
}

よりクリーンなインターフェースを実現するために、どのように書き直すことができますか? お気に入り：

template <typename T>
static T randomFrom(const T min, const T max);

ところで、ブーストを使用すると、次のようなものがありました：（ブーストを使用したくない）

typedef typename boost::mpl::if_<
        boost::is_floating_point<T>,
        boost::uniform_real<>,
        boost::uniform_int<>>::type dist_type;

全体の動作は単一の機能で解決されました。でも、そんなことないstd::ifですよね？

4

3 に答える 3

8

あなたの使用法は問題なく、非常に慣用的です。

Boost.MPL に相当するものは次のif_ようになりますstd::conditional。

typedef typename std::conditional<
        std::is_floating_point<T>::value,
        std::uniform_real_distribution<T>,
        std::uniform_int_distribution<T>>::type dist_type;
于 2012-08-27T18:56:45.200 に答える
4

単にそれらを包むだけですか？

template <typename T>
inline typename std::enable_if<std::is_integral<T>::value, T>::type 
randomFrom_helper(const T min, const T max)
{
    static std::default_random_engine re((unsigned long)time(0));
    std::uniform_int_distribution<T> uni(min, max);
    return static_cast<T>(uni(re));
}

template <typename T>
inline typename std::enable_if<std::is_floating_point<T>::value, T>::type 
randomFrom_helper(const T min, const T max)
{
    static std::default_random_engine re((unsigned long)time(0));
    std::uniform_real_distribution<T> uni(min, max);
    return static_cast<T>(uni(re));
}


template <typename T>
T randomFrom(const T min, const T max)
{
return randomFrom_helper(min,max);
}
于 2012-08-27T18:56:12.063 に答える
3

Mr.Anubisも提案するようにそれらをラップしたら、(時には少し不可解な) SFINAE ハックをドロップして、代わりにオーバーロードを使用することもできます。

namespace detail
{
    template <typename T>
    T randomFromImpl(const T min, const T max, const std::true_type&)
    {
        //integer implementation
    }

    template <typename T>
    T randomFromImpl(const T min, const T max, const std::false_type&)
    {
        //float implementation
    }
}

template <typename T>
T randomFrom(const T min, const T max)
{
    static_assert(std::is_arithmetic<T>::value, "unsupported type");
    return detail::randomFromImpl(min, max, std::is_integral<T>());
}

それ以外は、std::enable_if必ずしも必要でなくても、の使用は確かに正しいです（ただし、SFINAEまたはオーバーロードを好む場合は好みの問題だと思います）。

于 2012-08-27T19:49:08.107 に答える