extern, static, const 和 inline

在使用 Objective-C 编程的时候,偶尔也会使用到 C 语言的一些特性,extern、static、const 和 inline 这四个关键词是我对于其含义较为模糊的四个关键词,特写一篇笔记用来温习一下。算法

extern

要理解 extern 关键字的做用,首先要明白声明和定义的区别。定义变量时,编译器为该变量分配内存,并可能还将其内容初始化为某个值。声明变量时,编译器要求在其余地方定义变量。声明通知编译器存在由该名称和类型的变量,但编译器不须要为其分配内存,由于它是在其余地方分配的。extern 关键字表示“声明而不定义”。换句话说,它是一种显式声明变量或强制声明而无需定义的方法。编程

必须在程序的一个模块中精肯定义一个变量。 若是没有定义或多于一个定义,则可能在连接阶段产生错误。 变量能够被声明屡次,只要声明彼此一致而且与定义一致(头文件颇有用)。 它能够在许多模块中声明,包括定义它的模块,甚至在同一模块中屡次。 可是在模块中屡次声明它一般是没有意义的。安全

extern 变量也能够在函数内声明。 在这种状况下,必须使用 extern 关键字,不然编译器会将其视为本地(自动)变量的定义,该变量具备不一样的范围,生命周期和初始值。 此声明仅在函数内部可见,而不是在整个函数模块中可见。编程语言

应用于函数原型的 extern 关键字绝对没有任何内容(应用于函数定义的 extern 关键字固然是非语义的)。 函数原型始终是一个声明,而不是一个定义。 此外,在标准 C 中,函数始终是外部的,但某些编译器扩展容许在函数内定义函数。函数

Example:

File 1:优化

// Explicit definition, this actually allocates
// as well as describing
int Global_Variable;

// Function prototype (declaration), assumes 
// defined elsewhere, normally from include file. 
void SomeFunction(void);        

int main(void) {
    Global_Variable = 1;
    SomeFunction();
    return 0;
} 
复制代码

File 2:this

// Implicit declaration, this only describes and
// assumes allocated elsewhere, normally from include
extern int Global_Variable;  

// Function header (definition)
void SomeFunction(void) {       
    ++Global_Variable;
}
复制代码

在此示例中,变量 Global_Variable 在 File 1 中定义。为了在 File 2 中使用相同的变量,必须声明它。 不管文件数量多少,全局变量只定义一次; 可是,它必须在包含定义的文件以外的任何文件中声明。spa

一般的方法是分配和实际定义进入 .c 文件,但仅仅声明和原型不分配,只是描述类型和参数,以便编译器能够正常工做,而且该信息属于 .h 头文件,其余人能够安全地 include 没有任何可能的冲突。prototype

static

在 C 编程语言(及其紧密的后代,如 C++ 和 Objective-C)中,static 是一个保留字,用于控制生命周期(做为静态变量)和可见性(取决于连接)。翻译

在声明变量或函数时做为前缀的 static 关键字可能具备其余效果,具体取决于声明发生的位置。

Static global variable

在源文件的顶层(在任何函数定义以外)声明为 static 的变量仅在整个文件中可见。 在此用法中,关键字 static 称为“访问说明符”。

Static function

相似地,静态函数 - 在源文件的顶层(在任何类定义以外)声明为静态的函数 - 仅在整个文件中可见。

Static local variables

在函数内声明为静态的变量是静态分配的,所以在整个程序执行期间保持其内存单元,同时具备与自动局部变量(auto 和 register)相同的可见范围,这意味着保持函数的本地性。 所以,当一次调用时函数放入其静态局部变量的任何值在再次调用函数时仍然存在。

const

在 C 语言中,const 是类型的一部分,而不是对象的一部分。例如,在 C 中,const int x = 1; 声明一个 const int 类型的对象 x - const 是该类型的一部分,就好像它被解析为“(const int)x”

这有两个微妙的结果。 首先,const 能够应用于更复杂类型的部分 - 例如,int const * const x; 声明一个指向常量整数的常量指针,而 int const * x; 声明一个指向常量整数的变量指针,而且 int * const x; 声明一个指向变量整数的常量指针。 其次,由于 const 是类型的一部分,因此它必须做为类型检查的一部分匹配。

