这样是可以的，没啥问题。函数模板相当于一个函数/类生成器，条件不足的时候根据返回值参数啥的推导出type，如果条件足够，不用推倒，语法当然也可以，只是定义个type没啥意义，你可以自己敲出来试试
当然可以，没有规定参数类型和返回值类型必须是模板类型。
