C语言里面局部变量和临时变量有什么区别？

Question

int f()
{
    int a = 10;
    return a;
  }

书上是这么写的“函数返回一个值相当于定义一个和返回值类型相同的临时变量并用return后面的表达式来初始化。”
我理解的是a是一个局部变量，f执行完return后，a就没了。但是函数f执行完之后会return一个临时变量去计算一次，用一次就扔了。
所以局部变量和临时变量的生命周期是不一样的。
同学给我讲的是这两个是一个东西，都是栈上面的变量。

希望回答者能总结一下C语言里面变量的分类。
产生这个问题的原因是我无法记忆linux里面ELF文件中bss段存储的变量到底是什么。。我觉得我对变量的类别没有一个清楚的认识。

Answer 1

C 有下面几个storage class specifier:

typedef
extern
static
_Thread_local
register

其中，除了 typedef （放在这里仅仅是为了描述语法方便），其它几个（配合变量声明的位置）描述了的变量的 linkage 和 storage duration。但是 storage class specifier 跟 linkage / storage duration 并不是一一对应的。

linkage:

linkage 有三种，exteranl, internal，none 。

linkage 用于描述多次相同的声明是否描述同一个变量。

external linkage 的变量表明在不同源文件（实际应为 translation unit）声明的同名变量（包括 linkage 与 type 都相同，下同）为同一个变量。通常使用 extern 声明。

internal linkage 的变量表明在不同源文件中的同名变量为不同的变量，但是同一个源文件中的多次声明为同一个变量。

no linkage 表明变量的每一个声明（即使同名）都是不同的变量。没有 extern 修饰的局部变量都是 no linkage

storage duration:

storage duration 是对象(object)的生存期：有四种：static, thread, automatic, allocated 。

static: 在整个程序的周期存在。全局变量，external linkage 变量，static 变量，等等都是 static storage duration。

thread: 在每个线程的存在周期存在。每个线程有自己不同的副本。使用 _Thread_local 声明。

automatic: 一般的局部变量。在定义域内存在，离开定义域则声明周期结束。

allocated: 使用 malloc 等动态内存管理函数创建的对象。他们没有自己对应得变量。但是通常他们得地址会存在一个变量中。

C++ 的跟这个相似但是并不相同。

---

“函数返回一个值相当于定义一个和返回值类型相同的临时变量并用return后面的表达式来初始化。

这个是描述 C++ 的，不是 C 。C++ 由于有类，所以比较复杂。另外，在 C++ 里，这个叫临时对象，而不是临时变量。

C 的 return 直接返回一个值。

C++ 一定要明确此处出翔的临时对象，因为在 C++ 里临时对象的创建与销毁会带来副作用（会调用构造与析构函数）。

---

产生这个问题的原因是我无法记忆linux里面ELF文件中bss段存储的变量到底是什么。。我觉得我对变量的类别没有一个清楚的认识。

bss 是放(全局)未初始化变量的。局部变量不会进 bss 。