Boost 变体：如何建模 JSON？

Question

我正在尝试使用 Boost Spirit 解析 JSON 字符串，将 JSON 对象存储为递归数据结构：

Value <== [null, bool, long, double, std::string, Array, Object];
Array <== [Value, Value, Value, ...];
Object <== ["name1": Value, "name2": Value, ...];

这是我的代码：

#include <map>
#include <vector>
#include <string>
#include <boost/variant.hpp>
#include <boost/shared_array.hpp>
#include <boost/shared_ptr.hpp>

struct JsonNull {};
struct JsonValue;

typedef std::map<std::string, JsonValue *> JsonObject;
typedef std::vector<JsonValue *> JsonArray;

struct JsonValue : boost::variant<JsonNull, bool, long, double, std::string, JsonArray, JsonObject>
{
};

JsonValue aval = JsonObject();

编译时出现错误：

Error C2440: 'initializing' : cannot convert from 'std::map<_Kty,_Ty>' to 'JsonValue'

此外，如何安全地将 JsonValue 转换为 JsonObject？当我尝试这样做时：

boost::get<JsonObject>(aval) = JsonObject();

这会导致运行时异常/致命失败。

非常感谢任何帮助。

编辑：

按照@Nicol的建议，我得出了以下代码：

struct JsonNull {};
struct JsonValue;

typedef std::map<std::string, JsonValue *> JsonObject;
typedef std::vector<JsonValue *> JsonArray;
typedef boost::variant<
    JsonNull, bool, long, double, std::string,
    JsonObject, JsonArray,
    boost::recursive_wrapper<JsonValue>
> JsonDataValue;

struct JsonValue
{
    JsonDataValue data;
};

我可以在 JsonObject & 上工作JsonArray 就这么简单：

JsonValue *pJsonVal = new JsonValue();

boost::get<JsonObject>(pCurrVal->data).insert(
    std::pair<std::string, JsonValue *>("key", pJsonVal)
);

boost::get<JsonArray>(pCurrVal->data).push_back(pJsonVal);

只需发布，以便每个人都可以从中受益。

Answer 1

您必须使用递归包装器（并且您不应该从 boost::variant 派生）：

struct JsonValue;

typedef boost::variant</*types*/, boost::recursive_wrapper<JsonValue> > JsonDataValue;

struct JsonValue
{
    JsonDataValue value;
};

要使 Boost.Spirit 接受 JsonValue，您需要将这些 Fusion 适配器内容之一写入将原始变体类型调整为结构体。

---

此外，如何安全地将 JsonValue 转换为 JsonObject？当我尝试这样做时：

这不是变体的工作方式。如果您想将它们设置为一个值，只需像设置任何其他值一样设置它们即可：

JsonValue val;
val.value = JsonValue();