c语言中如何实现十六进制转字符串

请实现一个转换函数void to_hex_string(char* pSrc, char* pDst, int len) 其中,原始二进制数据从pSrc输入,len表示数据的长度,转换后的结果保存到pDst中,pDst指向一个长度足够长的数组变量。 最后,打印该字符串的内容。

#include <stdio.h>
#include <string.h>
void to_hex_string(const char *pSrc, char *pDst, int len)
{
    const char mapping_hex_string[] = "0123456789ABCDEF";
    for (int i = 0; i < len; i++, pSrc++)
    {
    //在其他地方不改动的情况下,这里怎么写
    }
}
int main() {
    char result[100] = {};
    short a = 0x1234;
    to_hex_string((char*)&a, result, sizeof(a));
    printf("a=0x%s\n", result);
    return 0;
}

(C语言不太熟练,望指点一二!)

*pDst++ = mapping_hex_string[*pSrc >> 4]; // 输出高4位
*pDst++ = mapping_hex_string[*pSrc & 0x0f]; // 输出低4