沿着名字的路径走，从节点中获取深层价值

Question

我正在将 PHP 控制台应用程序移植到 C++，以了解有关 C++ 的更多信息并重新点燃我对这门语言的旧爱。

我需要做的一件事是遍历经过解析的 YAML 树，以通过它的路径获取项目。我目前只处理字符串键和 YAML 映射类型，只是为了简单起见。

这是我使用 Catch 编写的测试来确定我的问题：

#define CATCH_CONFIG_MAIN

#include <yaml-cpp/yaml.h>
#include <boost/foreach.hpp>

#include "include/catch.hpp"

// In my actual implementation, this function is a method 
// of a class, and 'config' is a class member
// but the semantics and types are the same
YAML::Node lookup(YAML::Node config, std::vector<std::string>& path) {
    YAML::Node ptr = config;

    BOOST_FOREACH(std::string element, path)
    {
        ptr = ptr[element];
    }

    return ptr;
}


TEST_CASE ("Loading YAML data", "[loader]") {
    const char *str_config =
        "key:\n"
        "    child: Hello world\n"
    ;
    YAML::Node config = YAML::Load(str_config);

    std::vector<std::string> path;

    path.push_back("key");
    path.push_back("child");

    // the first one succeeds:
    REQUIRE( lookup(config, path).IsDefined() );

    // but the second one fails.
    REQUIRE( lookup(config, path).IsDefined() );
}

现在，如果我运行这个测试，它会失败并显示以下消息：

-------------------------------------------------------------------------------
Loading YAML data
-------------------------------------------------------------------------------
/home/gerard/work/z-cpp/test.cpp:26
...............................................................................

/home/gerard/work/z-cpp/test.cpp:42: FAILED:
  REQUIRE( lookup(config, path).IsDefined() )
with expansion:
  false

===============================================================================
test cases: 1 | 1 failed
assertions: 2 | 1 passed | 1 failed

我已经隔离了，如果我像这样在查找方法中克隆节点：

YAML::Node ptr = YAML::Clone(config);

它工作得很好。

它的作用

不知何故，'config' 对象的内部状态被改变了。但是因为我声明我的局部变量不是引用，所以我希望它能复制原始变量。我一开始只使用参考资料，我运行使用它进入了同一个问题。

此外，如果使用另一个实例对向量进行第二次单独初始化，它的行为方式相同（错误），所以这不是向量的错 ;)

我深入研究了 yaml-cpp 的源代码，并试图弄清楚我是否遗漏了一些明显的指针（双关语意）或 API 误用，但我无法弄清楚...

它应该做什么

由于我的 'lookup' 只是一个读取操作，我希望尽可能多地拥有东西 const，并且不改变原始对象的状态。此外，克隆整棵树会使它变得非常昂贵，因为我计划在整个应用程序中进行大量此类查找...

我在这里忽略了什么？

Answer 1

在 yaml-cpp 中，节点是引用类型，因此 operator= 实际上更改了它们的内部结构。

这通常是您想要的，但您的示例表明在某些情况下它会产生真正违反直觉的行为。

我同意这很奇怪。我已经提交 an issue 来考虑如何在直观行为中防止这种情况。

要解决此问题，在您的示例中，您可以切换到递归：

template <typename Iter>
YAML::Node lookup(YAML::Node node, Iter start, Iter end) {
  if (start == end) {
    return node;
  }
  return lookup(node[*start], next(start), end);
}

...

vector<string> path = ...
YAML::Node value = lookup(config, path.begin(), path.end());

沿着名字的路径走，从节点中获取深层价值

Walking along a path of names to get a deep value from a Node

c++

yaml-cpp

它的作用

它应该做什么