能详细解释一下strtok函数的作用和用法吗？

`strtok`（tokenize）函数是C语言标准库中的一个字符串处理函数，主要用于将一个字符串分解成一系列的“标记”（tokens），通常用于字符串分割操作。它的基本语法如下：

char* strtok(char* str, const char* delimiter);

这里，`str`是要被分割的原始字符串，`delimiter`是一个分隔符字符串，可以包含多个字符，表示哪些字符会被用来分割字符串。

`strtok`函数的工作原理是这样的：
1. 当首次调用`strtok`时，需要传入原始字符串`str`作为参数，它会在其中找到并删除第一个分隔符后的部分，并返回这一部分的指针。
2. 第二次及后续调用`strtok`时，如果不提供参数，函数会从上一次返回的指针位置开始继续分割，除非遇到字符串的结尾，这时返回NULL。
3. 每次调用`strtok`时，它都会修改原始的`str`，所以如果希望保留原始字符串，应该先复制一份再进行分割。

示例：

char str[] = "This is a; test string";
char* token;

while ((token = strtok(str, "; ")) != NULL) {
    printf("%s\n", token);
}

上述代码会把原始字符串按照`;`和空格分割，打印出每个子串。