如何通过C预处理器将不可变性设为默认行为

我认为数据不可变性的益处大于隐式可变限定符带来的不便，因此它应成为默认行为。我了解部分函数式语言及Rust均采用此类类型设计。但我无法找到通过C预处理器实现该需求的方法，具体希望实现如下替换：

typename     -> typename const
typename_mut -> typename

我尝试了简单的宏定义：

#define int const int
#define int_mut int

但这会让所有内容都变为const，调换顺序也无济于事。我还能采用哪些方法？

更新（补充信息） #

简单版本代码：

#define char const char
#define char_mut char

int main() {
    char_mut integer = 5;
    integer = 6;
}

展开后为：

// gcc -E main.c
// # 0 "main.c"
// # 0 "<built-in>"
// # 0 "<command-line>"
// # 1 "main.c"

int main() {
    const char integer = 5;
    integer = 6;
}

你的问题出在宏的递归展开上——当你定义#define char const char后，预处理器会不断把char替换成const char，导致char_mut最终也被展开成const char。要避免这种递归，可采用以下两种方法：

方法一：分层宏隔离（推荐） #

利用预处理器不会递归展开已替换完成宏的特性，用两层宏隔离替换逻辑：

// 第一步：定义基础类型的不可变版本宏
#define _TYPE_CONST_int const int
#define _TYPE_CONST_char const char
// 可按需添加其他类型，如 float、long 等

// 第二步：定义默认不可变类型与可变类型的宏
#define int _TYPE_CONST_int
#define char _TYPE_CONST_char

#define int_mut int
#define char_mut char

预处理器展开时，int_mut会被替换为int，而int对应的是_TYPE_CONST_int，不会触发递归替换——因为_TYPE_CONST_int中的int不会被再次识别为宏名展开。

测试代码示例：

#define _TYPE_CONST_char const char
#define char _TYPE_CONST_char
#define char_mut char

int main() {
    char_mut c = 'a';
    c = 'b'; // 正常编译，char_mut 展开后为非const的char
    
    char d = 'x';
    // d = 'y'; // 编译报错，char 展开后为 const char
    return 0;
}

用gcc -E预编译后结果符合预期：

int main() {
    char c = 'a';
    c = 'b';
    
    const char d = 'x';
    // d = 'y';
    return 0;
}

方法二：临时取消宏定义 #

在定义typename_mut时，先临时取消原类型的宏定义，完成typename_mut的定义后再恢复原宏：

#define char const char

// 定义char_mut时临时取消char的宏定义
#undef char
#define char_mut char
// 恢复char的不可变宏定义
#define char const char

这种方法可行，但每次定义可变类型都要重复#undef和恢复操作，维护成本较高，不如分层宏简洁。

注意事项 #

• 该方案仅针对显式定义的基础类型有效，对于指针、数组等复合类型，需根据需求调整宏定义（比如默认int*是int* const还是const int*）。
• 不同编译器的宏替换顺序可能有细微差异，建议用gcc -E查看预编译结果验证效果。

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