c++ - C++ でメンバ ポインタ型からオブジェクト型を派生させる方法はありますか

Question

owner_of<...>次のコードを指定して、C++ テンプレートを作成することは可能ですか。

struct X { int y; }

owner_of<&X::y>::typeですかX？

Answer 1

あなたはほとんどそれを行うことができます（または少なくとも私はこれまでより良い解決策を見つけることができませんでした）：

#include <string>
#include <type_traits>

using namespace std;

template<typename T>
struct owner_of { };

template<typename T, typename C>
struct owner_of<T (C::*)>
{
    typedef C type;
};

struct X
{
    int x;
};

int main(void)
{
    typedef owner_of<decltype(&X::x)>::type should_be_X;
    static_assert(is_same<should_be_X, X>::value, "Error" );
}

の使用を気にする場合はdecltype、マクロで次のことができます。

#define OWNER_OF(p) owner_of<decltype( p )>::type

int main(void)
{
    typedef OWNER_OF(&X::x) should_be_X;
    static_assert(is_same<should_be_X, X>::value, "Error" );
}

に基づく代替ソリューションdecltype:

template<typename T, typename C>
auto owner(T (C::*p)) -> typename owner_of<decltype(p)>::type { }

int main(void)
{
    typedef decltype(owner(&X::x)) should_be_X;
    static_assert(is_same<should_be_X, X>::value, "Error" );
}