The following regular expression can be used to validate UK postcodes. I'm posting this here as I can never find it when I need it.
^(([Gg][Ii][Rr] 0[Aa]{2})|((([A-Za-z][0-9]{1,2})|(([A-Za-z][A-Ha-hJ-Yj-y][0-9]{1,2})|(([A-Za-z][0-9][A-Za-z])|([A-Za-z][A-Ha-hJ-Yj-y][0-9]?[A-Za-z])))) [0-9][A-Za-z]{2}))$
It is not case sensitive. It matches postcodes starting GIR which are for GiroBank which may not be required.