Seria muito interessante conhecer como está organizado o arquivo txt com as informações postais.
Aqui no Brasil há um Web Service gratuito disponível no República Virtual que talvez possa ser útil. Lá tem várias explicações e exemplos de como utilizar em diversas linguagens.
Há também o GeoNames, internacional, e vários outros Web Services disponíveis com uma lista de vários países. Seria interessante pesquisar mais depois.
Se ainda assim precisar utilizar o arquivo txt, tente o seguinte. Na maioria das vezes são arquivos do tipo CSV (Valores Separados por Vírgula). Tem uma publicação muito boa neste blog sobre como utilizar esse tipo de arquivo no PHP; passando para um Array você pode percorrê-lo em busca da informação.
Independente da forma com a qual conseguir extrair os dados da tabela de dados, vai precisar de JavaScript para construir uma função AJAX que insira os dados automaticamente. Como fazer isso?
Primeiramente crie os campos em seu HTML e dê um ID diferente e específico a cada um deles. Ex.:
<input type="text" id="codigo-postal" /><br />
<input type="text" id="concelho" />
Depois crie um evento para quando o usuário sair do campo codigo-postal os dados serem pesquisados e preenchidos automaticamente. Para facilitar, poderemos utilizar a biblioteca JavaScript jQuery.
$("#codigo-postal").focusout(function() {
$.getJSON( "busca_codigo.php", {
codigo: $("#codigo-postal")[0].value
} )
.done(function( data ) {
if(data.encontrou == 1) {
$("#concelho")[0].value = data.conselho
} else {
alert("Código não encontrado!");
}
});
});
Um detalhe importante e que facilita bastante o trabalho é que os dados estão sendo repassados no formato JSON. Um Array de dados dessa forma pode ser facilmente obtido através do PHP e facilmente tratado através do JavaScript.
Pode ser que, dependendo da base de dados, a busca iterativa no arquivo txt fique um pouco lenta e consuma muitos recursos do servidor. Procure utilizar um Web Service de confiança que já existe ou migrar os dados para um Banco de Dados SQL, por exemplo; algo que ofereça uma busca mais otimizada.
O endereço da API que é colocado no começo da função jQuery.getJSON deve estar sob o mesmo domínio que a página HTML. Por questões de segurança os navegadores web modernos bloqueiam o acesso a endereços externos através dessas funções. Portanto, se for utilizar alguma API/Web Service externo, ainda assim escreva um script PHP para que pegue esses dados e repasse ao JavaScript.
Espero que tenha ajudado.
concelho
é como falammunicípio
em Portugal. Pesquisei para saber isso pois estava me soando estranho.