如何在C函数参数中禁止字符串字面量，仅允许动态字符串指针

要在编译时限制messagequeue_add仅接收动态分配的指针、禁止传入字符串字面量，在C89/C99标准下可以通过以下几种方式实现：

方法1：利用编译选项（最简便且兼容标准） #

保持原有函数原型不变，在编译命令中添加-Wwrite-strings选项。结合你已启用的-Werror，当传入字符串字面量时，编译器会直接抛出错误：

error: passing argument 2 of ‘messagequeue_add’ discards ‘const’ qualifier from pointer target type

原理是：字符串字面量在标准中属于const char[]类型，将其隐式转换为char*是已被弃用的行为，-Wwrite-strings会强制编译器对此发出警告，而-Werror会将该警告升级为错误，直接阻断编译。

方法2：类型封装强化语义 #

定义一个语义化的类型别名，明确标记参数需要动态分配的指针，同时利用const转换的警告机制实现检查：

// 定义类型别名，明确表示这是动态分配的char指针
typedef char* dynamic_char_ptr;

// 修改函数原型
int messagequeue_add(messagequeue_t *p_queue, dynamic_char_ptr p_msg, const size_t p_size);

• 合法调用：动态分配的指针可以直接传递，因为char*与dynamic_char_ptr是兼容类型：

  char *msg = malloc(100);
  messagequeue_add(my_queue, msg, 100);
  

• 非法调用：传入字符串字面量时，编译器会因const char*转dynamic_char_ptr（即char*）丢弃const限定符而发出警告，配合-Werror直接报错。

你还可以封装一个宏来强化调用时的语义：

#define DYNAMIC_PTR(ptr) ((dynamic_char_ptr)(ptr))
// 调用示例
messagequeue_add(my_queue, DYNAMIC_PTR(msg), 100);

方法3：借助void*参数与编译选项 #

将p_msg参数改为void*类型，函数内部再转换为char*：

// 修改后的函数原型
int messagequeue_add(messagequeue_t *p_queue, void *p_msg, const size_t p_size);

// 函数内部转换
char *msg = (char*)p_msg;

此时传入字符串字面量（const char*）会触发-Wcast-qual警告（该选项已包含在你启用的-Wextra中），配合-Werror直接转为错误。这种方法不需要大幅修改调用逻辑，同时利用已有编译选项完成检查。

补充说明 #

C89/C99标准本身没有原生语法可以完全区分动态分配指针和字符串字面量（两者底层类型均为指针），上述方案都是利用编译器的警告机制和类型系统特性，实现编译时的强制检查。

内容的提问来源于stack exchange，提问作者François Cerbelle