虽然常量在程序运行时不会更改其值,可是在程序运行时,声明为 const 的对象确实可能会更改其值。 一个常见的例子是嵌入式系统中的只读寄存器,如数字输入的当前状态。 数字输入的数据寄存器一般声明为 const 和 volatile。 这些寄存器的内容可能会在程序执行任何操做(volatile)时发生变化,但你也不该该向它们写入(const)。

使用方式

在 C 中,全部数据类型(包括用户定义的数据类型)均可以声明为 const,而 const-correctness 规定全部变量或对象都应该声明为这样,除非须要修改它们。 这种对 const 的主动使用使得值“更容易理解,跟踪和推理”,从而提升了代码的可读性和可理解性,使团队工做和维护代码更简单,由于它传达了有关值的预期用途的信息。 在推理代码时,这能够帮助编译器和开发人员。 它还可使优化编译器生成更高效的代码。

简单的数据类型

对于简单的非指针数据类型,应用 const 限定符很简单。 因为历史缘由,它能够在类型的任何一侧出现(即,const char foo ='a';等同于 char const foo ='a';)。 在某些实现中,在类型的两侧使用 const(例如,const char const)会生成警告但不会生成错误。

指针和引用

对于指针和引用类型,const 的含义更复杂 - 指针自己或指向的值或二者均可以是 const。此外,语法可能使人困惑。指针能够声明为指向可写值的 const 指针,或指向 const 值的可写指针,或指向 const 值的 const 指针。 const 指针不能从新分配以指向与最初分配的对象不一样的对象,但它可用于修改它指向的值(称为指针对象)。所以,引用变量是 const 指针的替代语法。另外一方面,指向 const 对象的指针能够从新分配以指向另外一个内存位置(应该是相同类型或可转换类型的对象),但它不能用于修改它的内存指向还能够声明指向 const 对象的 const 指针,既不能用于修改指针,也不能从新指定指向另外一个对象。如下代码说明了这些细微之处:

void Foo( int * ptr,
          int const * ptrToConst,
          int * const constPtr,
          int const * const constPtrToConst )
{
    *ptr = 0; // OK: modifies the "pointee" data
    ptr  = NULL; // OK: modifies the pointer

    *ptrToConst = 0; // Error! Cannot modify the "pointee" data
    ptrToConst  = NULL; // OK: modifies the pointer

    *constPtr = 0; // OK: modifies the "pointee" data
    constPtr  = NULL; // Error! Cannot modify the pointer

    *constPtrToConst = 0; // Error! Cannot modify the "pointee" data
    constPtrToConst  = NULL; // Error! Cannot modify the pointer
}
复制代码

遵循一般的 C 约定声明,声明遵循使用,而且指针中的 * 写在指针上,表示解除引用。 例如,在声明 int *ptr 中,解除引用的形式 *ptr是一个 int,而引用形式 ptr 是一个指向 int 的指针。 所以 const 将名称修改成右侧。

int *ptr; // *ptr is an int value
int const *ptrToConst; // *ptrToConst is a constant (int: integer value)
int * const constPtr; // constPtr is a constant (int *: integer pointer)
int const * const constPtrToConst; // constPtrToConst is a constant (pointer)
                                   // as is *constPtrToConst (value)
复制代码

inline

在 C 和 C++ 编程语言中,内联函数是使用关键字 inline 限定的函数;这有两个目的。首先,它充当编译器指令,建议(但不要求)编译器经过执行内联扩展替换函数体,即经过在每一个函数调用的地址处插入函数代码,从而节省开销一个函数调用。在这方面,它相似于寄存器存储类说明符,它相似地提供了一个优化提示。内联的第二个目的是改变连接行为;这个细节很复杂。这是必要的,由于 C/C++ 单独的编译+连接模型,特别是由于函数的定义(主体)必须在使用它的全部转换单元中重复,以容许在编译期间内联,若是函数具备外部连接,在连接过程当中致使冲突(它违反了外部符号的惟一性)。

内联函数能够用 C 或 C++ 编写,以下所示:

static inline void swap(int *m, int *n)
{
  int temp = *m;
  *m = *n;
  *n = temp;
}
复制代码

而后,声明以下:

swap(&x, &y);
复制代码

能够被翻译成(若是编译器决定进行内联,一般须要启用优化):

int temp = x;
x = y;
y = temp;
复制代码

当实现执行大量交换的排序算法时,这能够提升执行速度。