PHP基础知识中，strok函数是一个非常实用的字符串分隔函数，它的使用相对简单，可以快速帮我们处理字符串中的分隔符问题。下面将详细介绍strok函数的语法和使用方法。

strok函数的语法如下：

mixed strtok ( string $str , string $token )

其中，$str表示需要分隔的字符串，$token则表示用于分隔字符串的分隔符，函数返回分隔后的字符串部分。

下面以实际例子来说明如何使用strok函数：

$string = "Hello,world! How are you?";
$token = ",";
$part1 = strtok($string, $token);
$part2 = strtok($token);
echo $part1;  // 输出Hello
echo $part2;  // 输出world!

在上面的例子中，我们用逗号作为分隔符对字符串进行分隔，分隔的结果为Hello和world!。通过两个strtok的调用，我们分别获取到了这两个结果。

为了让大家更好地了解strok函数，我们将深入探讨它的几个重点用法：

1. 指定多个分隔符

在实际应用中，单一分隔符的情况并不多。strok函数也允许我们指定多个分隔符，来对字符串进行划分。

$string = "Hello,world! How are you?";
$token = ",!";
$part1 = strtok($string, $token);
$part2 = strtok($token);
echo $part1;  // 输出Hello
echo $part2;  // 输出world

在上面的例子中，我们指定了两个分隔符: 逗号和感叹号。strok函数会分别按照这两个分隔符对字符串进行划分。

2. 置空分隔符

在strok函数中，如果将分隔符参数置空，那么函数就会走到下一个分隔符。这种用法可以用于遍历整个字符串中的所有单词。

$string = "Hello, world! How are you?";
$token = " ";
$part1 = strtok($string, $token);
while ($part1 !== false) {
echo $part1 . "<br>";
$part1 = strtok($token);
}

上面的代码可以输出下面的结果：

Hello,
world!
How
are
you?

3. 二维数组作为分隔符

如果需要使用多个分隔符进行分隔，又不希望分隔符在结果中出现，可以考虑使用二维数组作为分隔符。这样分隔符就不会出现在结果中。

$string = "Hello, world! How are you?";
$token = [[' ', '!'], ','];
$part1 = strtok($string, $token);
while ($part1 !== false) {
echo $part1 . "<br>";
$part1 = strtok($token);
}

上面的代码可以输出以下结果：

Hello
world
How
are
you

总的来说，strok函数是PHP函数库中的一个十分重要的函数。在字符串分隔和处理中，常常需要用到它。在实际开发中，只要掌握了strok的基本用法，我们就可以轻松处理各种字符串分隔问题。