如何知道一个公司是否是上市公司