C语言中虽然没有字符串类型，但可以通过字符数组，字符指针，字符串常量来表示字符串，并且标准C库提供众多字符串操作相关的函数，请您写出4个常用的字符串库函数函数原型，并且说明一下他们的功能及所在的头文件。

C语言中常用的字符串库函数有很多，以下是其中4个常用的函数及其原型、功能和所在头文件：

1. strlen函数

函数原型：

size_t strlen(const char *str);

功能：计算字符串的长度。该函数返回一个size_t类型的值，表示字符串中字符的个数，不包括字符串结束符'\0'。

头文件：string.h

2. strcpy函数

函数原型：

char *strcpy(char *dest, const char *src);

功能：将一个字符串复制到另一个字符串中。该函数返回一个指向目标字符串的指针。

头文件：string.h

3. strcat函数

函数原型：

char *strcat(char *dest, const char *src);

功能：将一个字符串追加到另一个字符串的末尾。该函数返回一个指向目标字符串的指针。

头文件：string.h

4. strcmp函数

函数原型：

int strcmp(const char *str1, const char *str2);

功能：比较两个字符串的大小。如果str1小于str2，返回一个负整数；如果str1等于str2，返回0；如果str1大于str2，返回一个正整数。

头文件：string.h

以上4个函数是C语言中常用的字符串库函数，可以在编写字符串相关的程序时使用。