2013-12-14 103 views
3

C++有static_castbase_class_pointer转换为derived_class_pointerC++转换:有指向对象成员的指针,计算指向对象的指针

这是非常类似的操作,将object_data_member_pointer转换为object_pointer

我写了函数ConvertDataMemberPtrToObjectPtr使用不安全的C类型转换。

  • 这怎么能以安全的方式完成?链接到成员必须被指定为模板参数member_ptr
  • 如果您使用这样的实现,是否会有任何问题?

来源:

#include <stdio.h> 
#include <tchar.h> 

template< class T, class Member_type, Member_type T::*member_ptr > 
inline T *ConvertDataMemberPtrToObjectPtr(Member_type& member) {  
    //Got reference to member 'member' of object 'T', return pointer to object 'T' 
    // obj_ptr = member_ptr - offset_of_member_field 
    return (T*) (((char*)(&member)) - ((char*) ( &(((T*)(0))->*member_ptr)) )); 
} 

struct Test { 
    int a; 
    int b; 
}; 

int _tmain(int argc, _TCHAR* argv[]) { 

    Test obj; 

    printf("\n0x%08lX", ConvertDataMemberPtrToObjectPtr<Test,int,&Test::a>(obj.a)); 
    printf("\n0x%08lX", ConvertDataMemberPtrToObjectPtr<Test,int,&Test::b>(obj.b)); 

    // This is must be avoided when using ConvertDataMemberPtrToObjectPtr!!! 
    printf("\n0x%08lX - error!", ConvertDataMemberPtrToObjectPtr<Test,int,&Test::a>(obj.b)); 

    return 0; 
} 

使用父母代替成员和static_cast

template <class T, int id=0> 
class Link { 
public: 
    int value; 
    T *GetObjectPtr() { return static_cast<T*>(this); } 
}; 
enum MyLinkId { Main=0, Red=1 }; 
class MyItem : public Link<MyItem,Main>, public Link<MyItem,Red> {}; 

MyItem x; 
Link<MyItem,Main> *p2 = &x; 
Link<MyItem,Red> *p3 = &x; 

printf("\n0x%08lX", p2->GetObjectPtr()); 
printf("\n0x%08lX", p3->GetObjectPtr()); 
+0

既然你拥有它,为什么不直接使用'obj'?如果你不能在你真实的代码中,那么丑陋的演员是你唯一的手段。 – uk4321

+0

我认为模板中描述的情况。我认为这种转换有时可能有用。在我的问题中,我决定使用多重继承和'static_cast'。 – stan5

+0

通过MyItem访问值将不明确! –

回答

2

你正在尝试实现是不可能的:区分成员的信息丢失。 您需要一个可以传递给您的转换函数的唯一引用成员。

struct UniqueReferenceMember {}; 
struct Test { 
    UniqueReferenceMember unique_reference_member; 
    int a; 
    int b; 
}; 

虽然这没有意义。有对象指针,你可以直接传递(也许转换为void *);

+0

我想在'return(T *)...'中避免“不安全的C类型转换”。在我看来,你对'printf(“\ n0x%08lX-错误!”...“问题的回答,但这不是我的观点。 – stan5

+0

不 - 我正在处理你区分成员的尝试。 –