18

我一直在努力解决这个问题,也许我只是盯着它太久了?

无论如何,手头的问题是找到一种在 C++ 中表示 JSON 的好方法,在您继续阅读之前,请注意我对能够使用它的库不感兴趣,所以我想用原始 C 或 C++(C+ +11 很好),没有提升,没有 libjson 我知道它们,并且由于这个问题范围之外的原因,我不能(/不会)添加依赖项。

既然已经解决了,让我告诉你一些关于这个问题的信息,以及我到目前为止所做的尝试。

问题是要找到一种在 C++ 中表示 JSON 的好方法,这有点问题的原因是 JSON 是超级松散类型的,而 C++ 是非常硬类型的。考虑一下 JSON,JSON 真正能够在类型方面做什么?

  • 数字(例如423.1415
  • 字符串(例如"my string"
  • 数组(例如[],或[1,3.1415,"my string]
  • 对象(例如{}{42, 3.1415, "my string", [], [1,3.1415, "my string]}

所以这意味着有两种“原始”类型,NumberString,以及两种容器类型ArrayObject。原始类型相当简单,而容器类型在 C/C++ 中变得很棘手,因为它们可以并且可能包含不同类型的元素,因此语言中的任何内置类型都不够用,数组不能容纳不同类型的元素。这也适用于 STL 类型(列表、向量、数组等)(除非它们具有多态相等性)。

因此,JSON 中的任何容器都可以保存任何类型的 json-type,这几乎就是它的全部。

我的原型,或尝试过的以及为什么它不起作用 我第一个天真的想法是只使用模板,所以我设置了一个 json-object 或 json-node 类型,然后使用模板来决定其中的内容,所以它会然后有一个类似这样的结构:

template <class T>
class JSONNode {
    const char *key;
    T value;
}

虽然这看起来很有希望,但是当开始使用它时,我意识到当我尝试将节点排序为容器类型(例如数组、向量、unordered_map 等)时遇到了麻烦,因为他们仍然想知道JSONNode 的类型!如果一个节点被定义为JSONNode<int>另一个节点JSONNode<float>很好,那么将它们放在容器中将会有问题。

所以我超越了这一点,无论如何我对将它们保存在容器中并不是很感兴趣,我很乐意让它们具有自我意识或如何称呼它,即在指向下一个节点的指针中添加广告,但又一次弄清楚节点的类型变得很棘手,而这正是我开始思考多态性的时候。

多态性 让我们创建一个虚拟JSONNode并实现一个JSONNumberNode, JSONStringNode, JSONArrayNodeJSONObjectNode类型,它们将很好地适合我可能希望它们放入的任何容器,使用多态性让它们都成为 JSONNodes。

代码示例可能已经到位。

class JSONNode {
public:
    const char *key;
    //?? typed value, can't set a type
};

class JSONNumberNode : public JSONNode { 
public:
    int value;
}

class JSONStringNode : public JSONNode {
public:
    const char *value;
}

起初我认为这是要走的路。然而,当我开始思考如何处理值部分时,我意识到我无法访问该值,即使我编写了一个特定的函数来检索该值,它会返回什么?

所以确定我确实有具有不同类型值的对象,但是如果不首先转换为正确的类型,我就无法真正访问它们,所以我可以做 a dynamic_cast<JSONStringNode>(some_node);,但我怎么知道将它转换为什么?RTTI?好吧,我觉得那时它变得有点复杂,我想我可能可以使用 typeof 或 decltype 来确定将其类型转换为什么,但还没有成功..

POD 类型 所以我尝试了一些不同的东西,我想争辩说也许我实际上可以以 pod 的方式做到这一点。然后我会设置要成为的value部分void *并尝试union跟踪类型。但是,我遇到了与我已经遇到的相同的问题,即如何将数据转换为类型。

我觉得有必要解决这个问题,为什么我没有更深入地研究我使用 POD 尝试过的事情。

因此,如果有人在给出这些信息的情况下对如何在 C++ 中表示 JSON 有一个聪明的解决方案,我将非常感激。

4

6 回答 6

10

我认为你的最后一种方法是朝着正确的方向前进,但我认为它需要改变一些概念设计。

到目前为止,在我工作过的所有 JSON 解析器中,选择容器类型的决定是在用户端而不是在解析器端,我认为这是一个明智的决定,为什么?假设您有一个包含字符串格式数字的节点:

{
    "mambo_number": "5"
}

您不知道用户是否希望将值作为字符串或数字检索。所以,我会指出JSONNumberNodeandJSONStringNode不适合最好的方法。我的建议是创建用于保存对象、数组和原始值的节点。

所有这些节点将根据其主要类型包含一个标签(名称)和一个嵌套对象列表:

  • JSONNode:基节点类,其中包含节点的键和类型。
  • JSONValueNode: 管理和包含原始值的节点类型,如上面列出的 Mambo nº5,它会提供一些函数来读取其值,如value_as_string(), value_as_int(), value_as_long(), 等等...
  • JSONArrayNode: 管理 JSON 数组并包含JSONNodes 可访问对象的节点类型。
  • JSONObjectNode: 管理 JSON 对象并包含JSONNode按名称访问的节点类型。

我不知道这个想法是否有据可查,让我们看一些例子:

示例 1

{
    "name": "murray",
    "birthYear": 1980
}

上面的 JSON 将是一个未命名的根JSONObjectNode,其中包含两个JSONValueNode带有标签的 snamebirthYear

示例 2

{
    "name": "murray",
    "birthYear": 1980,
    "fibonacci": [1, 1, 2, 3, 5, 8, 13, 21]
}

上面的 JSON 将是一个未命名的根JSONObjectNode,其中包含两个JSONValueNodes 和一个JSONArrayNode。将JSONArrayNode包含 8 个未命名JSONObjectNode的 s 以及斐波那契数列的 8 个第一个值。

示例 3

{
    "person": { "name": "Fibonacci", "sex": "male" },
    "fibonacci": [1, 1, 2, 3, 5, 8, 13, 21]
}

上面的 JSON 将是一个未命名的根JSONObjectNode,其中包含 aJSONObjectNode和两个JSONValueNode带有标签的 snamesex一个JSONArrayNode

示例 4

{
    "random_stuff": [ { "name": "Fibonacci", "sex": "male" }, "random", 9],
    "fibonacci": [1, 1, 2, 3, 5, 8, 13, 21]
}

上面的 JSON 将是一个未命名的根JSONObjectNode,其中包含两个JSONArrayNode,第一个标记为random_stuff将包含 3 个未命名JSONValueNode的,其类型为JSONObjectNodeJSONValueNode并且JSONValueNode按照出现的顺序,第二个JSONArrayNode是之前注释的斐波那契序列。

执行

我将面临节点实现的方式如下:

基节点将通过成员知道它自己的类型(值节点、数组节点或对象节点),派生类在构造时提供type的值。type

enum class node_type : char {
    value,
    array,
    object
}

class JSONNode {
public:
    JSONNode(const std::string &k, node_type t) : node_type(t) {}
    node_type GetType() { ... }
    // ... more functions, like GetKey()
private:
    std::string key;
    const node_type type;
};

派生类必须在构造时向基类提供节点的类型,值节点向用户提供将存储的值转换为用户请求的类型:

class JSONValueNode : JSONNode {
public:
    JSONValueNode(const std::string &k, const std::string &v) :
        JSONNode(k, node_type::value) {} // <--- notice the node_type::value
    std::string as_string() { ... }
    int as_int() { ... }
    // ... more functions
private:
    std::string value;
}

Array Node 必须提供operator[]才能将其用作数组;实现一些迭代器是值得的。内部的存储值std::vector(选择您认为最适合此目的的容器)将是JSONNode's.

class JSONArrayNode : JSONNode {
public:
    JSONArrayNode(const std::string &k, const std::string &v) :
        JSONNode(k, node_type::array) {} // <--- notice the node_type::array
    const JSONObjectNode &operator[](int index) { ... }
    // ... more functions
private:
    std::vector<JSONNode> values;
}

我认为对象节点必须提供operator[]字符串输入,因为在 C++ 中我们不能复制 JSONnode.field访问器,实现一些迭代器是值得的。

class JSONObjectNode : JSONNode {
public:
    JSONObjectNode(const std::string &k, const std::string &v) :
        JSONNode(k, node_type::object) {} // <--- notice the node_type::object
    const JSONObjectNode &operator[](const std::string &key) { ... }
    // ... more functions
private:
    std::vector<JSONNode> values;
}

用法

假设所有节点都具有所有必需的功能,我的方法的使用思路将是:

JSONNode root = parse_json(file);

for (auto &node : root)
{
    std::cout << "Processing node type " << node.GetType()
              << " named " << node.GetKey() << '\n';

    switch (node.GetType())
    {
        case node_type::value:
            // knowing the derived type we can call static_cast
            // instead of dynamic_cast...
            JSONValueNode &v = static_cast<JSONValueNode>(node);

            // read values, do stuff with values
            break;

        case node_type::array:
            JSONArrayNode &a = static_cast<JSONArrayNode>(node);

            // iterate through all the nodes on the array
            // check what type are each one and read its values
            // or iterate them (if they're arrays or objects)
            auto t = a[100].GetType();
            break;

        case node_type::object:
            JSONArrayNode &o = static_cast<JSONObjectNode>(node);

            // iterate through all the nodes on the object
            // or get them by it's name check what type are
            // each one and read its values or iterate them.
            auto t = o["foo"].GetType();
            break;
    }
}

笔记

我不会使用Json-Whatever-Node命名约定,我更喜欢将所有东西放入命名空间并使用较短的名称;在命名空间范围之外,该名称非常易读且难以理解:

namespace MyJSON {
class Node;
class Value : Node;
class Array : Node;
class Object : Node;

Object o; // Quite easy, short and straightforward.

}

MyJSON::Node n;  // Quite readable, isn't it?
MyJSON::Value v;

我认为值得为每个对象创建版本以在无效访问的情况下提供:

// instances of null objects
static const MyJSON::Value null_value( ... );
static const MyJSON::Array null_array( ... );
static const MyJSON::Object null_object( ... );

if (rootNode["nonexistent object"] == null_object)
{
    // do something
}

前提是:在访问对象节点中不存在的子对象或越界访问数组节点的情况下,返回空对象类型。

希望能帮助到你。

于 2013-10-24T08:31:43.583 回答
8

您的最后两个解决方案都可以。您在这两个方面的问题似乎都在提取实际值,所以让我们看一下示例。我将介绍 POD 的想法,原因很简单,即使用多态确实需要 RTTI,恕我直言,这很难看。

JSON:

{
    "foo":5
}

您加载此 JSON 文件,您将得到的只是您的 POD“包装器”。

json_wrapper wrapper = load_file("example.json");

现在假设您加载的 JSON 节点是一个 JSON 对象。您现在必须处理两种情况:要么是对象,要么不是。如果不是,您可能最终会处于错误状态,因此可以使用异常。但是你将如何提取对象本身呢?好吧,只需一个函数调用。

try {
    JsonObject root = wrapper.as_object();
} catch(JSONReadException e) {
    std::cerr << "Something went wrong!" << std::endl;
}

现在,如果包裹的 JSON 节点wrapper确实是 JSON 对象,您可以继续在try {块中对对象执行任何操作。同时,如果 JSON 是“格式错误的”,则进入该catch() {块。

在内部,您可以像这样实现:

class JsonWrapper {
    enum NodeType {
       Object,
       Number,
       ...
    };

    NodeType type;

    union {
        JsonObject object;
        double number
    };

    JsonObject as_object() {
        if(type != Object) {
            throw new JSONReadException;
        } else {
            return this->object;
        }
    }
于 2013-10-23T13:58:10.120 回答
4

我知道您说过您对库不感兴趣,但我过去曾制作过一个用于使用 C++ 对 JSON 进行解码/编码的库:

https://github.com/eteran/cpp-json

这是一个相当小的库,只有标题,所以你可以从中收集我的策略。

本质上,我有一个json::value包装 a 的 a boost::variant,所以它可以是基本类型之一(string, number, boolean, null),当然也可以是一个arrayor object

前向声明和动态分配有点棘手,因为arrayobject包含values,而后者又可以是arrays 和objects。但这是一般的想法。

希望这可以帮助。

于 2013-10-23T15:17:38.663 回答
1

如果您有兴趣学习,我强烈建议您阅读 jq 源代码——它是真正干净的 C 代码,没有外部 json 库依赖项。

在内部, jq 将类型信息保存在一个简单的 enum中,这避免了大多数编译时类型问题。尽管这确实意味着您必须建立基本操作。

于 2013-10-23T13:58:00.047 回答
1

我为 JSON 解析器编写了一个库。由模板类实现的 JSON 表示json::value符合 C++ 标准库。它需要 C++11 和符合标准的容器。

JSON 值基于一个类json::variant。这与boost::variantv1.52 不同,但使用了更现代的实现(使用可变参数模板)。这种变体实现更加简洁,尽管由于普遍应用的模板技术不是很简单。它只是一个文件,而boost::variant's 的实现似乎过于复杂(确实缺少设计的可变参数模板)。此外,json::variant 尽可能利用移动语义,并实现了一些技巧来变得相当高效(优化后的代码比 boost 1.53 的代码要快得多)。

该类json::value定义了一些其他类型,表示基本类型(Number、Boolean、String、Null)。Object 和 Array 容器类型将通过模板参数定义,模板参数必须是符合标准的容器。因此,基本上可以在几个标准的 lib 兼容容器中进行选择。

最后,JSON 值包装了一个变体成员,并提供了一些成员函数和一个很好的 API,这使得使用 JSON 表示非常容易。

该实现有一些不错的功能。例如,它支持“作用域分配器”。有了它,就可以在构建 JSON 表示时使用“竞技场分配器”来提高性能。这需要一个符合要求且完全实现的容器库,它支持作用域分配器模型(clang 的 std 库做到了)。但是,将此功能实现到变体类中,增加了一层额外的复杂性。

另一个特点是,创建和访问表示非常容易。

这是一个例子:

#include "json/value/value.hpp"
#include "json/generator/write_value.hpp"
#include <iostream>
#include <iterator>

int main(int argc, const char * argv[])
{
    typedef json::value<> Value;

    typedef typename Value::object_type Object;
    typedef typename Value::array_type Array;
    typedef typename Value::string_type String;
    typedef typename Value::integral_number_type IntNumber;
    typedef typename Value::float_number_type FloatNumber;
    typedef typename Value::boolean_type Boolean;
    typedef typename Value::null_type Null;

    Value json = Array();
    json.as<Array>().push_back("Hello JSON!");
    json.as<Array>().push_back("This is a quoted \"string\".");
    json.as<Array>().push_back("First line.\nSecond line.");
    json.as<Array>().push_back(false);
    json.as<Array>().push_back(1);
    json.as<Array>().push_back(1.0);
    json.as<Array>().push_back(json::null);
    json.as<Array>().push_back(
        Object({{"parameters",
        Object({{"key1", "value"},{"key2", 0},{"key3", 0.0}})
    }}));


    std::ostream_iterator<char> out_it(std::cout, nullptr);
    json::write_value(json, out_it, json::writer_base::pretty_print);
    std::cout << std::endl;

    std::string jsonString;
    json::write_value(json, std::back_inserter(jsonString));
    std::cout << std::endl << jsonString << "\n\n" << std::endl;
}

该程序将以下内容打印到控制台:

[
    "Hello JSON!",
    "This is a quoted \"string\".",
    "First line.\nSecond line.",
    false,
    1,
    1.000000,
    null,
    {
        "parameters" : {
            "key1" : "value",
            "key2" : 0,
            "key3" : 0.000000
        }
    }
]

["Hello JSON!","This is a quoted \"string\".","First line.\nSecond line.",false,1,1.000000,null,{"parameters":{"key1":"value","key2":0,"key3":0.000000}}]

当然,还有一个解析器,它可以创建这样的json::value表示。解析器针对速度和低内存占用进行了高度优化。

虽然我认为 C++ 表示json::value(不过,C++ 表示 ( json::value) 仍然需要完成一些工作。

尽管如此,该库可能是您想法的来源:代码在 GitHub 上:JPJson,尤其是文件夹中的文件variant.hpp和文件mpl.hppSource/json/utility/以及文件夹中的所有文件Source/json/value/Source/json/generator/.

实现技术和源代码的数量可能令人心碎,并且仅在 iOS 和 Mac OS X 上使用现代 clang 进行了测试/编译 - 请注意;)

于 2013-10-24T22:29:56.560 回答
0

我将实现一个简化boost::variant的,其中只有 4 种类型:an unordered_map、a vector、astring和(可选)数字类型(我们需要无限精度吗?)。

每个容器都包含指向相同类型实例的智能指针。

boost::variant存储了union它所拥有的类型,以及它所具有的类型的或enum索引。我们可以向它询问类型索引,我们可以询问它是否有一个特定的类型,或者我们可以编写一个带有 distict 覆盖的访问者,variant将正确的调用调度到该访问者。(最后一个是apply_visitor)。

我会模仿那个界面,因为我发现它既有用又相对完整。简而言之,重新实现 的一部分boost,然后使用它。请注意,这variant是一个仅限标题的类型,因此它可能足够轻,可以仅包含在内。

于 2013-10-24T10:05:24.357 回答