Existem casos em que você só quer executar uma rotina, seguir em algoritmo, um procedimento, sem gerar resultados. Ele faz uma ação mas não produz um valor para ser usado em uma expressão. Cada linguagem pode dar um nome e um jeito de tratar isto.
Isto é possível virtualmente em todas as linguagens. Algumas exigem que esse algoritmo tenha outro nome (procedure
, por exemplo). Falo disso em Qual a diferença entre funções e procedimentos?.
Matematicamente falando uma função deve retornar algum valor. Muitas linguagens permitem que elas não retornem porque não há muita vantagem prática dar outro nome só porque não retorna um valor.
Em linguagens estaticamente tipadas o normal é definir uma convenção de retorno dependendo da sintaxe dela. Algumas exigem que o tipo seja void
(Java, por exemplo) ou algum outro nome (unit
anda na moda). Na verdade esse não costuma ser um tipo de dado efetivamente.
Em linguagens de tipagem dinâmica é normal a função não ter um tipo, então retornar um valor ou não, para o compilador, dá na mesma. Claro que se retornar "nada" em função que se espera o retorno de um valor, será um erro lógico (que pode ser contornado).
Já vi vários casos da função ser confusa e começa retornando um valor de um tipo, depois há uma manutenção e ela cria um outro caminho de execução e retorna sem valor. Em linguagens dinâmicas (não todas) isso costuma ser possível já que retornar nada na verdade é retornar um nulo, o que não deixa de ser um valor (diferente de um void
).
Em tese esses procedimentos não precisam de um comando return
. Se existir, obviamente não deve retornar valor (ou pelo menos ele será descartado em linguagens estáticas). Claro que há casos que o procedimento precisa terminar antes da sua última linha. Um comando return
é para controle de fluxo e é usado para terminar a execução imediatamente.
Algumas linguagens, mesmo em funções completas (que retornam valor), permitem que o return
seja omitido para produzir um resultado. Mas é claro que o comando sempre será necessário se quiser interromper a execução antes do seu fim. Este é o objetivo primário de todo return
, retornar um valor é apenas sua função secundária. A palavra "retorno" deve ser lida como "retorne ao local chamador" e não "retorne um valor". Exatamente por isso tem linguagem que até usa a variável Result
como padrão para identificar o que deve ser usado como resultado no fim da função. Embora todo mundo compreenda "retornar um valor", o correto é "resulte um valor e retorne para o chamador".
Algumas linguagens permitem resultar mais de um valor (normalmente é um truque interno).
Aí do lado direito tem uma pergunta relacionada importante sobre o assunto.
Artigo na Wikipedia sobre o return
. Sobre o tipo de retorno.
return
no corpo de um método. A minha é referente ao uso doreturn
sem atributo para retornar.