请编写函数，按 hh:mm:ss.ss 的格式输出时间。 函数原型 void TimeOutput(int hour, int minute, double second); 说明：hour、minute 和 second 分别为时数、分数和秒数，函数将按 hh:mm:ss.ss 的格式显示时间。输入样例 8 10 5.5 输出样例 08:10:05.50

以下是函数的代码实现：

void TimeOutput(int hour, int minute, double second) {
printf("%02d:%02d:%05.2f", hour, minute, second);
}

在这个函数中，我们使用了 printf 函数来输出时间。%02d 表示输出一个两位数的整数，不足两位时在前面补零；%05.2f 表示输出一个五位数的浮点数，其中小数点后保留两位小数，不足五位时在前面补零。这样就可以按照 hh:mm:ss.ss 的格式输出时间了。

对于输入样例 8 10 5.5，函数的输出结果为 08:10:05.50。