const修饰指针
const 修饰指针
可以理解为const限制距离它最近的，即就近原则
1.const修饰指针
const修饰指针又可分为三种情况： const修饰指针本身 const修饰指针所指的变量(或对象) const修饰指针本身和指针所指的变量(或对象) (1).const修饰指针本身 这种情形下,指针本身为常量,不可改变,任何修改指针本身的行为都是非法的.例如:
const int a = 1; const int b = 2; int i = 3; int j = 4; int* const pi = &i; //ok, pi的类型为int* const , &i的类型为int* const int* const pi = &a; //error, pi的类型为int* const, &a的类型为const int* const pi = &j; //error, 指针是常量,不可变 *pi = a; //ok, *pi并没有限定是常量 ,可变
由此看出，pi是常量，常量在初始化和赋值时，类型必须严格一致。也就是 const修饰指针本身时，=号两边的变量类型必须严格一致，否则不能匹配。 (2).const修饰指针指向的变量(或对象) 此种情形下,通过间接引用指针不可改变变量的值,假设指针为p,则*p不可变,下面以例子说明:
const int *pi = &a; //or int const *pi = &a; //两者毫无二致,不过BS喜欢前者,这也没什么技术上的优劣之分,也就是说const int与int const可以互换. 建议大家熟 //悉这两种形式,为简洁便,以后统统用前者. //ok, const并不修饰指针本身,pi对赋值类型 //没要求 ,但pi是int*型指针，所以所赋的必须是个地址值。 const int *pi = &i; //ok ,pi可赋值常量的地址,又可赋变量的地址 const int *pi1 = &a; const int *pi = pi1; //ok *pi = j; //error,*pi 不可变,不能更改指针的间接引用形式 pi = &j; //ok,pi可变 pi = &b; //ok,pi可变 pi++; //ok --pi; //ok
由此可见，pi是变量，可以赋值常量和变量的值,正如一个整型变量可赋整型数和整型变量一样.const修饰的不是指针本身，而是其间接引用，=号两边的类型不必严格匹配，如：const int* pi = &a;中，pi的类型为int*,而&a的类型为const int* const,只要其中含有int* 就可以。又如：const int *pi = &j;中，pi的类型为int*,而&j的类型为int* const,它向pi赋值并无大碍。 (3)const修饰指针本身和指针所指的变量(或对象) 设有指针p,此种情形下,p和*p都不可变.举例如下:
const int* const pi = &a; //or int const* const pi = &a; //将const pi看作一体,就与(2)所述相同,只是要求pi必须为const,正如上所说，=号两边的类型不必严格匹配，但必须含有int*, &a的类型为const int* const,含有int*, 所以可以赋值。 const int* const pi = &i; //ok, &i类型为int* const,含有int*, 可赋值。 const int *pi1 = &j; const int *const pi = pi1; //ok, pi1类型为int* pi = &b; //error, pi不可变 pi = &j; //error, pi不可变 *pi = b; //error, *pi不可变 *pi = j; //error, *pi不可变 pi++; //error ，pi不可变 ++i; //ok, =号右边的变量(或对象)与所修饰的变量无关 a--; //error, a为const
这种情况，跟以上两种情形有联系。对const int* const pi = &a;我们可以这样看：const int*( const pi )= &a;(仅仅是表达需要)，将const pi看作一体，就与上述分类(2)符合。只要含有int*便可.
2.const修饰引用 这种情况比较简单，没有象修饰指针那样繁复，因为引用和引用对象是一体的，所以引用被const修饰只有一种类型。 const修饰引用,引用本身不可变,但引用的变量(或对象)可以改变.例如:
const int& ri = a; //or int const & ri = a; ok, ri 本身是常量,引用不区分类型 const int& ri = i; //ok,引用不区分类型 ri++; //error, ri为常量,不可变 i++; //ok,=右边的变量与引用无关 ri=b; //error, ri为常量 i=j; //ok,=右边的变量与引用无关 int & const ri = i; //error,不存在这种形式,没有意义
1.const修饰指针
const修饰指针又可分为三种情况： const修饰指针本身 const修饰指针所指的变量(或对象) const修饰指针本身和指针所指的变量(或对象) (1).const修饰指针本身 这种情形下,指针本身为常量,不可改变,任何修改指针本身的行为都是非法的.例如:
const int a = 1; const int b = 2; int i = 3; int j = 4; int* const pi = &i; //ok, pi的类型为int* const , &i的类型为int* const int* const pi = &a; //error, pi的类型为int* const, &a的类型为const int* const pi = &j; //error, 指针是常量,不可变 *pi = a; //ok, *pi并没有限定是常量 ,可变
由此看出，pi是常量，常量在初始化和赋值时，类型必须严格一致。也就是 const修饰指针本身时，=号两边的变量类型必须严格一致，否则不能匹配。 (2).const修饰指针指向的变量(或对象) 此种情形下,通过间接引用指针不可改变变量的值,假设指针为p,则*p不可变,下面以例子说明:
const int *pi = &a; //or int const *pi = &a; //两者毫无二致,不过BS喜欢前者,这也没什么技术上的优劣之分,也就是说const int与int const可以互换. 建议大家熟 //悉这两种形式,为简洁便,以后统统用前者. //ok, const并不修饰指针本身,pi对赋值类型 //没要求 ,但pi是int*型指针，所以所赋的必须是个地址值。 const int *pi = &i; //ok ,pi可赋值常量的地址,又可赋变量的地址 const int *pi1 = &a; const int *pi = pi1; //ok *pi = j; //error,*pi 不可变,不能更改指针的间接引用形式 pi = &j; //ok,pi可变 pi = &b; //ok,pi可变 pi++; //ok --pi; //ok
由此可见，pi是变量，可以赋值常量和变量的值,正如一个整型变量可赋整型数和整型变量一样.const修饰的不是指针本身，而是其间接引用，=号两边的类型不必严格匹配，如：const int* pi = &a;中，pi的类型为int*,而&a的类型为const int* const,只要其中含有int* 就可以。又如：const int *pi = &j;中，pi的类型为int*,而&j的类型为int* const,它向pi赋值并无大碍。 (3)const修饰指针本身和指针所指的变量(或对象) 设有指针p,此种情形下,p和*p都不可变.举例如下:
const int* const pi = &a; //or int const* const pi = &a; //将const pi看作一体,就与(2)所述相同,只是要求pi必须为const,正如上所说，=号两边的类型不必严格匹配，但必须含有int*, &a的类型为const int* const,含有int*, 所以可以赋值。 const int* const pi = &i; //ok, &i类型为int* const,含有int*, 可赋值。 const int *pi1 = &j; const int *const pi = pi1; //ok, pi1类型为int* pi = &b; //error, pi不可变 pi = &j; //error, pi不可变 *pi = b; //error, *pi不可变 *pi = j; //error, *pi不可变 pi++; //error ，pi不可变 ++i; //ok, =号右边的变量(或对象)与所修饰的变量无关 a--; //error, a为const
这种情况，跟以上两种情形有联系。对const int* const pi = &a;我们可以这样看：const int*( const pi )= &a;(仅仅是表达需要)，将const pi看作一体，就与上述分类(2)符合。只要含有int*便可.
2.const修饰引用 这种情况比较简单，没有象修饰指针那样繁复，因为引用和引用对象是一体的，所以引用被const修饰只有一种类型。 const修饰引用,引用本身不可变,但引用的变量(或对象)可以改变.例如:
const int& ri = a; //or int const & ri = a; ok, ri 本身是常量,引用不区分类型 const int& ri = i; //ok,引用不区分类型 ri++; //error, ri为常量,不可变 i++; //ok,=右边的变量与引用无关 ri=b; //error, ri为常量 i=j; //ok,=右边的变量与引用无关 int & const ri = i; //error,不存在这种形式,没有意义
