strlen函数用于获取字符串的长度。它的语法是：
strlen(string $string): int
其中，$string是要获取长度的字符串，返回值是一个整数，表示字符串的长度。
例子：
在上述例子中，字符串"Hello World!"的长度是12个字符，所以输出结果是12。