having和exist