{"id":1025,"date":"2020-07-28T10:56:14","date_gmt":"2020-07-28T13:56:14","guid":{"rendered":"https:\/\/micheladrianomedeiros.com.br\/blog\/?p=1025"},"modified":"2020-07-28T10:56:17","modified_gmt":"2020-07-28T13:56:17","slug":"compiladores-4","status":"publish","type":"post","link":"https:\/\/micheladrianomedeiros.com.br\/blog\/compiladores-4\/","title":{"rendered":"Compiladores #4"},"content":{"rendered":"\n

An\u00e1lise Sem\u00e2ntica<\/strong><\/h4>\n\n\n\n

A fase de an\u00e1lise sem\u00e2ntica verifica os erros sem\u00e2nticos no programa fonte e captura as informa\u00e7\u00f5es de tipo para a fase subsequente de gera\u00e7\u00e3o de c\u00f3digo. Utiliza a estrutura hier\u00e1rquica determinada pela fase de an\u00e1lise sint\u00e1tica, a fim de identificar os operadores e operandos das express\u00f5es e enunciados.<\/p>\n\n\n\n

Um importante componente da an\u00e1lise sem\u00e2ntica \u00e9 a verifica\u00e7\u00e3o de tipos. Nela o compilador checa se cada operador recebe os operandos que s\u00e3o permitidos pela especifica\u00e7\u00e3o da linguagem fonte.<\/p>\n\n\n\n

Por exemplo, muitas defini\u00e7\u00f5es nas linguagens de programa\u00e7\u00e3o requerem que o compilador relate um erro a cada vez que um n\u00famero real seja usado para indexar um array.<\/p>\n\n\n\n

No entanto, a especifica\u00e7\u00e3o da linguagem pode permitir algumas coer\u00e7\u00f5es de operandos, como, por exemplo, quando um operando aritm\u00e9tico bin\u00e1rio \u00e9 aplicado a um inteiro e a um real. Nesse caso, o compilador pode precisar converter o inteiro para real.<\/p>\n\n\n\n

Dentro da m\u00e1quina, um padr\u00e3o de bits representando um inteiro \u00e9 geralmente diferente do padr\u00e3o de bits para um real, mesmo que o n\u00famero inteiro e o n\u00famero real tenham o mesmo valor.<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

Suponha, por exemplo, que todos os identificadores na Fig. 1.5 tenham sido declarados como reais e assuma que 60, por si s\u00f3, seja um inteiro. A verifica\u00e7\u00e3o de tipos da Fig. 1.5(a) revela que o * est\u00e1 aplicado a um real, taxa_de_juros<\/em>, e a um inteiro, 60.<\/p>\n\n\n\n

O enfoque geral \u00e9 o de converter inteiro em real. Isso foi conseguido na Fig. 1.5(b) pela cria\u00e7\u00e3o de um n\u00f3 extra para operador inttoreal<\/strong>, que converte explicitamente um inteiro num real.<\/p>\n\n\n\n

Alternativamente, como o operando de inttoreal \u00e9 uma constante, o compilador pode, em lugar, substituir a constante inteira por uma constante real equivalente.<\/p>\n\n\n\n

\n