gpt4 book ai didi

Python 源代码 - 更新语法

转载 作者:太空狗 更新时间:2023-10-29 21:09:15 25 4
gpt4 key购买 nike

我正在研究一些 Python 的源代码,我决定将语法上的一些更改付诸实践,所以我下载了 3.7 版本的源代码。

我遵循 PEP 0306 的指导方针:
https://www.python.org/dev/peps/pep-0306/

以 Hackernoon 为例:
https://hackernoon.com/modifying-the-python-language-in-7-minutes-b94b0a99ce14

这个想法来自装饰器语法的改进(记住,这只是一个研究的例子,我已经知道有其他方法可以做同样的事情):

@test
def mydef (self):
pass

按照 Grammar/Grammar 文件的行,它运行良好:

decorated: decorators (classdef | funcdef | async_funcdef)

现在的目标是将装饰器更改为接受声明,从示例开始:

@test
id: int = 1

分析语法,我找到了annassign,它是:

annassign: ':' test ['=' test]
# or even use small_stmt

给定表示 id: int = 1 的 token ,我将 token 更改为:

decorated: decorators (classdef | funcdef | async_funcdef | annassign)

完成后(根据 PEP 0306)我去了 ast.c 并确定了 ast_for_decorated 方法,并获取了一段代码:

[...]
assert(TYPE(CHILD(n, 1)) == funcdef ||
TYPE(CHILD(n, 1)) == async_funcdef ||
TYPE(CHILD(n, 1)) == classdef);

if (TYPE(CHILD(n, 1)) == funcdef) {
thing = ast_for_funcdef(c, CHILD(n, 1), decorator_seq);
} else if (TYPE(CHILD(n, 1)) == classdef) {
thing = ast_for_classdef(c, CHILD(n, 1), decorator_seq);
} else if (TYPE(CHILD(n, 1)) == async_funcdef) {
thing = ast_for_async_funcdef(c, CHILD(n, 1), decorator_seq);
}
[...]

您可以验证是否存在下一个标记(函数、类或异步)的验证,然后调用负责的方法 (ast_for)。所以我在ast.c的基础上做了修改:

[...]
assert(TYPE(CHILD(n, 1)) == funcdef ||
TYPE(CHILD(n, 1)) == async_funcdef ||
TYPE(CHILD(n, 1)) == annassign ||
TYPE(CHILD(n, 1)) == classdef);

if (TYPE(CHILD(n, 1)) == funcdef) {
thing = ast_for_funcdef(c, CHILD(n, 1), decorator_seq);
} else if (TYPE(CHILD(n, 1)) == annassign) {
thing = ast_for_annassign(c, CHILD(n, 1));
} else if (TYPE(CHILD(n, 1)) == classdef) {
thing = ast_for_classdef(c, CHILD(n, 1), decorator_seq);
} else if (TYPE(CHILD(n, 1)) == async_funcdef) {
thing = ast_for_async_funcdef(c, CHILD(n, 1), decorator_seq);
}
[...]

请注意,我创建了 ast_for_annassign 方法,其中包含与 ast_for_expr_stmt 中相同的验证码以进行分析:

static stmt_ty 
ast_for_annassign(struct compiling *c, const node *n)
{
REQ(n, expr_stmt);
expr_ty expr1, expr2, expr3;
node *ch = CHILD(n, 0);
node *deep, *ann = CHILD(n, 1);
int simple = 1;

/* we keep track of parens to qualify (x) as expression not name */
deep = ch;
while (NCH(deep) == 1) {
deep = CHILD(deep, 0);
}
if (NCH(deep) > 0 && TYPE(CHILD(deep, 0)) == LPAR) {
simple = 0;
}
expr1 = ast_for_testlist(c, ch);
if (!expr1) {
return NULL;
}
switch (expr1->kind) {
case Name_kind:
if (forbidden_name(c, expr1->v.Name.id, n, 0)) {
return NULL;
}
expr1->v.Name.ctx = Store;
break;
case Attribute_kind:
if (forbidden_name(c, expr1->v.Attribute.attr, n, 1)) {
return NULL;
}
expr1->v.Attribute.ctx = Store;
break;
case Subscript_kind:
expr1->v.Subscript.ctx = Store;
break;
case List_kind:
ast_error(c, ch,
"only single target (not list) can be annotated");
return NULL;
case Tuple_kind:
ast_error(c, ch,
"only single target (not tuple) can be annotated");
return NULL;
default:
ast_error(c, ch,
"illegal target for annotation");
return NULL;
}

if (expr1->kind != Name_kind) {
simple = 0;
}
ch = CHILD(ann, 1);
expr2 = ast_for_expr(c, ch);
if (!expr2) {
return NULL;
}
if (NCH(ann) == 2) {
return AnnAssign(expr1, expr2, NULL, simple,
LINENO(n), n->n_col_offset, c->c_arena);
}
else {
ch = CHILD(ann, 3);
expr3 = ast_for_expr(c, ch);
if (!expr3) {
return NULL;
}
return AnnAssign(expr1, expr2, expr3, simple,
LINENO(n), n->n_col_offset, c->c_arena);
}
}

现在是时候测试(configure/make -j/make install),python3.7和:

File "__init__.py", line 13
id: int = 1
^
SyntaxError: invalid syntax

随着语法和词法解析器的改变,编译器是否应该将标记解释为有效,我哪里出错了?

最佳答案

id: int = 1 不是 annassign: int = 1 部分是一个annassign。 (即使是行终止符也不算作 annassign 的一部分。)Python 语法中没有专门用于带注释的赋值语句的非终结符;你可能需要写一个。

关于Python 源代码 - 更新语法,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/51901657/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com