Árvore de páginas

Qual a forma básica de declarar um método tipado?

Deve-se mencionar o tipo na parte declarativa (estrutura da classe) e também na implementação do método, conforme exemplo seguinte.

Sugere-se visitar os Tipos Nativos.


Exemplo - Método Tipado
#include "tlpp-object.th"
Class tMyClass
Public Method New() as Object
Public Method myMethod () as Numeric
EndClass

Method New() as Object class tMyClass
Return Self

Method myMethod () as Numeric class tMyClass
Return 10



A checagem de métodos está no mesmo estágio que a checagem de funções?
Sim, hoje o compilador apresenta as mesmas tratativas de checagem de tipos para funções ou métodos.
Isso quer dizer que ele vai olhar:

  • se o retorno do método é compatível com o tipo declarado;
  • se as chamadas àquele método, quando conhecido estaticamente o seu "Self", são compatíveis com a expressão em que a chamada faz parte. 

Recomenda-se visitar Tipando Funções.

  • Sem rótulos