scala协变逆变的作用