型別檢測真的是很深奧的技術