[C/C++] 不常见的关键字（保留字）

restrict关键字

restrict关键字其实是在C语言才有的，是C99提出来的，目前C++还不支持。

当一个指针在声明的作用域内，所有该指针指向的内存区域数据只能通过它访问，而不能通过别的指针。编译器会对此做检查。

这样的后果是帮助编译器进行更好的代码优化，生成更有效率的汇编代码。

由于目前只有C99支持，所以编译命令如下：

gcc -std=c99 test.c -o test.bin

注意：g++不支持-std=c99，并且也不支持restrict关键字

 

例如：

void f(const int *restrict src, int *restrict dst )
{
	*dst = (*src) + 1;
}
int main()
{
	int n = 0;
	f( &n, &n); // 这里编译错误，如果不加restrict关键字，则可以编译通过
	return 0;
}

编译器对restrict的优化

// 由于x和y可能相等，所以编译器无法优化
int foo (int* x, int* y)
{
	*x = 0;
	*y = 1;
	return *x;
}

// 由于x和y不相等，所以编译器知道函数必然返回0，可能将整个函数优化为return 0;甚至可以在调用函数的地方直接用0替代
int foo(int *restrict x, int *restrict y)
{
	*x = 0;
	*y = 1;
	return *x;
}

对于restrict的使用是“君子协议”

// 由于指针的使用是任意性的，restrict不能保证数据不互相覆盖
// 下面这个程序展示了一个重叠内存的copy，这是不能被编译器检测到的。
void mycopy( const void *restrict src, void *restrict dst, int size )
{
    if( size <= 0 || src == NULL || dst == NULL ) return;
    const char* s = ( char* )src;
    char* d = ( char* )dst;
    while( size-- ) *d++ = *s++;
}

int main()
{
    char array[100] = { 0 };
    mycopy( array, array + 10, 50);
    return 0;
}

参考文章

http://blog.sina.com.cn/s/blog_530bce2d0100crxu.html

http://hi.baidu.com/oney131/blog/item/10f71f1f0b5033174034176e.html

 

explicit关键字

阻止不应该允许的经过转换构造函数进行的隐式转换的发生。声明为explicit的构造函数不能在隐式转换中使用。

C++中， 一个参数的构造函数(或者除了第一个参数外其余参数都有默认值的多参构造函数)， 承担了两个角色。 1 是个构造器 2 是个默认且隐含的类型转换操作符。

所以， 有时候在我们写下如 AAA = XXX， 这样的代码， 且恰好XXX的类型正好是AAA单参数构造器的参数类型， 这时候编译器就自动调用这个构造器， 创建一个AAA的对象。

class Test1
{
public:
	Test1(int n) { num = n; } //普通构造函数
private:
	int num;
};

class Test2
{
public:
	explicit Test2(int n) { num = n; } //explicit(显式)构造函数
private:
	int num;
};

int main()
{
	Test1 t1 = 12; //隐式调用其构造函数, 成功
	Test2 t2 = 12; //编译错误,不能隐式调用其构造函数
	Test2 t3(12); //显示调用成功
	return 0;

} 

volatile关键字

volatile关键字是告诉编译器，这个变量是不能优化的，不能随便放到寄存器中缓存，每次都要从内存中重新载入该值。

这常见于多线程环境，一个变量为多个线程公用的时候。