p15965349202
2021-05-12 00:43
采纳率: 100%
浏览 39

C++子类数据读取不到,只会读取到基类数据

关于C++tuple的一种继承实现的扩展,实现方式用的是模板递归私有继承。

我想要用public继承实现多态效果,模板多态只要基类能够推导出派生类的类型,就能实现。

#include"Head.h"
#include<typeinfo>
using namespace std;
class ____ {};//用来控制递归继承的顺序
template<typename ...T>
struct type_list;//用来保存子类的类型信息

template<typename Head, typename ...Tail>
class obj ://start
    public obj<____, type_list<Head, Tail...>, Tail...> {
    Head m_data;
public:
    obj(const Head& data, Tail...args) :
        obj<____, type_list<Head, Tail...>, Tail...>
        (____{}, type_list<Head, Tail...>{}, args...),
                   //把自己的类型信息传递给父类构造函数
        m_data(data)
    {
        cout << "obj type is " << typeid(*this).name() << endl;
    }
    Head& head() { return m_data; }
};
//
template<typename T, typename Head, typename ...Tail>
class obj<____, T, Head, Tail...> :
    public obj<____, type_list<Head, Tail...>, Tail...> {
    Head m_data;
    T Prev;//存储上一个子类的类型信息
//一开始并不想给过程中的子类存储类型信息,但是如果直接将类型信息传到最后,也就失去了多态的能力,因为初始化基类必须知道子类的类型,我需要的就是通过一个基类指针可以实现多态。
public:

    using prev_type = typename decltype(Prev)::types;
    obj(____ _, const T& t, const Head& data, Tail...args) :
        obj<____, type_list<Head, Tail...>, Tail...>
        (_, type_list<Head, Tail...>{}, args...),
              //这里同上面一样
        m_data(data),
        Prev(t)
    {
        cout << "obj type is " << typeid(*this).name() << endl;
        cout << typeid(typename decltype(Prev)::types).name() << endl;

    }
    prev_type& prev() {
        prev_type* ptr = this;
        return *ptr;
    }
    Head& head() { return m_data; }

};

template<typename T>
class obj<____, T> {//end
    T Prev;
public:
    //最终传入的是一个____,和第一个派生类的类型信息,可以只做一点处理就可以做到任意obj对象都派生于一个基类。
    using prev_type = typename decltype(Prev)::types;
    using baseType = obj<____, T>;
    obj(____ _, T t) :Prev(t) {
        cout << "obj type is " << typeid(*this).name() << endl;
        cout << typeid(prev_type).name() << endl;

    }

    prev_type& prev() {
        prev_type* ptr = this;
        return *ptr;
    }

};


template<typename ...T>
struct type_list {//为了直观的看到类型信息,其实这个类只需要using types这一行就够了。
    using types = obj<____, type_list<T...>, T...>;
    string type;
    type_list() :type(typeid(types).name()) {
        cout << type << endl;
    }
    type_list(const type_list& a) :type(a.type) {
        cout << "copy ctor " << type << endl;
    }

};
//做了很多测试,卡了我快一个星期,现在看下最直观的
int main(int argc, char const* argv[])
{
    type_list<int, int, int>list;
    obj<int, int, int>o(3, 2, 1);
    decltype(o)::baseType& base = o;
    auto base1 = base.prev();
    auto base2 = base1.prev();
    return 0;
}

  • 写回答
  • 关注问题
  • 收藏
  • 邀请回答

2条回答 默认 最新

  • C和C++技术博客 2021-05-12 18:13
    已采纳

    虚继承+覆盖基类函数即可,望采纳,不懂的可以关注私信我。

    已采纳该答案
    1 打赏 评论
  • 有问必答小助手 2021-05-12 15:51

    你好,我是有问必答小助手。为了技术专家团更好地为您解答问题,烦请您补充下(1)问题背景详情,(2)您想解决的具体问题,(3)问题相关代码图片或者报错信息。便于技术专家团更好地理解问题,并给出解决方案。

    您可以点击问题下方的【编辑】,进行补充修改问题。

    打赏 评论

相关推荐 更多相似问题