- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
对于我实际实现的解析器,我在解析器中部分拥有这些私有(private)函数:
解析器私有(private)方法:
Token const* current_token() const;
Token const* next_token();
Token const* peek_token();
std::unique_ptr<ast::Expression> parse_expression();
std::unique_ptr<ast::TypeSpecifier> parse_type_specifier();
std::unique_ptr<ast::VariableDeclarationStatement> parse_variable_declaration();
std::unique_ptr<ast::Statement> parse_function_definition();
std::unique_ptr<ast::Statement> parse_top_level_statement();
parse_variable_declaration 方法的实现是这样的:
parse_variable_declaration():
std::unique_ptr<ast::VariableDeclarationStatement> Parser::parse_variable_declaration() {
next_token(); // consume 'var'
if (current_token()->get_type() != TokenTypes::identifier) {
throw parser_error(current_token(), "", "expected identifier\n");
}
const auto id = current_token(); // store identifier
next_token(); // consume identifier
std::unique_ptr<ast::TypeSpecifier> type;
std::unique_ptr<ast::Expression> expr;
auto assignment_required = true;
if (current_token()->get_type() == TokenTypes::op_colon) { // optional type specifier
next_token(); // consume ':'
type = parse_type_specifier();
assignment_required = false;
}
if (assignment_required && current_token()->get_type() != TokenTypes::op_equals) {
throw parser_error(current_token(), "", "expected equals operator\n");
}
if (current_token()->get_type() == TokenTypes::op_equals) {
next_token(); // consume '='
expr = parse_expression();
}
if (current_token()->get_type() != TokenTypes::op_semi_colon) {
throw parser_error(current_token(), "", "expected semi-colon\n");
}
next_token(); // consume ';'
DEBUG_STDERR("parsed: variable_declaration_statement\n");
return std::make_unique<ast::VariableDeclarationStatement>(
id->get_string(), std::move(type), std::move(expr));
}
最后一行(返回)以段错误结束。它基本上调用了 VariableDeclarationStatement 的构造函数:
VariableDeclarationStatement 构造函数:
VariableDeclarationStatement::VariableDeclarationStatement(
std::string const& name,
std::unique_ptr<TypeSpecifier> type_specifier,
std::unique_ptr<Expression> expr
):
m_name{name},
m_type_specifier{std::move(type_specifier)},
m_expr{std::move(expr)}
{}
我从昨天开始调试这个东西,似乎无法找出为什么它不能按预期工作。我想构建带有指向其子节点的唯一指针的抽象语法树(解析器输出)(因为它们是其子节点的唯一所有者,这才有意义)——这就是我努力与它们合作的原因。
控制台输出:DEBUG_STDERR
parsed: primitive_type_int // from parse_type_specifier()
parsed: integral_expression // from parse_expression()
parsed: variable_declaration_statement
[1] 12638 segmentation fault (core dumped) ./cion_compiler
最佳答案
唯一指针的 move 操作基本上可以归结为简单的指针复制。 unique_ptr
的任何实现都没有理由在 move 它们的过程中取消对指针的引用。因此,此操作导致段错误的可能性几乎为零。
在您的返回语句/构造函数调用中,您确实有一个(或多个)非常明显的指针取消引用,作为 id->get_string()
调用的一部分。
首先,id
指针是这样创建的:
const Token* const id = current_token(); // store identifier
next_token(); // consume identifier
除非保证 current_token()
返回的任何指针在时间结束前(或在当前解析操作的生命周期内)都有效,否则很有可能在调用 next_token()
之后,id
指针无效,即指向不存在或失效的 Token
对象。
即使 id
指针仍然指向一个现有的 Token
对象,它也有可能处于“僵尸”状态,并且从中获取一个字符串,通过get_string()
,是一个无效的操作。
如果我是你,我会在那里寻找段错误的来源。您可能还想在(内存)调试器中运行它以获取它的源代码,它可能会将您指向 get_string
函数作为它的源代码,无论是在取消引用this
指针(id
指针)或在构造字符串本身期间。如果 get_string
是 Token
类中的虚拟函数,它还可以指向虚拟表查找。无论哪种方式,我都高度怀疑这是段错误的原因,因为它是您发布的代码中唯一明显危险的代码。
关于c++ - 段。 std::unique_ptr 和 ctor 的错误,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/27409088/
我正在开发一个小型图书馆,我需要做的一件事是让访问者访问一些数据并返回结果。 在一些较旧的 C++ 代码中,访问者需要声明一个 typedef return_type .例如,boost::stati
我正在尝试使用std:map类型的键和值制作std::any Visual Studio 2017 std::map m("lastname", "Ivanov"); std::cout (m["la
我已经在 C++ 的 map 中声明了一个集合为 std::map> .如何循环访问或打印设定值? 最佳答案 如果你知道如何迭代 std::map或 std::set单独地,您应该可以毫无问题地组合迭
如何循环? 我已经试过了: //----- code std::vector >::iterator it; for ( it = users.begin(); it != users.end();
我有两个用例。 A.我想同步访问两个线程的队列。 B.我想同步两个线程对队列的访问并使用条件变量,因为其中一个线程将等待另一个线程将内容存储到队列中。 对于用例 A,我看到了使用 std::lock_
我正在查看这两种类型特征的文档,但不确定有什么区别。我不是语言律师,但据我所知,它们都适用于“memcpy-able”类型。 它们可以互换使用吗? 最佳答案 不,这些术语不能互换使用。这两个术语都表示
我有以下测试代码,其中有一个参数 fS,它是 ofstream 的容器: #include #include #include #include int
这是这个问题的延续 c++ function ptr in unorderer_map, compile time error 我试图使用 std::function 而不是函数指针,并且只有当函数是
std::unordered_map str_bool_map = { {"a", true}, {"b", false}, {"c", true} }; 我们可以在此映射上使
我有以下对象 std::vector> vectorList; 然后我添加到这个使用 std::vector vec_tmp; vec_tmp.push_back(strDRG); vec_tmp.p
为什么 std::initializer_list不支持std::get<> , std::tuple_size和 std::tuple_element ?在constexpr中用得很多现在的表达式,
我有一个像这样定义的变量 auto drum = std::make_tuple ( std::make_tuple ( 0.3f , Ex
假设我有一个私有(private)std::map在我的类(class)里std::map 。我怎样才能将其转换为std::map返回给用户?我想要下面的原型(prototype) const std
假设我有一个私有(private)std::map在我的类(class)里std::map 。我怎样才能将其转换为std::map返回给用户?我想要下面的原型(prototype) const std
问题 我正在尝试将 lambda 闭包传递给 std::thread,它使用任意封闭参数调用任意封闭函数。 template std::thread timed_thread(Function&& f
我想创建一个模板类,可以容纳容器和容器的任意组合。例如,std::vector或 std::map ,例如。 我尝试了很多组合,但我必须承认模板的复杂性让我不知所措。我编译的关闭是这样的: templ
我有一个 std::vector>我将其分配给相同类型的第二个 vector 。 我收到这个编译器错误: /opt/gcc-8.2.0/include/c++/8.2.0/bits/stl_algob
有时候,我们有一个工厂可以生成一个 std::unique_ptr vector ,后来我们想在类/线程/你命名的之间共享这些指针。因此,最好改用 std::shared_ptr 。当然有一种方法可以
这个问题在这里已经有了答案: Sorting a vector of custom objects (14 个答案) 关闭 6 年前。 我创建了一个 vector vector ,我想根据我定义的参
我有三个类(class)成员: public: std::vector > getObjects(); std::vector > getObjects() const; privat
我是一名优秀的程序员,十分优秀!