Alternativa D - Garantir que os operadores sejam aplicados a operandos compatíveis em termos de tipo
Introdução à Análise Semântica
A análise semântica é uma fase do processo de compilação que ocorre após a análise sintática. Enquanto o parser verifica se o código segue as regras da gramática, a análise semântica verifica se o código faz sentido lógico e tipologicamente.
Tarefas Principais da Análise Semântica
Durante esta fase, o compilador realiza diversas verificações importantes:
| Tarefa | Descrição |
|---|
| Verificação de Tipos | Garante compatibilidade entre tipos de dados nas operações |
| Verificação de Declaração | Confirma que variáveis foram declaradas antes do uso |
| Resolução de Escopo | Determina qual declaração de variável está em vigor |
| Checagem de Retorno | Valida funções retornam valores compatíveis |
Análise das Alternativas
- Alternativa A: Incorreta - Verificar gramática é tarefa da análise sintática, não semântica
- Alternativa B: Incorreta - Identação é questão de formatação/código, não verificação semântica
- Alternativa C: Parcialmente relacionada - Nomes exclusivos fazem parte da tabela de símbolos, mas não especificamente sobre tipos
- Alternativa D: CORRETA - Esta é a essência da verificação de tipos! Exemplo:
int + string causaria erro sem conversão explícita - Alternativa E: Relacionada mas diferente - É verificação de declaração, não especificamente de tipos
Conclusão
A alternativa D é a resposta correta porque a verificação de tipos tem como principal objetivo garantir que operações matemáticas, lógicas e outras sejam realizadas apenas com operandos compatíveis. Isso previne erros em tempo de execução e garante a integridade do programa compilado.