distinct可以用在having后吗