字符串字符匹配
函数 mystrpbrk(const char* str1, const char* str2) 检索字符串 str1 中第一个匹配字符串 str2 中字符的字符，不包含空结束字符。若找不到则返回空指针。（验证时间约14sec）
[Back to Index]
验证特点：字符串内置谓词，\is_pstring，\membership
标注说明：函数前条件：描述函数入口处 str1 和 str2 分别指向的长度为 m 和 n 的物理字符串；
函数后条件：若字符串 str1 中不存在 str2 中的字符，则函数返回 NULL；否则，返回字符串 str1 中第一次出现 str2 中字符的位置。
程序样例 
