哈工大软件构造复习中,LSP原则、协变与逆变如何应用?