编译器无法对手写的memcmp()进行优化的主要原因是编译器无法将该函数的实现视为内建函数。编译器对内建函数具有特殊优化规则，可以在编译期间对其进行优化。

下面是一个代码示例，演示了为什么编译器无法对手写的memcmp()进行优化：

#include 

int memcmp_manual(const void* s1, const void* s2, size_t n) {
    const unsigned char* p1 = s1;
    const unsigned char* p2 = s2;
    for (size_t i = 0; i < n; ++i) {
        if (p1[i] < p2[i]) {
            return -1;
        } else if (p1[i] > p2[i]) {
            return 1;
        }
    }
    return 0;
}

int main() {
    int arr1[] = {1, 2, 3};
    int arr2[] = {1, 2, 3};
    int result = memcmp_manual(arr1, arr2, sizeof(arr1));
    printf("Result: %d\n", result);
    return 0;
}

上述代码中，memcmp_manual()函数手动实现了比较两个内存块的功能。然而，编译器无法对该函数进行优化，因为它无法在编译期间推断出函数内部的具体实现。

为了解决这个问题，最好的办法是使用标准库中提供的memcmp()函数，因为编译器对标准库函数有特殊的优化规则。标准库函数memcmp()已经被广泛测试和优化过，通常比手写的版本更高效。

代码示例中的memcmp_manual()函数可以替换为标准库函数memcmp()，以便编译器能够对其进行更好的优化：

#include 
#include 

int main() {
    int arr1[] = {1, 2, 3};
    int arr2[] = {1, 2, 3};
    int result = memcmp(arr1, arr2, sizeof(arr1));
    printf("Result: %d\n", result);
    return 0;
}

这样，编译器可以根据标准库函数memcmp()的定义和已知的优化规则对代码进行更好的优化。