私はこのようになりますテンプレートクラスを持っている

Question

現在のテンプレートからタイプと値の情報を取得する方法：

typedef MyStruct<int, 123> struct_def; 

私は希望：

template<typename T, T value> 
struct MyStruct{ 
    /* Stuff */ 
}; 

は、現在、私はこのような何かを、それをインスタンス化するにはこのような何かやりたい：

MyStruct<int,123>に解決でしょう

typedef typename MagicTemplate<123>::type struct_def; 

を....

私の質問は、どのようにテンプレート引数から型と値の両方の情報を取得できますか？

編集：

ソリューションは、ポインタ、メンバへのポインタ、関数ポインタなどで使用することができれば、それはまたいいだろう...

例は：

struct OtherStruct{ 
    int memberA; 
    long memberB; 
    void foo(void); 
}; 
static OtherStruct instance; 


//Expands to MyStruct<memberA OtherStruct::*, &OtherStruct::memberA> 
typedef typename MagicTemplate<&OtherStruct::memberA>::type struct_defA; 
//Expands to MyStruct<OtherStruct*,&instance> 
typedef typename MagicTemplate<&instance>::type struct_defB; 
//Expands to MyStruct<void (OtherStruct::*)(void),&OtherStruct::foo> 
typedef typename MagicTemplate<&OtherStruct::foo>::Type struct_defC; 

Answer 1

あなたはC++ 17を待つことができます。

タイプTとし、Tはstd::integral_constantと互換性があると予想されます。これは、道路を一歩進んで缶を蹴る。特定の種類のintegral_constantを作成するためのショートカットは、いくつかのテンプレートインスタンスを作成するものよりもクリーンです。

たとえば、123_kをstd::integral_constant<int,123>とすることができます。 MyStruct<decltype(123_k)>。

ボーナスとして、MyStructは現在template<class...>と一致しており、特定のメタプログラミングが容易になります。