实体法和程序法的功能和作用