C 如果字符串没有null终止符，如何返回null

这是我第一次在这里发帖，如果我做错了，很抱歉

我有一个C程序，它分配一个池，然后在内存中存储一个字符数组“helloworld”，然后检索它。我的main方法中的一行代码如下：

store(pool, 50, sizeof(str) - 1, str);

（我的存储方法变量是（Pool*Pool、int offset、int size、void*object）

如果我读的是正确的，则分配的池比字符串大小小1，因此\0的剪切将在末尾

如何检查字符是否缺少结尾并因此返回null

/* _POOL - pool 
 * int size - the size of the pool in bytes
 * void* ipPool - pointer to memory malloc'd by the operating system 
 */

typedef struct _POOL
{
    int size;
    void* memory;
} Pool;

/* Allocate a memory pool of size n bytes from system memory (i.e., via malloc()) 
 * and return a pointer to the filled data Pool structure */
Pool* allocatePool(int n)
{
    if(n <= 0)
    {
            return NULL;
    }

    Pool *pool = malloc(sizeof *pool);

    if(!pool)
    {
            return NULL;
    }

    pool->size = n;

    if(!(pool->memory = malloc(n)))
    {
            return NULL;
    }

    return pool;
};

/* Free a memory pool allocated through allocatePool(int) */
void freePool(Pool *pool)
{
    if(!pool)
    {
             return;
    }

    if(pool->memory)
    {
            free(pool->memory);
    }

    free(pool);
};

/* Store an arbitrary object of size n bytes at
 * location offset within the pool */
void store(Pool *pool, int offset, int size, void *object)
{
    if(!pool)
    {
            return;
    }

    if(size + offset > pool->size)
    {
            return;
    }

    memcpy(pool + offset, object, size);
};

/* Retrieve an arbitrary object of size n bytes 
 * from a location offset within the pool */
void *retrieve(Pool *pool, int offset, int size)
{
    if(!pool)
    {
            return NULL;
    }

    void *obj = malloc(size);

    if(!obj)
    {
            return NULL;
    }

    if(size + offset > pool->size)
    {
            return NULL;
    }

    return memcpy(obj,  pool + offset, size);
};

void main()
{
    const int poolSize = 500;
    Pool* pool;
    int x = 5;
    char c = 'c';
    char str[] = "Hello World";

    /* Should retrieve Hello World */
    store(pool, 8, sizeof(str), str);
    printf("Test 4: Store an arbitrary multi-byte value\n");
    printf("\tStored: %s\n", str);
    printf("\tRetrieves: %s\n", (char*)retrieve(pool, 8, sizeof(str)));

    /* Should retrieve null */
    store(pool, 50, sizeof(str) - 1, str);
    printf("Test 5: Store an arbitrary multi-byte value with no null terminator\n");
    printf("\tStored: %s\n", str);
    printf("\tRetrieves: %s\n", (char*)retrieve(pool, 50, sizeof(str) - 1));
};

/*\u池-池
*int size—池的大小（以字节为单位）
*void*ipPool-指向操作系统指定的内存malloc'd的指针
*/
类型定义结构池
{
整数大小；
空*内存；
}水池；
/*从系统内存中分配大小为n字节的内存池（即，通过malloc（）
*并返回指向已填充数据池结构的指针*/
池*分配池（int n）
{
如果（n尺寸=n；
如果（！（池->内存=malloc（n）））
{
返回NULL；
}
回流池；
};
/*释放通过allocatePool（int）分配的内存池*/
无效自由池（池*池）
{
如果（！池）
{
回来
}
如果（池->内存）
{
空闲（池->内存）；
}
免费（游泳池）；
};
/*将大小为n字节的任意对象存储在
*池中的位置偏移*/
空存储（池*池、整数偏移量、整数大小、空*对象）
{
如果（！池）
{
回来
}
如果（大小+偏移>池->大小）
{
回来
}
memcpy（池+偏移量、对象、大小）；
};
/*检索大小为n字节的任意对象
*从池中的位置偏移开始*/
void*retrieve（池*Pool，整数偏移量，整数大小）
{
如果（！池）
{
返回NULL；
}
void*obj=malloc（尺寸）；
如果（！obj）
{
返回NULL；
}
如果（大小+偏移>池->大小）
{
返回NULL；
}
返回memcpy（对象、池+偏移量、大小）；
};
void main（）
{
const int poolSize=500；
游泳池*游泳池；
int x=5；
字符c='c'；
char str[]=“你好，世界”；
/*应该检索Hello World*/
商店（游泳池，8号，大小（str），str）；
printf（“测试4：存储任意多字节值\n”）；
printf（“\t存储：%s\n”，str）；
printf（“\tRetrieves:%s\n”，（char*）检索（pool，8，sizeof（str））；
/*应检索空值*/
商店（50号游泳池，面积1平方米）；
printf（“测试5：存储没有空终止符的任意多字节值\n”）；
printf（“\t存储：%s\n”，str）；
printf（“\tRetrieves:%s\n”，（char*）检索（池，50，sizeof（str）-1））；
};

