如何在C语言中实现通用的只读指针参数宏？

想要实现一个宏readonly_ptr(T)，传入类型T时返回适合函数参数的只读指针类型，示例如下：

void foo( readonly_ptr(char) str )
{
    // 只能读取str，无法修改
}

但当前实现仅对简单类型有效：

#define readonly_ptr(T) \
const typeof(T)*

存在以下问题：

• 对数组指针类型（如int(*)[10]），生成int(*const*)[10]，仍可修改数组内容：

void foo( readonly_ptr(int(*)[10]) arr )
{
    (**arr)[0] = 1; // 仍能修改数组元素
}

• 对指针类型（如char*），生成char *const*，仍可修改底层char数据。

尝试过用const void*作为只读参数，但它可被合法转换为可修改类型，因此询问：

1. 是否存在能保证参数只读的宏实现方式？
2. 若没有，是否有其他无需每次指定精确类型就能确保函数不修改参数的方法？

1. 递归添加全层级const的宏（依赖GCC扩展） #

核心需求是对传入类型的所有可修改层级添加const限定，同时可选地限制指针本身不可修改。利用GCC的typeof扩展可以实现通用的深层const添加：

禁止修改指针本身+所有底层数据

#define _ADD_CONST(T) typeof(const T)
#define readonly_ptr(T) _ADD_CONST(T)* const

测试效果：

• readonly_ptr(char) → const char* const：既不能修改指针本身（如str++），也不能修改指向的char。
• readonly_ptr(char*) → const char* const* const：指针本身不可修改，指向的const char*不可修改，底层char也不可修改。
• readonly_ptr(int(*)[10]) → const int(*const)[10]* const：指针本身不可修改，指向的数组指针不可修改，数组元素也不可修改，彻底阻止(**arr)[0] = 1这类操作。

允许修改指针本身，但禁止修改底层数据

如果不需要限制指针本身的移动（如arr++），可以去掉最后的const：

#define _ADD_CONST(T) typeof(const T)
#define readonly_ptr(T) _ADD_CONST(T)*

2. 基于_Generic的类型匹配宏 #

如果需要针对特定类型做精确控制，可以用C11的_Generic特性手动枚举常见类型：

#define readonly_ptr(T) \
    _Generic((T){0}, \
        char: const char* const, \
        char*: const char* const* const, \
        int: const int* const, \
        int(*)[10]: const int(*const)[10]* const, \
        default: const typeof(T)* const \
    )

这种方式可以对特定类型定制const规则，但需要手动维护类型列表，通用性稍弱。

3. 关于const void*的补充说明 #

const void*虽然可以被强制转换为可修改类型，但如果原指针指向的是const对象，这种转换后的修改操作属于未定义行为。从编程规范角度应禁止此类转换，但语言本身无法完全阻止编译期后的强制转换。若需要编译期强制检查，仍需使用带具体const限定的类型。

4. C++环境下的替代方案 #

如果代码可以切换到C++，可以用模板实现更优雅的深层const控制：

#include <type_traits>

template<typename T>
using readonly_ptr = const std::add_const_t<T>* const;

或者使用C++17的std::experimental::propagate_const自动传播const限定，进一步简化类型处理。

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