最近看代码，看到这一行，针对这个冒号表示没有办法理解： Double 是重写的的double型 mantissa是一个结构体中的成员，
a和b都是声明出来的结构体变量，
sub_是写的减法函数
return Double({mantissa: sub_(a.mantissa, b.mantissa)});
使用冒号进行初始化