是我认为涉及的所有代码。这是当前放入Hello World并检索Hello World的代码

---

我无法编辑任何主方法，只能编辑函数和结构的内容。

如果删除了尾随的空字符，则删除了编码字符串长度的唯一信息。无法查询分配的块的大小。

这是因为终止零是C对字符串长度的编码方式。其他语言的运行时使用不同的方法，比如将字符串长度（作为字节或单词）存储在字符串引用变量（例如Delphi）指向的第一个字节中

因此无法检测尾部null是否丢失。如果有，您可以搜索它。如果没有，您的搜索将不可避免地访问字符串最后一个字节后面的内存位置，并且无法正常工作

---

由于对空字符的搜索（或扫描）正是strlen所做的，因此您当然不能使用strlen。

这说明了如何测试是否存在字符串终止符

#include <stdio.h>

char *pool(char *str, size_t size)
{
    size_t i;
    for(i=0; i<size; i++) {
        if(str[i] == '\0') {
            return str;
        }
    }
    return NULL;
}

int main(void)
{
    char str[] = "Hello World";
    char xyz[11] = "Hello World";

    if(pool(str, sizeof str) == NULL) {
        printf("No terminator\n");
    }
    else {
        printf("'%s' is good!\n", str);
    }

    if(pool(xyz, sizeof xyz) == NULL) {
        printf("No terminator\n");
    }
    else {
        printf("'%s' is good!\n", xyz);
    }
    return 0;
}

在第一种情况下，

str

自动调整大小，并包括

'\0'

终止符

在第二种情况下，

xyz

已定义数组大小，因此没有空间放置任何终止符

#include <stdio.h>

char *pool(char *str, size_t size)
{
    size_t i;
    for(i=0; i<size; i++) {
        if(str[i] == '\0') {
            return str;
        }
    }
    return NULL;
}

int main(void)
{
    char str[] = "Hello World";
    char xyz[11] = "Hello World";

    if(pool(str, sizeof str) == NULL) {
        printf("No terminator\n");
    }
    else {
        printf("'%s' is good!\n", str);
    }

    if(pool(xyz, sizeof xyz) == NULL) {
        printf("No terminator\n");
    }
    else {
        printf("'%s' is good!\n", xyz);
    }
    return 0;
}

---

由于内存池是一个自由形式的池，如果他们去掉返回的空字符，这是他们自己的错。但是，由于您只是在

检索

中复制对象，您可以自己添加一个额外的空终止符：

void *obj = malloc(size + 1);
*((char*)(obj) + size) = 0; // add the null character

---

有了这一点，即使最终用户决定去掉一个空终止符，最终也会出现一个空终止符，它通常会出现在正确的位置，因此不会造成无休止的遍历错误，否则如果没有空终止符，就会出现这种错误。

如果显示源代码，请确保它是一个简单的自包含示例。您可以r示例只是一个调用函数的一行程序，我们只知道该函数的签名。您是如何将内存池点分配到的？不大可能

sizeof（str）-1

有用，更有可能是

strlen（str）+1

但是如果缺少尾随的空字符，strlen将失败。@当然是。OP应该只查看作为length

sizeof（str）传递的数组

要查看它是否有

nul

@Dylzan，你能给我们你得到的函数契约，把它们作为注释写在你代码中的函数上面吗？这与在C程序和Linux

man

页面中的

/

注释中找到的信息相同。对不起，这应该是一个解引用。编辑答案。Fi修正它-它需要池的大小。事实上，我误读了你的问题，并查看了

检索

的代码，意识到额外的字节实际上应该添加到那里。但是如果访问最后一个元素，会发生什么事？除了t之外，如果不分配额外的元素，你最终将访问未分配的内存位置每个元素中都有一个额外的字节。如果每个元素（或给每个ekem的数据加上一个额外的零）一开始就很容易存储每个元素的长度，那么为什么要这么麻烦呢

#include <stdio.h>

char *pool(char *str, size_t size)
{
    size_t i;
    for(i=0; i<size; i++) {
        if(str[i] == '\0') {
            return str;
        }
    }
    return NULL;
}

int main(void)
{
    char str[] = "Hello World";
    char xyz[11] = "Hello World";

    if(pool(str, sizeof str) == NULL) {
        printf("No terminator\n");
    }
    else {
        printf("'%s' is good!\n", str);
    }

    if(pool(xyz, sizeof xyz) == NULL) {
        printf("No terminator\n");
    }
    else {
        printf("'%s' is good!\n", xyz);
    }
    return 0;
}