構築constexprのテンプレート構造体（C++ 11）

Question

私が働くこのコード、...これまでのところは良いしている：

struct _TYPEIDSTR {}; 
typedef _TYPEIDSTR *TYPE_ID; 
template<class T> _TYPEIDSTR _TYPE_ID; 

template<class T> constexpr TYPE_ID getTypeID() { return &_TYPE_ID<T>; } 

はこのようにメインで呼び出し：

constexpr TYPE_ID id1 = getTypeID<int>(); 
constexpr TYPE_ID id2 = getTypeID<int>(); 
RLOG("ID1 : " << id1); 
RLOG("ID2 : " << id2); 

作品完全に、私はgetTypeID（）呼び出しで使用される各型の固有の識別子を持っています。この機能を使用して

template<typename RES, typename... ARGS> struct _GlobalOverlayInfo { 
    bool _member; 
    RES(*_fn)(ARGS...); 
    size_t _nargs; 
    TYPE_ID _argIDs; 
    constexpr _GlobalOverlayInfo(RES(*fn)(ARGS...)) : 
    _member(false), 
    _fn(fn), 
    _nargs(sizeof...(ARGS)), 
    _argIDs {getTypeID<ARGS>()...} 
    {} 
}; 

template<typename RES, typename... ARGS> 
constexpr auto getOverlayInfo(RES(*fn)(ARGS...)) { 
    return & _GlobalOverlayInfo<RES, ARGS...>(fn); <<---ERROR1 
} 

： は、今私は機能に関するいくつかの情報をもたらす構造体を構築したい

int pippo(int x) { 
    return 0; 
} 

と、次のように呼び出す：

constexpr auto x = getOverlayInfo(pippo); <<--- ERROR2 

私は2を取得しますマークされたエラー。 ERROR1は「一時的なアドレスを取っていますが（コンパイル時の評価ではありませんか？」）、ERROR2は「エラー： '&'は定数式ではありません。 私はいろいろ試しましたが、成功できませんでした。どこが間違っていますか？ この結果を達成する方法はありますか（C++ 11で）？ 私が必要とするのは、各RESおよびARGS ...パラメータに対して生成される一意の構造体へのポインタです。

Answer 1

あなたがしたいことが分かりません。とにかく

、あなたは（およびC++ 14以降を避けるため）C++ 11で作品にしたい場合は、C++ 14の機能です

template<class T> _TYPEIDSTR _TYPE_ID; 

のようなテンプレート変数を使用することはできません。

constexprテンプレート識別子を使用する場合は、std::type_indexを使用できます。これはC++ 11以降で使用できます。

std::type_indexを使用できない場合は、static変数とそのポインタを返すメソッドstaticを持つテンプレートクラスを想像してみてください。あなたはconstexpr値を取得することができますし、貴様機能ケースの場合

constexpr auto const idInt = typeId<int>::getId(); 
constexpr auto const idLong = typeId<long>::getId(); 

std::cout << (idInt != idLong) << std::endl; // print 1 

されていることを確認することができます

template <typename> 
struct typeId 
{ 
    static constexpr int const val {}; 

    static constexpr int const * getId() 
    { return &val; } 
}; 

template <typename T> 
constexpr int const typeId<T>::val; 

よう

何か...

関数型とすることができ、単一の機能を持っていますテンプレートパラメータです。

int foo (int) { return 0; } 
int bar (int) { return 0; } 
long baz (int, long, long long) { return 0L; } 

// ... 

constexpr auto idFoo = typeId<funcT<decltype(&foo), &foo>>::getId(); 
constexpr auto idBar = typeId<funcT<decltype(&bar), &bar>>::getId(); 
constexpr auto idBaz = typeId<funcT<decltype(&baz), &baz>>::getId(); 

std::cout << (idFoo != idBar) << std::endl; // print 1 
std::cout << (idFoo != idBaz) << std::endl; // print 1 

を次のように

ですから、関数のconstexpr識別子をしたい場合、あなたは前のtypeIdを使用して、

template <typename Ft, Ft f> 
struct funcT 
{ }; 

を次のようにラッパーを作成することができ、異なる機能は異なるconstexpr値を取得