C语言中const与销毁责任：含const的b_t_create函数是否可取？

现有两种结构体类型a_t和b_t，其中b_t的一个字段是指向a_t实例的指针。目前已实现b_t的创建与销毁函数如下：

b_t* b_t_create(a_t* a_t_instance) {
   b_t_instance = (b_t*) malloc(sizeof(b_t));
   b_t_instance.a_t_instance = a_t_instance;
   return b_t_instance;
}

void b_t_destruct(b_t* b_t_instance) {
   free(b_t_instance->a_t_instance);
   free(b_t_instance);
}

从代码逻辑可知，调用b_t_create后，a_t实例的销毁责任会转移给b_t实例，后续由b_t_destruct负责释放a_t实例的内存。

现在的问题是：把b_t_create改写为以下带const修饰并通过强制转换去掉const的版本，这种做法是否可取？

修改后的函数代码：

b_t* b_t_create(const a_t* a_t_instance) {
   b_t_instance = (b_t*) malloc(sizeof(b_t));
   b_t_instance.a_t_instance = (a_t*) a_t_instance;
   return b_t_instance;
}

初看这个修改似乎合理——毕竟b_t_create函数本身确实没有修改传入的a_t_instance指向的内容。但实际上这个修改存在严重的潜在问题：

• 函数参数加上const修饰，会给调用者传递错误信号：传入的a_t实例是只读的，后续不会被修改或销毁。但实际情况是，b_t_destruct会直接调用free释放这个a_t实例的内存，完全违背了const的语义。
• 强制去掉const的转换操作，本质是绕过C语言的类型安全检查。如果调用者传入的是真正的const a_t实例（比如用const修饰的全局变量、字符串字面量这类只读内存区域的指针），后续的free操作会触发未定义行为，导致程序崩溃或其他异常。

所以这个修改方案完全不可取。

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