是否有任何方式++導出從一個構件指針類型的對象類型用C

Question

是否有可能寫一個C++模板owner_of<...>，使得給定的代碼：

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"); 
}