0

几个星期以来，我一直在互联网上搜索有关 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()anyauto& at(int idx)queue

4

2 回答 2

1

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

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

要得到这个想法：

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]();

在这两种情况下你都会得到 a double，但你不会取回你的int.

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

于 2017-07-18T20:53:41.663 回答
0

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

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

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

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

如果您真的想实现自己的，请查看 boost 的实现，看看您是否可以从中派生。它不会像您对动态类型语言所期望的那样简单。

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

归根结底，您将需要指定要从any类中提取的数据类型。

于 2017-07-18T22:22:08.833 回答