基于底层对象类型获取成员变量值的实现方案
解决方案:用函数指针或编译期模板特化实现无虚函数的多态
这个场景我太熟悉了——碰到不能修改原有结构的第三方类型,又要做统一接口,还不能用虚函数,其实有两种很实用的办法,完全符合你的要求:
方法一:运行时函数指针绑定(适合需要统一Wrap类型的场景)
如果你的Wrap需要作为一个统一的类型来处理Foo1和Foo2(比如存到同一个容器里),可以用函数指针来绑定不同类型的_b获取逻辑,完全不需要虚函数:
// 先模拟你的场景(第三方+自定义struct,不能改布局) struct ThirdPartyFoo1 { int dummy; int _b; }; struct ThirdPartyFoo2 { char dummy[8]; int _b; }; struct Foo1 : ThirdPartyFoo1 {}; struct Foo2 : ThirdPartyFoo2 {}; class Wrap { private: void* _instance; // 定义函数指针类型,用于获取_b using GetBFunc = int(*)(void*); GetBFunc _get_b; public: // 针对Foo1的构造函数,绑定对应的获取逻辑 Wrap(Foo1* foo) : _instance(foo) { _get_b = [](void* ptr) -> int { return static_cast<Foo1*>(ptr)->_b; }; } // 针对Foo2的构造函数,绑定对应的获取逻辑 Wrap(Foo2* foo) : _instance(foo) { _get_b = [](void* ptr) -> int { return static_cast<Foo2*>(ptr)->_b; }; } // 统一的获取接口 int get_b() { return _get_b(_instance); } };
为什么这个方法可行?
- 没有修改
Foo1/Foo2的布局,完全符合你的限制; - 用函数指针替代了虚函数的动态分派,运行时开销和虚函数差不多,但避免了虚表的依赖;
Wrap是统一类型,能同时处理Foo1和Foo2实例。
方法二:编译期模板特化(性能最优,适合Wrap可以是模板类的场景)
如果你的Wrap不需要是统一类型,或者可以用模板来实例化,那模板特化是更优的选择——完全是编译期处理,没有运行时开销:
// 同样先模拟场景 struct ThirdPartyFoo1 { int dummy; int _b; }; struct ThirdPartyFoo2 { char dummy[8]; int _b; }; struct Foo1 : ThirdPartyFoo1 {}; struct Foo2 : ThirdPartyFoo2 {}; // 模板特化的辅助类,用来定义不同类型的_b获取逻辑 template<typename T> struct BGetter; // 针对Foo1的特化 template<> struct BGetter<Foo1> { static int get(Foo1* foo) { return foo->_b; } }; // 针对Foo2的特化 template<> struct BGetter<Foo2> { static int get(Foo2* foo) { return foo->_b; } }; // 模板版的Wrap类 template<typename T> class Wrap { private: T* _foo; public: Wrap(T* foo) : _foo(foo) {} int get_b() { // 调用对应特化的获取逻辑 return BGetter<T>::get(_foo); } };
这个方法的优势:
- 编译期确定调用逻辑,没有运行时的函数指针或虚表开销;
- 代码更清晰,类型安全,编译器会帮你检查类型是否匹配;
- 同样没有修改
Foo1/Foo2的布局,完全符合限制。
总结
- 如果需要统一的
Wrap类型,选函数指针方案; - 如果追求极致性能且可以用模板,选模板特化方案;
- 两种方案都完全避开了虚函数,也没有修改原有struct的布局,完美适配你的需求。
内容的提问来源于stack exchange,提问作者HelloWorld
相关产品推荐
相关产品推荐

