[已解决]使用接口（基类）访问模板类中的数据怎么写才漂亮?

Croper

子类要求IA有一个析构函数，IA中的函数必须都是纯虚函数
子类还要求这个析构函数有实现代码，然后就写成了上面这样
这样的IA还能称得上是接口吗？我百度不到结果

其实我觉得，一个类只要是不含任何数据成员，无任何构造函数，有virtual函数，都能算是接口类。甚至不需要是抽象类。
应为C++提到接口类，一般是多继承的时候，所谓”一个基类，多个接口类“。
这种要求是为防止多继承过程中出现的混乱，主要也就是构造函数的混乱以及菱形继承中数据成员重复继承的问题。

另一方面来说，接口中写两个函数对于返回的东西做一点包装也是很合理也很合逻辑的吧（汽车修理员口吻），
所以为什么一定要是全纯虚函数才能叫接口类呢，语法上又没有明确的规定，用着不会出问题就行。

Croper

嗯。。你这个似乎不需要吧data_t写这么复杂。。。
就是把指向数据的void*指针包装一下就好：

class data_t
{
public:
        template <typename T>
        data_t(T& p) :value(&p) {};

        template <typename T>
        T access()
        {
                return *static_cast<T *>(this->value);
        }

private:
        void *value;
};

class IA
{
public:
        virtual ~IA() {};
        virtual uint64_t id() = 0;
        virtual data_t get_data() = 0;
};


template <typename T>
class A : public IA
{
public:
        A(const T &n) : data(n) {}
        uint64_t id()
        {
                return uint64_t(this);
        }
        data_t get_data()
        {
                return data_t(data);
        }
private:
        T data;
};

int main(void)
{
        IA *p = new A<int>(5);
        std::cout << p->id() << std::endl;
        std::cout << p->get_data().access<int>() << std::endl;

        delete p;
        p = new A<std::string>("fishc.com");
        std::cout << p->id() << std::endl;
        std::cout << p->get_data().access<std::string>() << std::endl;

        std::string s = p->get_data().access<std::string>();
        //int i = p->get_data().access<std::string>();
        delete p;

        system("pause");
}

Croper

。。。感觉还是这段代码的再包装啊。。

//接口类
struct IA {
private:
        virtual void* _GetData() = 0;  //返回类型改为void*，这样能写成虚函数
public:
        template <typename T>          //然后再包装一下
        T GetData() {
                return *static_cast<T*>(_GetData());
        }
};

//模板类
template <typename T>
class A :public IA {
public:
        T data;  //需要的数据成员
        void* _GetData() override {     //这是继承的函数
                return &data;
        }
};

仍然有数据类型不匹配的时候不报错而是给出诡异结果的问题。。。

Croper

中午那段代码大概能实现要求，但是数据类型必须精确匹配。不然dynamic_cast直接转化出nullptr然后报错。。

目标是实现兼容的数据能自动转化，不兼容的数据能报错，大概就像这样：

        IA *p = new A<int>(5);
        cout << p->get_data<int> << endl;   //输出5
        cout << p->get_data<double> << endl; //输出5.00000
        cout << p->get_data<string> << endl; //错误

真是不好弄。。如果不靠枚举，if else的话。。
大概就是中午那个是1对1的，而这种是多对多的。。。

bin554385863

Croper 发表于 2020-1-7 19:38
其实我觉得，一个类只要是不含任何数据成员，无任何构造函数，有virtual函数，都能算是接口类。甚至不需 ...

那更像一个包含函数的结构体把

人造人

Croper 发表于 2020-1-7 20:07
中午那段代码大概能实现要求，但是数据类型必须精确匹配。不然dynamic_cast直接转化出nullptr然后报错。。
...

你中午的那个代码也不行，你现在不是要一个函数返回多个类型，而是要进行类型转换
我也没有好的办法，我再研究研究

#include <string>
#include <iostream>
using namespace std;

//中间类
template <typename T>
struct IA_templ {
        virtual T GetData() = 0;
};


