Question

我试图从boost :: variant获取int值。代码生成分段错误 - 为什么？我在代码中添加注释，哪些行生成错误。我想那个

int numberInt = boost::get<int>(v);

将无法正常工作，因此我将其更改为

int *ptrInt = boost::get<int>(&v);

正在编译，但我仍然无法获得int值？完全相同的是双倍。字符串类型正在运行。

#include <iostream>
#include "boost/variant.hpp"
#include <boost/variant/get.hpp>
using namespace std;

int main(int argc, char* argv[])
{
  boost::variant<int, double, std::string> v;
  v = 16;
  v = 3.1415;
  v = "hello new year";

  //int numberInt = boost::get<int>(v);     //1) not working
  //double numberDouble = boost::get<double>(v);//2) not working

  int *ptrInt = boost::get<int>(&v);        //3) compiling
  if(ptrInt) 
    cout << *ptrInt << endl;            //4) not displayed
  //cout << *ptrInt << endl;            //5) segmentation fault

  double *ptrDouble = boost::get<double>(&v);   //6) compiling
  if(ptrDouble) 
    cout << *ptrDouble << endl;         //7) not displayed
  //cout << *ptrDouble << endl;         //8) segmentation fault

  std::string caption = boost::get<string>(v);
  cout << caption << endl;          //9) working

  return 0;
}

// clear && clear && g++ test.cpp -std=c++11 -o test && ./test

Answer 1

我认为你误解了提升变体的含义。该库的文档将variant类型描述为＆＃34;多类型，单一值。＆＃34; （强调我的）。由于您已分配了std::string类型的值，因此variant中不存储其他类型的值。关于variant的一个好处（与union比较时）在get函数的注释中有所描述：

// Retrieves content of given variant object if content is of type T.
// Otherwise: pointer ver. returns 0; reference ver. throws bad_get.

因此，如果int numberInt = boost::get<int>(v); 正常工作，它应该抛出异常。并且int *ptrInt = boost::get<int>(&v);应该返回一个空指针。取消引用空指针是未定义的行为，可能是您的分段错误的原因。

我认为您正在寻找的行为位于tuple（在boost和std中均可找到）。如果你不介意为成员对象命名，那么一个简单的结构/类也会起作用。

Answer 2

恐怕你不明白boost::variant是如何运作的。在类型理论中，boost::variant是Sum类型，或Algebraic Data Type。

这通常也被称为＆＃34;歧视联盟＆＃34;基本上看起来像（在这种情况下）：

struct Variant {
    size_t index;
    union {
        int a;
        double b;
        std::string c;
    } u;
};

现在，当你写v = 16时会发生什么：

v.u.a = 16; v.index = 0;

当你写v = 3.1415时会发生什么：

v.u.b = 3.1415; v.index = 1;

最后当你写v = "hello new year"时会发生什么：

v.u.c = "hello new year"; v.index = 2;

请注意，每次index代表union当前处于活动状态的成员都会更新...因此只有一个联盟的成员在任何时候都处于活动状态及时。

当您使用boost::get<int>(&v)时，代码实际上如下：

int* get_0(Variant* v) {
    if (v && v->index == 0) { return &v->u.a; }
    return nullptr;
}

因此，此时v->index为2，它会返回nullptr。

唯一有效的get是boost::get<std::string>(&v)，因为它会检查index是否为2，因此会返回指向{{1}的指针}。

从boost :: variant获取int生成分段错误

2 个答案: