细说库函数strlen的使用和模拟实现

前言

新手博主，有错望大家指出！会及时更正！

一、strlen的原型

strlen的代码原型如下：

size_t strlen(const char *str);

二、strlen的使用注意点及分析

2.1. strlen以’\0’作为结束标志

字符串以’\0’作为结束标志，strlen函数返回的是在字符串的’\0’前面出现的字符个数（不包含’\0’），参数指向的字符串必须有’\0’，且以’\0’结尾！
如果需要计算的字符串结尾没有’\0’，就会输出随机值，如下：

原本应该输出3，却输出了74这个随机值。
出现随机值的原理是strlen函数从第一个字符’a’开始计数，数到’c’之后没有出现’\0’，则会继续计数，知道遇到内存中的某一个’\0’才会停下。

2.2. 定义字符串时最好初始化

当我们定义一个字符串时，不需要立即初始化它的值时，最好先将字符串初始化为0，以下为不进行初始化和初始化为0的两种输出结果。
1、不进行初始化：

2、初始化为0：

可见，在此场景下，没有进行初始化的字符串，最终输出的字符串长度45是随机值，是不正确的。

2.3. strlen函数的返回值为无符号型size_t

首先问大家一个问题，你认为接下来这个代码的输出结果是什么呢？

#include<stdio.h>
#include<string.h>
int main()
{
	if (strlen("abc") - strlen("abcdef") > 0)
		printf(">\n");
	else 
		printf("<=\n");
	return 0;
}

或许有人会认为结果是<=，但事实上结果是>

原理如下。
文章开头我们知道库函数strlen的返回值是size_t类型的，而size_t类型是无符号类型，因此，两个无符号型数相减得到的还是无符号型数，strlen(“abc”) - strlen(“abcdef”)的结果是无符号的，因此就不存在大于零、等于零、小于零的说法了，结果都是大于零的。
补充：当一个负数成为无符号类型时，通过二进制补码的计算，将会变成一个非常大非常大的无符号数，有兴趣的小伙伴可以了解一下~

三、strlen的三种模拟实现方法

3.1. 计数器的方法

//1、计数器版本
#include<stdio.h>
#include<assert.h>
int my_strlen1(const char* str)
{
	assert(str!=NULL);
	int count = 0;
	while (*str != '\0')
	{
		count++;//计数器
		str++;//使地址前进
	}
	return count;
}
int main()
{
	char arr[] = "abc";
	int len1 = my_strlen1(arr);
	printf("%d\n", len1);
	return 0;
}

形参接收数组的首地址（'a’的地址）
当str的值不是\0时，使count加1，str的地址往前进一，当str的值是\0即停止计算，返回计算结果。

3.2. 递归的方法

//2、递归的版本
#include<stdio.h>
#include<assert.h>
int my_strlen2(const char* str)
{
	assert(str!=NULL);
	if (*str != '\0')
	{
		return 1 + my_strlen2(str + 1);
	}
	else
		return 0;
}
int main()
{
	char arr[] = "abc";
	int len2 = my_strlen2(arr);
	printf("%d\n", len2);
	return 0;
}

形参接收数组的首地址（'a’的地址）
当str的值不是\0时，使返回值+1，并返回到my_strlen2函数，当str的值是\0即返回值为0，返回计算结果。

3.3. 指针相减的方法

//3、指针相减的版本
#include<stdio.h>
#include<assert.h>
int my_strlen3(const char* arr)
{
	assert(arr!=NULL);
	char* str = arr;
	char* end = arr;
	while (*end != '\0')
		end++;
	return end - str;
}
int main()
{
	char arr[] = "abc";
	int len3 = my_strlen3(arr);
	printf("%d\n", len3);
	return 0;
}

首先要明白，两个指针相减，得到的结果是两指针之间的元素数目（实际上是：两指针间总字节数/指针的类型对应的字节数）。
参数接收的是数组的首地址，定义指针str表示首元素地址，指针end表示末尾元素地址，将两个指针相减则得到结果。