const对象默认为文件的局部变量,与其他变量不同,除非特别说明,在全局作用域的const变量时定义该对象的文件局部变量。此变量只存在于那个文件中中,不能别其他文件访问。要是const变量能在其他文件中访问,必须显示的指定extern(c中也是)
当你只在定义该const常量的文件中使用该常量时,c++不给你的const常量分配空间--这也是c++的一种优化措施,没有必要浪费内存空间来存储一个常量,此时const int c = 0;相当于#define c 0;
当在当前文件之外使用时,c++会给你的const分配空间(它是迫不得已)。因为若此时如果不分配空间,则obj中根本就不会有该常量的信息。连接的时候就找不到该常量。同样如果你在程序中取了常量的地址,也回迫使c++给你的常量分配空间。
C++编译器在通常情况下不为常量分配空间,而是将其值存放在符号表内.但当使用extern修饰常量时,则必须立即为此常量分配空间(与之类似的情况还有取常量的地址等等).只所以必须分配空间,是因为extern表示"使用外部链接",这表明还会有其他的编译单元将会使用寻址的方法来引用它,因此它现在就必须拥有自己的地址.
所以如果想在当前文件使用其他文件的const变量时,这个变量就必须定义成:(m.cpp) extern const int aaa = 9999;使用时需要:(main.cpp) extern const int aaa;在c中就不必再定义是加extern,因为始终为const变量分配空间。
const的形参重载:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#include <iostream>
using namespace std;
void f( int & a)
{
cout << "void f(int& a)" << endl;
}
void f( const int & a)
{
cout << "void f(const int& a)" << endl;
}
int main()
{
int a = 6;
int &b = a;
const int c = 8;
f(a);
f(b);
f(c);
f(3);
return 0;
}
|
运行结果:
1
2
3
4
|
void f(int& a)
void f(int& a)
void f(const int& a)
void f(const int& a)
|
C与C++中const的区别
1.C++中的const正常情况下是看成编译期的常量,编译器并不为const分配空间,只是在编译的时候将期值保存在名字表中,并在适当的时候折合在代码中.所以,以下代码:
1
2
3
4
5
6
7
8
9
10
11
12
|
#include <iostream>
using namespace std;
int main()
{
const int a = 1;
const int b = 2;
int array[ a + b ] = {0};
for ( int i = 0; i < sizeof array / sizeof *array; i++)
{
cout << array[i] << endl;
}
}
|
在可以通过编译,并且正常运行.但稍加修改后,放在C编译器中,便会出现错误:
1
2
3
4
5
6
7
8
9
10
11
12
|
#include <stdio.h>
int main()
{
int i;
const int a = 1;
const int b = 2;
int array[ a + b ] = {0};
for (i = 0; i < sizeof array / sizeof *array; i++)
{
printf ( "%d" ,array[i]);
}
}
|
错误消息:
1
2
|
c:/test1/te.c(8): error C2057: 应输入常数表达式
c:/test1/te.c(8): error C2466: 不能分配常数大小为 0 的数组
|
出现这种情况的原因是:
(1)在C中,const是一个不能被改变的普通变量,既然是变量,就要占用存储空间,所以编译器不知道编译时的值.而且,数组定义时的下标必须为常量.
(2)在C语言中:
1
|
const int size;
|
这个语句是正确的,因为它被C编译器看作一个声明,指明在别的地方分配存储空间.但在C++中这样写是不正确的.C++中const默认是内部连接,如果想在C++中达到以上的效果,必须要用extern关键字.
2.C++中,const默认使用内部连接.而C中使用外部连接.
内连接:编译器只对正被编译的文件创建存储空间,别的文件可以使用相同的表示符
或全局变量.C/C++中内连接使用static关键字指定.
外连接:所有被编译过的文件创建一片单独存储空间.一旦空间被创建,连接器必须解决对这片存储空间的引用.全局变量和函数使用外部连接.通过extern关键字声明,可以从其他文件访问相应的变量和函数.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
header.h
const int test = 1;
test1.cpp
#include <iostream>
#include "header.h"
using namespace std;
int main()
{
cout << "in test1 :" << test << endl;
}
test2.cpp
#include <iostream>
#include "header.h"
using namespace std;
void print()
{
cout << "in test2:" << test << endl;
}
|
以上代码编译连接完全不会出问题,但如果把header.h改为:
1
|
extern const int test = 1;
|
在连接的时候,便会出现以下错误信息:
1
|
test2 error LNK2005: "int const test" (?test@@3HB) 已经在 test1.obj 中定义
|
因为extern关键字告诉C++编译器test会在其他地方引用,所以,C++编译器就会为test创建存储空间,不再是简单的存储在名字表里面.所以,当两个文件同时包含header.h的时候,会发生名字上的冲突.
此种情况和C中const含义相似:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
header.h
const int test = 1;
test1.c
#include <stdio.h>
#include "header.h"
int main()
{
printf ( "in test1:%d/n" ,test);
}
test2.c
#include <stdio.h>
#include "header.h"
void print()
{
printf ( "in test2:%d/n" ,test);
}
|
错误消息:
1
2
|
test3 fatal error LNK1169: 找到一个或多个多重定义的符号
test3 error LNK2005: _test 已经在 test1.obj 中定义
|
C++中,是否为const分配空间要看具体情况.
如果加上关键字extern或者取const变量地址,则编译器就要为const分配存储空间.
C++中定义常量的时候不再采用define,因为define只做简单的宏替换,并不提供类型检查