验证特点：字符串内置谓词，\is_pstring，\membership

标注说明：函数前条件：描述函数入口处的字符串以及待查找字符的性质；
　　　　　函数后条件：（1）函数返回值等于 NULL（0），则 src 所指字符串中不存在字符 ch；
　　　　　　　　　　　（2）函数返回值不等于NULL，则 src 所指字符串中存在字符 ch，且指向字符串 src 中第一次出现字符 ch 的位置。