请问parser实验是否需要考虑局部变量呢？

[zjnyly]

助教您好，对于这样的情况(自己构造的)

double a = 10;

int main()
{
	int a = 2;
	double b;
	b = (double)a;
}

我观察到测试样例中存在b=a这样的赋值运算，因此json会输出DeclRefExpr模块，并且赋值给b的一定是int类型的a，即使强制类型转换，DeclRefExpr中的type也注明了int类型。但是如果需要我构造这样的json语法树，因为自顶向下构造的顺序，我在为b = (double)a中的a制备DeclRefExpr的时候，因为还没有汇聚到main函数的FuncDef模块，似乎不太容易一下子知道在这个代码块另一个子树中定义了一个int类型的a。而如果我简单地用哈希记录标识符对应的类型，又不太能区分不同局部变量。还是说测试样例里所有的变量都是int类型，所以只需要简单为type赋值为int就可以呢？

(PS: 感觉parser实验好像包含了一些语法分析的内容？)

{
"id": "0xa52fe8",
"kind": "DeclRefExpr",
"range": {
  "begin": {
    "offset": 317,
    "col": 14,
    "tokLen": 1
  },
  "end": {
    "offset": 317,
    "col": 14,
    "tokLen": 1
  }
},
"type": {
  "qualType": "int"
},
"valueCategory": "lvalue",
"referencedDecl": {
  "id": "0xa52e90",
  "kind": "VarDecl",
  "name": "a",
  "type": {
    "qualType": "int"
  }
}

完整json如下

{
  "id": "0xe2f558",
  "kind": "TranslationUnitDecl",
  "loc": {},
  "range": {
    "begin": {},
    "end": {}
  },
  "inner": [
    {
      "id": "0xe6ec90",
      "kind": "VarDecl",
      "loc": {
        "offset": 259,
        "file": "<stdin>",
        "line": 11,
        "presumedFile": "/home/zjnyly/SYsU-lang/tester/function_test2020/01_var_defn.sysu.c",
        "presumedLine": 4,
        "col": 8,
        "tokLen": 1
      },
      "range": {
        "begin": {
          "offset": 252,
          "col": 1,
          "tokLen": 6
        },
        "end": {
          "offset": 263,
          "col": 12,
          "tokLen": 2
        }
      },
      "name": "a",
      "mangledName": "a",
      "type": {
        "qualType": "double"
      },
      "init": "c",
      "inner": [
        {
          "id": "0xe6ed60",
          "kind": "ImplicitCastExpr",
          "range": {
            "begin": {
              "offset": 263,
              "col": 12,
              "tokLen": 2
            },
            "end": {
              "offset": 263,
              "col": 12,
              "tokLen": 2
            }
          },
          "type": {
            "qualType": "double"
          },
          "valueCategory": "rvalue",
          "castKind": "IntegralToFloating",
          "inner": [
            {
              "id": "0xe6ed40",
              "kind": "IntegerLiteral",
              "range": {
                "begin": {
                  "offset": 263,
                  "col": 12,
                  "tokLen": 2
                },
                "end": {
                  "offset": 263,
                  "col": 12,
                  "tokLen": 2
                }
              },
              "type": {
                "qualType": "int"
              },
              "valueCategory": "rvalue",
              "value": "10"
            }
          ]
        }
      ]
    },
    {
      "id": "0xe6edd8",
      "kind": "FunctionDecl",
      "loc": {
        "offset": 272,
        "line": 13,
        "presumedLine": 6,
        "col": 5,
        "tokLen": 4
      },
      "range": {
        "begin": {
          "offset": 268,
          "col": 1,
          "tokLen": 3
        },
        "end": {
          "offset": 316,
          "line": 17,
          "presumedLine": 10,
          "col": 1,
          "tokLen": 1
        }
      },
      "name": "main",
      "mangledName": "main",
      "type": {
        "qualType": "int ()"
      },
      "inner": [
        {
          "id": "0xe6f040",
          "kind": "CompoundStmt",
          "range": {
            "begin": {
              "offset": 279,
              "line": 14,
              "presumedLine": 7,
              "col": 1,
              "tokLen": 1
            },
            "end": {
              "offset": 316,
              "line": 17,
              "presumedLine": 10,
              "col": 1,
              "tokLen": 1
            }
          },
          "inner": [
            {
              "id": "0xe6ef18",
              "kind": "DeclStmt",
              "range": {
                "begin": {
                  "offset": 282,
                  "line": 15,
                  "presumedLine": 8,
                  "col": 2,
                  "tokLen": 3
                },
                "end": {
                  "offset": 291,
                  "col": 11,
                  "tokLen": 1
                }
              },
              "inner": [
                {
                  "id": "0xe6ee90",
                  "kind": "VarDecl",
                  "loc": {
                    "offset": 286,
                    "col": 6,
                    "tokLen": 1
                  },
                  "range": {
                    "begin": {
                      "offset": 282,
                      "col": 2,
                      "tokLen": 3
                    },
                    "end": {
                      "offset": 290,
                      "col": 10,
                      "tokLen": 1
                    }
                  },
                  "isUsed": true,
                  "name": "a",
                  "mangledName": "a",
                  "type": {
                    "qualType": "int"
                  },
                  "init": "c",
                  "inner": [
                    {
                      "id": "0xe6eef8",
                      "kind": "IntegerLiteral",
                      "range": {
                        "begin": {
                          "offset": 290,
                          "col": 10,
                          "tokLen": 1
                        },
                        "end": {
                          "offset": 290,
                          "col": 10,
                          "tokLen": 1
                        }
                      },
                      "type": {
                        "qualType": "int"
                      },
                      "valueCategory": "rvalue",
                      "value": "2"
                    }
                  ]
                }
              ]
            },
            {
              "id": "0xe6f028",
              "kind": "DeclStmt",
              "range": {
                "begin": {
                  "offset": 294,
                  "line": 16,
                  "presumedLine": 9,
                  "col": 2,
                  "tokLen": 6
                },
                "end": {
                  "offset": 314,
                  "col": 22,
                  "tokLen": 1
                }
              },
              "inner": [
                {
                  "id": "0xe6ef48",
                  "kind": "VarDecl",
                  "loc": {
                    "offset": 301,
                    "col": 9,
                    "tokLen": 1
                  },
                  "range": {
                    "begin": {
                      "offset": 294,
                      "col": 2,
                      "tokLen": 6
                    },
                    "end": {
                      "offset": 313,
                      "col": 21,
                      "tokLen": 1
                    }
                  },
                  "name": "b",
                  "mangledName": "b",
                  "type": {
                    "qualType": "double"
                  },
                  "init": "c",
                  "inner": [
                    {
                      "id": "0xe6f000",
                      "kind": "CStyleCastExpr",
                      "range": {
                        "begin": {
                          "offset": 305,
                          "col": 13,
                          "tokLen": 1
                        },
                        "end": {
                          "offset": 313,
                          "col": 21,
                          "tokLen": 1
                        }
                      },
                      "type": {
                        "qualType": "double"
                      },
                      "valueCategory": "rvalue",
                      "castKind": "IntegralToFloating",
                      "inner": [
                        {
                          "id": "0xe6efe8",
                          "kind": "ImplicitCastExpr",
                          "range": {
                            "begin": {
                              "offset": 313,
                              "col": 21,
                              "tokLen": 1
                            },
                            "end": {
                              "offset": 313,
                              "col": 21,
                              "tokLen": 1
                            }
                          },
                          "type": {
                            "qualType": "int"
                          },
                          "valueCategory": "rvalue",
                          "castKind": "LValueToRValue",
                          "isPartOfExplicitCast": true,
                          "inner": [
                            {
                              "id": "0xe6efb0",
                              "kind": "DeclRefExpr",
                              "range": {
                                "begin": {
                                  "offset": 313,
                                  "col": 21,
                                  "tokLen": 1
                                },
                                "end": {
                                  "offset": 313,
                                  "col": 21,
                                  "tokLen": 1
                                }
                              },
                              "type": {
                                "qualType": "int"
                              },
                              "valueCategory": "lvalue",
                              "referencedDecl": {
                                "id": "0xe6ee90",
                                "kind": "VarDecl",
                                "name": "a",
                                "type": {
                                  "qualType": "int"
                                }
                              }
                            }
                          ]
                        }
                      ]
                    }
                  ]
                }
              ]
            }
          ]
        }
      ]
    }
  ]
}

[wu-kan]

parser 实验只关心语法树的生成，不关注语义是否正确，只要和 clang 构造的语法树有相同结构即视为通过，语义可以在下一个 generator 实验中检查。换句话说，type 不是这个实验的必选项。

如果你希望通过 parser-2 等评测项，可以在 yyparse 函数执行完后再重新遍历整棵构造出的树，给每个节点补充额外的信息。

PS：目前 SYsU 语法与 SysY-2021 语法保持一致，不包含 double 类型。不过 SysY-2022 语法中增加了 float 类型，我已经加入头文件 sysy/sylib.h，可以通过宏 #define __SYSY 202203L 开启，如果想增加语法支持可以从这里入手：）这部分或许会作为明年实验的要求。