c++中怎么将unix时间戳转换为标准时间，有函数吗

c++中如何将unix时间戳转换为标准时间，有函数吗
比如现在有一个整数12345678，
如何将其转化为系统时间，格式为20121015171856 年月日时分秒

[解决办法]

C/C++ code

#include <stdio.h>#include <time.h>int main(void){        time_t tick;        struct tm tm;        char s[100];        tick = time(NULL);        tm = *localtime(&tick);        strftime(s, sizeof(s), "%Y-%m-%d %H:%M:%S", &tm);        printf("%d: %s\n", (int)tick, s);        return 0;}