std :: max、ただしテンプレートパラメータ用

Question

コンパイル時に最大2つの定数値が見つかるテンプレートクラスが必要です。このような何か：

template<enum_t e1, enum_t e2> 
struct max_of { static const enum_t value = SOMEHOW_MAX(e1, e2); }; 

enum_tが列挙型であり、max_of<x, y>::valueはxとyの最大値を同じにする必要があります。だから問題は：SOMEHOW_MAXの代わりに何を使用するのですか？コンパイル時にテンプレートのパラメータ値を比較することができないので、私はC++ 14の機能を使用することに制限されているので、ただstd::maxにすることはできません。作業を行いますが、はっきりとさえenum_t値の数が少ないため、むしろ冗長になり

template<> 
struct max_of<E_FIRST, E_SECOND> { static const enum_t value = E_SECOND; }; 

：enum_tのカーディナリティが適度に小さい場合には、max_ofを実装するための1つの可能な方法は、そのようなテンプレート特殊、経由しています。テンプレートシステムをプログラム的に最大限に活用する方法はありますか？

Answer 1

C++では、std::maxを使用してください。しかし、C++ 14に制限がない場合は、次の簡単なコードを参考にしてください。

template<enum_t A, enum_t B> 
struct max_of { 
    enum { value = A > B ? A : B}; 
}; 

Answer 2

2つの解決方法があります。単純な比較を使用し、三項演算子を使用して最大値を選択するか、std::maxを使用できます。これはC++ 14以上で動作します。

std::maxソリューション

template<enum_t e1, enum_t e2> 
struct max_of { 
    static constexpr auto value = std::max(e1, e2); 
}; 

マニュアルソリューション：

template<enum_t e1, enum_t e2> 
struct max_of { 
    static constexpr auto value = e1 > e2 ? e1 : e2; 
}; 

あなたは代わりにC++ 11にconstexpr 1の欠如を完了するために、独自の最大の機能を実装できます。

template<typename T> 
constexpr const T& max(const T& a, const T& b) { 
    return (a < b) ? b : a; 
}