整数テンプレート引数をテンプレートクラスメンバとしてアクセス可能にする方法はありますか？

Question

テンプレートクラスを使用した一般的なパターンは、テンプレート引数が簡単にアクセスできるようにクラス内でtypedefされていることである。

#include <type_traits> 
template<class T> struct Foo{ 
    typedef T type; 
}; 
static_assert(std::is_same<Foo<int>::type,int>::value,""); 

私は非型テンプレート引数と同じことを行うことができますどのように？私は次のアイデアしか持っていませんでしたが、もっとエレガントなものが必要ですか？

template<int I> struct Bar{ 
    constexpr static int getI(){ return I; } 
}; 
static_assert(Bar<5>::getI()==5,"error"); 

Answer 1

この種のものが頻繁にテンプレートメタプログラミングで行われていることを含めて、私はenumを使用する場合がありますが、これの有用性は、私にはやや限られたようだ...

#include <iostream> 
using namespace std; 

template<int N> struct Foo 
{ 
    enum {value_ = N}; 
}; 

int main(int argc, char* argv[]) 
{    
    Foo<42> foo; 

    cout << foo.value_; 

    return 0; 
} 

編集。

Answer 2

あなただけの静的定数変数を使用することができます

template<int I> struct Bar{ 
    static const int i = I; 
}; 

static_assert(Bar<5>::i==5,"error");