Question

几周以来，我一直在互联网上搜索c ++中的异构列表（vector，array，list），但是，在所有网站和论坛中，答案是相同的：boost::any，但我想要一种在纯C ++中实现它的方法。我开发了这个：

#include <iostream>
#include <typeinfo>
#include <vector>

using namespace std; 
 //Compiler version g++ 6.3.0

 class any
 {
 public:
    auto get() {}
 };

 template<typename T>
 class anyTyped : public any
 {
 public:
    T val;

    anyTyped(T x)
    {
        val = x;
    }
    T get()
    {
        return val;
    }
 };

 class queue
 {
    vector<any*> x;
    int len = 0;

 public:
    queue()
    {
        x.resize(0);
    }

    template<typename T>
    void insert(T val)
    {
        any* ins = new anyTyped<T>(val);
        x.push_back(ins);
        len++;
    }
    int size()
    {
        return len;
    }

    auto& at(int idx)
    {
        return x[idx]->get();
    }
 };

 int main()
 {

    queue vec;

    vec.insert(5);     //int
    vec.insert(4.3);   //float
    vec.insert("txt"); //string

    for (int i = 0; i < vec.size(); i++)
    {
        cout << vec.at(i);
    }

    return 0;
 }

但我得到了这个错误：

source_file.cpp: In member function 'auto& queue::at(int)':
source_file.cpp:55:23: error: forming reference to void
    return x[idx]->get();
                       ^
source_file.cpp: In function 'int main()':
source_file.cpp:70:9: error: no match for 'operator<<' (operand types are 'std::ostream {aka std::basic_ostream<char>}' and 'void')
    cout << vec.at(i);
    ~~~~~^~~~~~~~~~~~

我知道问题在于使用auto作为返回类型，在auto get()类的any或auto& at(int idx)的{{1}}中上课，但我不知道如何解决。

Answer 1

为了存储，所有异类数据必须归结为C ++中的同类数据。 std::any也不例外。为了使事物变得同质，最重要的是继承和类型擦除（any是后者的一个实例）。

应用于您的示例，这可能意味着，例如，您必须将get的返回类型指定为固定类型。在最好的情况下，这将是您使用的所有类型std::common_type的{{1}}。

获得想法：

您现在可以致电

anyTyped<double> anyDouble{1.0};
anyTyped<int> anyInt{2};

std::vector<std::function<double()> > anyStore;  //the chosen homogenous type is 'double'

//get() should be const, otherwise add a 'mutable'
anyStore.push_back([anyDouble]() { return anyDouble.get(); });
anyStore.push_back([anyInt]() { return anyInt.get(); });

在这两种情况下，您都会获得auto x = anyStore[0](); //x is a double x = anyStore[1]();，但您不会收回double。

所有运行时处理异构的运行时都基于类似的原则，但可能更复杂 - 这基本上意味着涉及更多层，直到链以同质类型结束。

Answer 2

您的any课程本身存在一些缺陷，我建议您在将这些问题添加到队列之前解决这些问题。

主要问题是C ++是一种静态类型语言，从vec.at(i)中提取值很可能需要某种类型的输入信息：vec.at<int>(i)。

您的any实施将以您想要的方式更加强大和智能。使用boost/any.hpp或std::any。如果您不想包含整个boost，请尝试仅包含任何标头或查找any库的单个标头实现。

在您的情况下，您的队列实现没有什么特别之处，因为异构性将包含在any类型中。

如果您真的希望实现自己的，请查看实现提升，看看您是否可以从中获取。它不会像动态类型语言那样简单。

http://www.boost.org/doc/libs/1_55_0/boost/any.hpp

在一天结束时，您需要指定要从any课程中提取的数据类型。

C ++异构列表

2 个答案: