PLC的漏型和源型的理解