(semantic) fixed some details about LVal

pku-minic · Dec 6, 2021 · 9e5e0a0 · 9e5e0a0
1 parent d0d3342
commit 9e5e0a0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/sysy/semantic.md b/docs/sysy/semantic.md
@@ -132,7 +132,7 @@ LVal  ::= IDENT {"[" Exp "]"};
 ```
 
 1. `LVal` 表示具有左值的表达式, 可以为变量或者某个数组元素.
-2. 当 `LVal` 表示数组时, 方括号个数必须和数组变量的维数相同 (即定位到元素).
+2. 当 `LVal` 表示数组时, 方括号个数必须和数组变量的维数相同 (即定位到元素). 若 `LVal` 表示的数组作为数组参数参与函数调用, 则数组的方括号个数可以不与维数相同 (参考 [函数形参与实参](sysy/semantic.md?id=函数形参与实参)).
 3. 当 `LVal` 表示单个变量时, 不能出现后面的方括号.
 
 ## 表达式和条件表达式