Army barracks count as private residences, therefore smoking is permitted. Though in Scotland at least, the MoD brought in their own smoking bans in military facilities & announced a programme to help soldiers quit - perhaps same is now happening in England.