Capítulo 8. Funções e Subrotinas - UFMG

A= 2*A
FUN2= A/C
RETURN
END FUNCTION FUN2
Capítulo 8. Sub-Programas e Módulos 107
Nota-se que ambas as funções alteram o valor de A; portanto, o valor de RES é totalmente dependente na ordem
de execução da expressão.
Como o padrão da linguagem não estabelece uma ordem para a execução das operações e desenvolvimentos
em uma expressão, este efeito lateral é proibido neste caso. Isto possibilita que os compiladores executem as
operações na ordem que otimiza a execução do código.
O uso de funções de efeito lateral em comandos ou construtos FORALL (seção 6.10), por exemplo, acarretaria
em um impedimento severo na otimização da execução do comando em um processador paralelo, efetivamente
anulando o efeito desejado pela definição deste recurso.
Para controlar esta situação, o programador pode assegurar ao compilador que uma determinada rotina
(não somente funções) não possui efeitos laterais ao incluir a palavra-chave PURE à declaração SUBROUTINE ou
FUNCTION:
PURE SUBROUTINE ...
---------------------------
PURE FUNCTION ...
Em termos práticos, esta palavra-chave assegura ao compilador que:
se a rotina é uma função, esta não altera os seus argumentos mudos;
a rotina não altera nenhuma parte de uma variável acessada por associação ao hospedeiro (rotina interna)
ou associação por uso (módulos);
a rotina não possui nenhuma variável local com o atributo SAVE;
a rotina não executa operações em um arquivo externo;
a rotina não contém um comando STOP.
Para assegurar que estes requerimentos sejam cumpridos e que o compilador possa facilmente verificar o seu
cumprimento, as seguintes regras adicionais são impostas:
qualquer argumento mudo que seja o nome de uma rotina e qualquer rotina invocada devem também ser
puras e ter a interface explícita;
as intenções de um argumento mudo qualquer devem ser declaradas, exceto se este seja uma rotina ou um
ponteiro, e a intenção deve sempre ser IN no caso de uma função;
qualquer rotina interna de uma rotina pura também deve ser pura;
uma variável que é acessada por associação ao hospedeiro ou por uso ou é um argumento mudo de intenção
IN não pode ser o alvo de uma atribuição de ponteiro; se a variável é do tipo derivado com uma componente
de ponteiro, ela não pode estar no lado direito de uma atribuição e ela não pode estar associada como o
argumento real de um argumento mudo que seja um ponteiro ou que tenha intenções OUT ou INOUT.
Esta última regra assegura que um ponteiro local não pode causar um efeito lateral.
A principal razão para se permitir subrotinas puras está na possibilidade de seu uso em construtos FORALL.
Porém, ao contrário de funções, uma subrotina pura pode ter argumentos mudos com intenções OUT ou INOUT
ou atributo POINTER. A sua existência também oferece a possibilidade de se fazer chamadas a subrotinas de
dentro de funções puras.
Uma rotina externa ou muda que seja usada como rotina pura deve possuir uma interface explícita que a
caracterize inequivocamente como tal. Contudo, a rotina pode ser usada em outros contextos sejam o uso de
um bloco de interface ou com uma interface que não a caracterize como pura. Isto permite que rotinas em
bibliotecas sejam escritas como puras sem que elas sejam obrigatoriamente usadas como tal.
Todas as funções intrínsecas (capítulo 7) são puras e, portanto, podem ser chamadas livremente de dentro
de qualquer rotina pura. Adicionalmente, a subrotina intrínseca elemental MVBITS (seção 7.9.3) também é pura.
O atributo PURE é dado automaticamente a qualquer rotina que seja definida com o atributo ELEMENTAL
(seção 8.2.17).
Autor: Rudi Gaelzer – IFM/UFPel Impresso: 23 de abril de 2008