输入时间秒数（如：4250），转换成时：分：秒的格式

以下是一个C语言程序，它接受用户输入的秒数，并将其转换为时:分:秒的格式：

#include <stdio.h>

void convert_seconds(int total_seconds) {
    int hours, minutes, seconds;

    // 计算小时数
    hours = total_seconds / 3600;
    // 计算剩余的分钟数
    minutes = (total_seconds % 3600) / 60;
    // 剩余的是秒数
    seconds = total_seconds % 60;

    // 打印结果
    printf("%d:%02d:%02d\n", hours, minutes, seconds);
}

int main() {
    int total_seconds;

    // 提示用户输入秒数
    printf("请输入秒数: ");
    scanf("%d", &total_seconds);

    // 调用函数转换并打印
    convert_seconds(total_seconds);

    return 0;
}

解释：
这个程序首先定义了一个函数 `convert_seconds`，它接受一个整数参数 `total_seconds`，然后计算并打印出对应的时间格式。在 `main` 函数中，程序提示用户输入秒数，并使用 `scanf` 读取用户输入的整数。然后调用 `convert_seconds` 函数进行转换和格式化输出。

在这个函数中，首先通过整除 3600 来计算小时数，然后使用模运算符 `%` 来计算剩余分钟数，最后计算剩余的秒数。注意，我们使用 `%02d` 在 `printf` 中格式化输出，这样分钟和秒数始终以两位数显示，不足两位时会在前面补零。