He's never been to Shanghai 【has he
根据been 可以推断出‘s 是has 的缩写,never 构成否定句,属于前否后肯.