c++ - 沿着名字的路径走，从节点中获取深层值(value)

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

它工作得很好。

它做什么

不知何故，“配置”对象的内部状态被改变了。但是因为我声明我的局部变量不是引用，所以我希望它能复制原始变量。我开始只使用引用文献，但遇到了同样的问题。

另外，如果 vector 是用另一个实例单独初始化的，它的行为方式相同(错误)，所以这不是 vector 的错；)

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

它应该做什么

因为我的“查找”只是一个读取操作，所以我希望尽可能多地使用 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());