对于用fgets函数接受的字符串末尾是'\0'还是'\n'的验证

在写简易shell的时候用到了fgets函数，对于字符串末尾是’\0’还是’\n’存在疑问，在验证一下。

#include<stdio.h>
#include<string.h>
int main(void)
{
    char s[1000];
    fgets(s,1000,stdin);
    int len = strlen(s);
    printf("len = %d\n",len);
    if(s[len] == '\0')
    {
        printf("end is 0\n");
    }
    else if(s[len] == '\n'){
        printf("end is n\n");
    }
    if(s[len-1] == '\n'){
        printf("77777\n");
    }
    return 0;
}

可以看出在字符串的后面先有’\n’再有’\0’，我们输入的是123456，但是字符串长度却是7，是不是把回车也算进去了？
我们在文本中写一串字符串不加回车试试

#include<stdio.h>
#include<string.h>
int main(void)
{
    char s[1000];
    FILE *p=fopen("1.txt","r");
    fgets(s,1000,p);
    int len = strlen(s);
    printf("len = %d\n",len);
    if(s[len] == '\0')
    {
        printf("end is 0\n");
    }
    else if(s[len] == '\n'){
        printf("end is n\n");
    }
    if(s[len-1] == '\n'){
        printf("77777\n");
    }
    return 0;
}

所以，fgets函数在接收字符串后会自动补’\0’。