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;
}