C语言中函数如何返回可修改lvalue？结合Linux errno实现的疑问

首先明确：标准C语言里，函数本身不能直接返回可修改的左值，但可以通过「返回指针+宏封装」的技巧，达到让使用者看起来像是函数返回了左值的效果——这正是Linux下线程专属errno的实现方式。

具体实现逻辑（以Linux的errno为例） #

• 第一步：为每个线程分配独立的errno存储。用编译器的线程局部存储扩展（比如GCC的__thread关键字）定义变量，确保每个线程拥有专属的副本：

  __thread int _thread_errno;
  

• 第二步：实现一个函数，返回该线程局部变量的指针：

  int* __errno_location(void) {
      return &_thread_errno;
  }
  

• 第三步：用宏把函数调用和指针解引用封装起来：

  #define errno (*__errno_location())
  

当你写errno = EINVAL;这样的代码时，预处理器会把它展开成：

(*__errno_location()) = EINVAL;

这里__errno_location()返回当前线程专属_thread_errno的指针，解引用后就是可直接修改的左值，完全符合线程安全的需求。

补充说明 #

• 线程局部存储的作用是让每个线程拥有独立的变量副本，避免多线程间的errno互相干扰。C11标准引入了_Thread_local关键字，但Linux下的传统实现用的是GCC扩展的__thread。
• 这种技巧本质是利用宏的语法糖，把「函数返回指针+解引用」的操作隐藏起来，让使用者的代码写法和直接操作普通变量完全一致。

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