符号与实现桥梁