请详细解释strcmp函数在C语言中的正确用法及其实现原理？

`strcmp`函数是C语言标准库中的字符串比较函数，它用于比较两个字符串是否相等。其原型通常定义在`string.h`头文件中，如下所示：

int strcmp(const char* str1, const char* str2);

这里的参数：
- `str1` 和 `str2` 都是指向字符数组的指针，分别表示要比较的两个字符串。

该函数的工作原理是逐个字符进行比较，从第一个字符开始，如果找到两个字符串的第一个不相等的字符，则返回那个字符的ASCII码值差；如果遍历完整个字符串都相等，则说明这两个字符串完全一样，返回0。如果`str1`比`str2`长，并且`str2`已经结束（NULL），则`strcmp`会认为`str1`大于`str2`并返回负数；反之，如果`str1`短于`str2`而没有达到结束，那么返回正数。

正确的用法示例：

#include <stdio.h>
#include <string.h>

int main() {
    char str1[] = "Hello";
    char str2[] = "World";

    if (strcmp(str1, str2) == 0) {
        printf("The strings are equal.\n");
    } else if (strcmp(str1, str2) < 0) {
        printf("str1 is less than str2.\n");
    } else {
        printf("str1 is greater than str2.\n");
    }

    return 0;
}

在这个例子中，由于"Hello"小于"World"，所以会输出"str1 is less than str2."。