//接口类
struct IA {

public:
        template <typename T>
        T GetData() {
                return dynamic_cast<IA_templ<T>*>(this)->GetData();
        }
        virtual ~IA() {};
};


//模板类
template <typename T>
class A:public IA, public IA_templ<T> {
        T data;  //需要的数据成员
public:
        A(const T& t):data(t) {};
        T GetData() override {     //这是继承的函数
                return data;
        }
};

int main() {
        IA *p = new A<int>(5);
        cout << p->GetData<int>() << endl;   //输出5
        cout << p->GetData<double>() << endl; //输出5.00000          // 直接崩溃退出
        cout << p->GetData<string>() << endl; //错误
        system("pause");
}

Croper

你说的大概是RTTI，运行时类型判断。
C++的RTTI大概只有两种，typeid和dynamic_cast。

至于你说的new一个对象时保存对象的类型，通过保存type_info确实可以保存对象类型，但是无法在运行时通过type_info反向得到类型。。。

#include <iostream>
#include <string>
using namespace std;

struct Base {
        virtual ~Base() {};
};

struct Deliver1:public Base {

};
struct Deliver2:public Base {

};
struct Deliver3:public Base {

};

int main() {
        Base* A = new Deliver1;
        Base* B = new Deliver2;
        Base* C = new Deliver3;
        cout << typeid(*A).name()<< endl; //输出 struct Deliver1
        cout << typeid(*B).name() << endl; //输出 struct Deliver2
        cout << typeid(*C).name() << endl; //输出 struct Deliver3
        system("pause");
}

Croper

也就是说你说的

这个问题要求C++能够记住类型信息，也就是要求C++能够正确读取 void *
试想一下，在new一个对象的时候保存这个对象的类型，然后把new出来的对象给void 指针保存，

到这里都是能做到的

但是

在使用的时候用之前保存的类型信息对void指针解引用

好像并没有什么好的解决方法

Croper

对于通过不同的数据值反推出类型，我只知道编译时决定的：

#include <iostream>
#include <string>
using namespace std;

template <int N>
struct GetType;

template <>
struct GetType<1> {
        using Type = int;
};

template <>
struct GetType<2> {
        using Type = double;
};

template <>
struct GetType<3> {
        using Type = string;
};

int main() {
        constexpr int a = 2 + 1;     //但这是编译时的，要求参数是constexpr的，最大的可能性也就是这样用了
        GetType<a>::Type sz = "12345";  //sz的类型是string
}

人造人

Croper 发表于 2020-1-7 23:14
对于通过不同的数据值反推出类型，我只知道编译时决定的：

嗯，所以我认为你这个问题无解，至少我无解

人造人

Croper 发表于 2020-1-7 23:00
你说的大概是RTTI，运行时类型判断。
C++的RTTI大概只有两种，typeid和dynamic_cast。

嗯，这只是输出类型信息，要如何保存起来呢？保存起来留到之后使用

既然没办法用这个类型信息，那保存起来也没有意义了吧

Croper

想到一个办法。。理论上应该可行，，但是实际上
天杀的C++并不让你在函数参数中使用constexpr

#include <iostream>
#include <string>
using namespace std;

template <typename T>
struct A :public IA {
        T mydata;
        void* _GetData(constexpr int a) {
                return new GetType<a>::Type(mydata);    //通过类型信息反推类型
        }
};

struct IA {
        virtual void* _GetData(constexpr int b); //但是天杀的C++并不让你在形参里使用constexpr。。。虽然从头到尾都是能在编译时推出的。。
public:
        template <typename T>
        T GetData() {
                constexpr size_t a = typeid(T).hashcode();
                void* p= _GetData(a);
                T ret = *(T*)p;
                delete *(T*)p;
                return *(T*)_GetData(a);  //传递类型信息
        }
        virtual ~IA() {};
};

人造人

Croper 发表于 2020-1-7 23:28
想到一个办法。。理论上应该可行，，但是实际上
天杀的C++并不让你在函数参数中使用constexpr

嗯，如果你还不想放弃，还想继续研究研究，那你继续吧，我就不继续了，因为这个问题在我的所学范围内无解