本篇將對“1=3”“&5”這樣無法求值的不正確的表達式進行檢查。 將檢查如下這些問題。●為無法賦值的表達式賦值（例：1 = 2 + 2）●使用非法的函數名調用函數（例："string"("%d\n", i)）●操作數非法的數組引用（例：1[0]）●操作數非法的成員引用（例：1.memb）●操作數非法 ...
本篇將對“1=3”“&5”這樣無法求值的不正確的表達式進行檢查。
將檢查如下這些問題。
●為無法賦值的表達式賦值（例：1 = 2 + 2）
●使用非法的函數名調用函數（例："string"("%d\n", i)）
●操作數非法的數組引用（例：1[0]）
●操作數非法的成員引用（例：1.memb）
●操作數非法的指針間接引用（例：1->memb）
●對非指針的對象取值（例：*1）
●對非左值的表達式取地址
具體例子以及問題的檢測方法如表10.1所示，其中包括了剛纔列舉的問題。
非指針類型取值操作的檢查
/*非指針類型取值操作的檢查
* 表示取值運算符（*）的DereferenceNode的處理。
* 該方法檢查取值運算符的操作數的類型是否為指針。
*/
// #@@range/DereferenceNode{
public Void visit(DereferenceNode node) {
/*
* 首先，通過super.visit(node) 調用基類Visitor 的方法遍歷操作數（node.expr()）
（即檢查操作數）。
*/
super.visit(node);
/*
* 接著，調用操作數node.expr() 的isPointer 方法，檢查操作數的類型是否是指針，
即檢查是否可以進行取值。如果無法取值，則調用undereferableError 方法輸出編譯錯誤。
*/
if (! node.expr().isPointer()) {
undereferableError(node.location());
}
/*
* 最後，調用handleImplicitAddress 方法對數組類型和函數類型進行特別處理。該處
理還和接下來AddressNode 的處理相關，
*/
handleImplicitAddress(node);
return null;
}
獲取非左值表達式地址的檢查
/*獲取非左值表達式地址的檢查
* 檢查操作數是否為左值。表示地址運算符的AddressNode 的處理
*/
// #@@range/AddressNode{
public Void visit(AddressNode node) {
super.visit(node);
/*
* 首先對node.expr() 調用isLvalue 方法，檢查&expr 中的expr 是否是可以進行取
址操作的表達式。
ExprNode#isLvalue 是檢查該節點的表達式是否能夠獲取地址的方法。
*/
if (! node.expr().isLvalue()) {
semanticError(node.location(), "invalid expression for &");
}
/*
* 剩餘的語句用於確定AddressNode 的類型。通常node.expr().isLoadable() 會
返回true，即執行else 部分的處理。&expr 的類型是指向expr 類型的指針，因此指向
node.expr().type() 的指針類型可以作為節點整體的類型來使用。
*/
Type base = node.expr().type();
/*
* 在將puts 的類型設置為指向函數的指針的同時，還必須將&puts 的類型也設置為指向函
數的指針。
node.expr() 的類型是數組或函數的情況下進行特別處理，使得&puts 的類型
和puts 的類型相一致。
*/
if (! node.expr().isLoadable()) {
// node.expr.type is already pointer.
node.setType(base);
}
else {
node.setType(typeTable.pointerTo(base));
}
return null;
}
隱式的指針生成
單個數組類型或函數類型的變數表示數組或函數的地址。例如，假設變數puts 的類型為函數類型（一般稱為函數指針），那麼puts 和&puts 得到的值是相同的。
/*
* handleImplicitAddress 方法將數組類型或函數類型轉換為了指向
數組或函數類型的指針，即隱式地生成指針類型。
*/
private void handleImplicitAddress(LHSNode node) {
if (! node.isLoadable()) {
Type t = node.type();
if (t.isArray()) {
// int[4] ary; ary; should generate int*
node.setType(typeTable.pointerTo(t.baseType()));
}
else {
node.setType(typeTable.pointerTo(t));
}
}
}
puts 是指向函數的指針，因此它的取值運算*puts 的結果是函數類型，但這樣又會隱式地轉換為指向函數的指針。*puts 還是指向函數的指針，因此仍然可以進行取值運算，仍然會轉換為指向函數的指針。像這樣可以無限重覆下去。所以C 語言中“&puts”“puts”“*puts”“**puts”“***puts”的值都是相同的。
