如何在不修改结构体定义时让函数参数中结构体成员char*指针及数据只读？

首先得明确：当你声明void func(const struct foo* foo_i);时，foo_i->cp的类型是char* const——也就是指针本身不能被重新赋值，但它指向的字符数据还是可以修改的，这确实不是你想要的效果。要同时限制指针指向的数据也只读，有几种可行的方案：

方案1：创建一个带const限定成员的“只读版”结构体类型 #

你可以定义一个平行的结构体，专门用于只读场景，然后在函数中使用这个类型：

// 原结构体保持不变
struct foo {
    // 其他成员...
    char* cp;
};

// 只读版本的结构体，成员cp改为const char*
struct foo_const {
    // 其他成员和struct foo完全一致
    // 其他成员...
    const char* cp;
};

然后函数可以这样声明：

void func(const struct foo_const* foo_i);

调用的时候，只需要做一个强制类型转换（两个结构体内存布局完全一致，这种转换是安全的，符合C标准的类型兼容规则）：

struct foo my_foo;
// 初始化my_foo...
func((const struct foo_const*)&my_foo);

这样在func内部，foo_i->cp的类型就是const char* const——既不能修改指针本身，也不能修改它指向的字符数据，完全符合你的需求，同时原结构体的定义不需要任何改动。

方案2：在函数内部手动转换成员类型 #

如果不想额外定义结构体，也可以在函数内部对cp进行单独的const转换：

void func(const struct foo* foo_i) {
    // 将cp转换为const char* const，后续用这个指针操作
    const char* const cp_readonly = foo_i->cp;
    
    // 现在尝试修改cp_readonly指向的数据会报错：
    // *cp_readonly = 'a'; // 编译错误
    // 尝试重新赋值cp_readonly也会报错：
    // cp_readonly = NULL; // 编译错误
}

这种方法不需要修改函数声明，但依赖函数内部的代码规范——如果有人直接用foo_i->cp去修改数据，还是能编译通过，所以它更偏向于代码约定，而非编译期强制限制。

方案3：晦涩的限定符技巧（不推荐） #

还有一种写法，直接在函数参数中强化const属性，但可读性很差，不建议在实际项目中使用：

void func(struct foo const * const restrict foo_i) {
    // 仍需内部转换cp的类型才能限制数据只读
    const char* cp = foo_i->cp;
    // ...
}

这种写法并没有从根本上改变foo_i->cp的类型，只是强化了结构体指针本身的const属性，本质和方案2类似，不如前两种方案清晰。

总结一下：

• 如果需要编译期强制保证数据只读，方案1是最佳选择，通过平行结构体实现类型安全，同时不改动原结构体定义；
• 如果只是内部代码规范，方案2简单直接，不需要额外定义类型；
• 方案3可读性差，不推荐使用。

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