使用strtok解析非空终止字节数组获取首个token是否合规？

你给出的代码示例如下：

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

int main(void) {
     int a = 0x44434241;
     char *pt = strtok ((void *)&a, "C");
     printf("%s\n", pt);

     return 0;
}

程序运行输出AB，但这种用法并不是解析字节数组获取首个token的正确方式，以下是具体分析和替代方案：

1. 为什么这种方式不正确？ #

虽然这次运行出了预期结果，但本质属于未定义行为：

• strtok 是为处理C风格字符串（即以'\0'空字符结尾的字符序列）设计的函数。你的int a对应的字节序列（小端系统下是0x41('A'), 0x42('B'), 0x43('C'), 0x44('D')）并没有空终止符，strtok会持续扫描内存直到找到分隔符或空字符——这次碰巧在int之后的内存区域刚好有'\0'，才让printf输出了AB，但换个环境或内存布局可能会输出乱码甚至崩溃。
• strtok会直接修改输入的内存：它找到分隔符后会把该位置替换为'\0'，这里相当于修改了int a的字节值，破坏了原变量的完整性。

至于你提到的手册里没明确要求传入空终止字符串，是因为strtok属于C标准库中处理字符串的函数，而C语言标准里定义的"字符串"就是空终止的字符序列，这是这类函数的隐含前提，手册不会特意重复这个基础定义。

2. 解析字节数组获取首个token的正确实现方式 #

如果要处理无空终止的字节数组，应该自己实现一个安全的函数，不依赖strtok的字符串假设。以下是两种可行方案：

方案1：自定义函数返回token的起始指针和长度（不修改原数组） #

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

// 查找字节数组中的首个token，返回token起始指针，token长度存入len
const char* get_first_token(const char* arr, size_t arr_len, char delim, size_t* len) {
    if (!arr || arr_len == 0 || !len) return NULL;

    // 跳过开头的分隔符（如果需要的话）
    size_t start = 0;
    while (start < arr_len && arr[start] == delim) {
        start++;
    }
    if (start >= arr_len) {
        *len = 0;
        return NULL;
    }

    // 找到第一个分隔符的位置
    size_t end = start;
    while (end < arr_len && arr[end] != delim) {
        end++;
    }

    *len = end - start;
    return arr + start;
}

int main(void) {
    int a = 0x44434241;
    size_t token_len;
    const char* token = get_first_token((const char*)&a, sizeof(a), 'C', &token_len);

    if (token) {
        // 用printf的精度控制输出指定长度的字节，避免依赖空终止
        printf("%.*s\n", (int)token_len, token);
    }

    return 0;
}

方案2：临时复制字节数组并手动添加空终止符（适合小数组） #

如果数组长度不大，可以复制到缓冲区并添加'\0'，再用strtok或strchr处理：

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

int main(void) {
    int a = 0x44434241;
    size_t arr_len = sizeof(a);
    char* buf = malloc(arr_len + 1);
    if (!buf) return 1;

    memcpy(buf, &a, arr_len);
    buf[arr_len] = '\0'; // 添加空终止符

    char* pt = strtok(buf, "C");
    if (pt) {
        printf("%s\n", pt);
    }

    free(buf);
    return 0;
}

内容的提问来源于stack exchange，提问作者budoattack