Analyse approfondie de la fonction strpos en PHP

<?php
/* strpos示例 */

// test
echo &#39;match:&#39;, strpos(&#39;xasfsdfbk&#39;, &#39;xasfsdfbk&#39;) !== false ? &#39;true&#39; : &#39;false&#39;, &#39;;&#39;, PHP_EOL;
echo &#39;match:&#39;, strpos(&#39;xasfsdfbk&#39;, &#39;fbk&#39;) !== false ? &#39;true&#39; : &#39;false&#39;, &#39;;&#39;, PHP_EOL;
echo &#39;match:&#39;, strpos(&#39;xasfsdfbk&#39;, &#39;xs&#39;) != false ? &#39;true&#39; : &#39;false&#39;, &#39;;&#39;, PHP_EOL;
echo &#39;match:&#39;, strpos(&#39;xasfsdfbk&#39;, &#39;sfs&#39;) !== false ? &#39;true&#39; : &#39;false&#39;, &#39;;&#39;, PHP_EOL;

// code
strpos(&#39;xasfsdfbk&#39;, &#39;sfs&#39;);

PHP_FUNCTION(strpos)
{
    zval *needle;
    zend_string *haystack;
    char *found = NULL;
    char  needle_char[2];
    zend_long  offset = 0;

#ifndef FAST_ZPP
    if (zend_parse_parameters(ZEND_NUM_ARGS(), "Sz|l", &haystack, &needle, &offset) == FAILURE) {
        return;
    }
#else
    ZEND_PARSE_PARAMETERS_START(2, 3)
        Z_PARAM_STR(haystack)
        Z_PARAM_ZVAL(needle)
        Z_PARAM_OPTIONAL
        Z_PARAM_LONG(offset)
    ZEND_PARSE_PARAMETERS_END();
#endif

    if (offset < 0) {
        offset += (zend_long)ZSTR_LEN(haystack);
    }
    if (offset < 0 || (size_t)offset > ZSTR_LEN(haystack)) {
        php_error_docref(NULL, E_WARNING, "Offset not contained in string");
        RETURN_FALSE;
    }

    if (Z_TYPE_P(needle) == IS_STRING) {
        if (!Z_STRLEN_P(needle)) {
            php_error_docref(NULL, E_WARNING, "Empty needle");
            RETURN_FALSE;
        }

        found = (char*)php_memnstr(ZSTR_VAL(haystack) + offset,
                            Z_STRVAL_P(needle),
                            Z_STRLEN_P(needle),
                            ZSTR_VAL(haystack) + ZSTR_LEN(haystack));
    } else {
        if (php_needle_char(needle, needle_char) != SUCCESS) {
            RETURN_FALSE;
        }
        needle_char[1] = 0;

        found = (char*)php_memnstr(ZSTR_VAL(haystack) + offset,
                            needle_char,
                            1,
                            ZSTR_VAL(haystack) + ZSTR_LEN(haystack));
    }

    if (found) {
        RETURN_LONG(found - ZSTR_VAL(haystack));
    } else {
        RETURN_FALSE;
    }
}

#define php_memnstr zend_memnstr /* 338 line*/

/*
 * 此函数的作用是在haystack中查找needle,如果不存在返回null,如果存在，返回指向haystack中needle头字符的指针
 */
zend_memnstr(const char *haystack, const char *needle, size_t needle_len, const char *end)
{
    const char *p = haystack;
    const char ne = needle[needle_len-1];
    ptrdiff_t off_p;
    size_t off_s;

    if (needle_len == 1) {
        return (const char *)memchr(p, *needle, (end-p));
    }

    off_p = end - haystack;
    off_s = (off_p > 0) ? (size_t)off_p : 0;

    if (needle_len > off_s) {
        return NULL;
    }

    if (EXPECTED(off_s < 1024 || needle_len < 3)) {
        // 第一个优化，只查找end - needle_len次
        end -= needle_len;

        while (p <= end) {
            // 第二个优化，先判断字符串的开头和结尾是否一样再判断整个字符串
            if ((p = (const char *)memchr(p, *needle, (end-p+1))) && ne == p[needle_len-1]) {
                if (!memcmp(needle, p, needle_len-1)) {
                    return p;
                }
            }

            if (p == NULL) {
                return NULL;
            }

            p++;
        }

        return NULL;
    } else {
        return zend_memnstr_ex(haystack, needle, needle_len, end);
    }
}

/*
头文件：#include <string.h>

定义函数：void * memchr(const void *s, char c, size_t n);

函数说明：memchr()从头开始搜寻s 所指的内存内容前n 个字节，直到发现第一个值为c 的字节，则返回指向该字节的指针。

返回值：如果找到指定的字节则返回该字节的指针，否则返回0。
*/

#ifndef __HAVE_ARCH_MEMCHR
void *memchr(const void *s, int c, size_t n)
{
    const unsigned char *p = s;
    while (n-- != 0) {
            if ((unsigned char)c == *p++) {
            return (void *)(p - 1);
        }
    }
    return NULL;
}
EXPORT_SYMBOL(memchr);
#endif

/* 字符串函数memcmp
   原型：extern int memcmp(void *buf1, void *buf2, unsigned int count); 
   功能：比较内存区域buf1和buf2的前count个字节
   说明：当buf1<buf2时，返回值<0 　
   　     当buf1=buf2时，返回值=0 　　
         当buf1>buf2时，返回值>0                                        
*/
#ifndef __HAVE_ARCH_MEMCMP
#undef memcmp
__visible int memcmp(const void *cs, const void *ct, size_t count)
{
    const unsigned char *su1, *su2;
    int res = 0;

    for (su1 = cs, su2 = ct; 0 < count; ++su1, ++su2, count--)
        if ((res = *su1 - *su2) != 0)
            break;
    return res;
}
EXPORT_SYMBOL(memcmp);
#endif