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

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