c++--语言基础知识

raindayinrain

已于 2024-03-12 07:48:37 修改

阅读量2.2k

点赞数 1

分类专栏： 1.2.语言-c++ 文章标签： const 类型转换函数匹配

于 2016-09-08 07:38:37 首次发布

本文链接：https://blog.csdn.net/x13262608581/article/details/52467507

版权

1.2.语言-c++ 专栏收录该内容

8 篇文章 0 订阅

订阅专栏

1.const
const修饰变量，表示变量不可修改，这样的变量称为常量。后续统一将没有const修饰的变量叫变量，const修饰的变量叫常量。

1.1.修饰指针时，注意区分限定的是指针还是指针指向的对象。

int a;
const int * p1 = &a;// const修饰p1指向对象，此时，允许修改p1，不允许修改*p1。p1++合法，*p1=1非法。
int * const p2 = &a;// const修改p2自身，此时，不允许修改p2，允许修改*p2。p2++不合法，*p2=1合法。

1.2.顶层const，底层const

1.2.1.区分

int a;
const int *p1 = &a;// 这里我们定义一个变量p1。此时p1是变量。p1指向的对象是常量。
int * const p2 = &a;// 这里我们定义一个变量p2。此时p1是常量。p1指向的对象是变量。

const int &q1 = a;// 这里我们定义一个引用q1，注意引用不是变量，只是给引用对象起来一个别名。 此时q1是变量a的引用。不允许通过q1修改a的值。
int & const q2 = a;// 用const修饰引用自身没有意义。引用自身本来就是初始化绑定变量后不可变更绑定的。允许通过q2修改a的值。

(1).顶层const
修饰变量自身。如上述修饰p2的const。
(2).底层const
修饰变量/引用指向对象。如上述修饰p1，q1的const。

1.2.2.作用
(1).顶层const
变量执行拷贝构造，赋值时
若左边变量用顶层const修饰，右边可以是同类型变量，也可是同类型常量。
若左边变量无顶层const修饰，右边依然可以是同类型变量，也可是同类型常量。

class A
{
private:
	int m_i;
};

int main()
{
	A a;
	const A ca = a; // ok
	const A cb = ca; // ok
	A b = ca; // ok
	
	a = b;// ok
	a = ca;// ok
}

从理解的角度，拷贝或赋值时，左边和右边是两个独立的变量。右边的变量只负责提供内容。顶级const修饰与否，对变量内容无影响。

(2).底层const
指针类型变量执行拷贝构造，赋值时
若左边变量用底层const修饰，右边必须是同类型的变量或常量，是否被底层const修饰均可以。
若左边变量无底层const修饰，右边必须是同类型的变量或常量。不可被底层const修饰。

class A
{
private:
	int m_i;
};

int main()
{
	A a;
	const A ca = a;
	A* p1 = &a;// ok
	A* p2 = &ca;// err
	
	const A *cp1 = &ca;// ok
	const A* cp2 = &a;// ok
	
	p1  = &a;// ok
	p1 = &ca;// err
	cp1 = &a;// ok
	cp1 = &ca;//ok
}

引用执行初始化时，
左边被底层const修饰时，右边可以是所引用类型的变量或常量。
左边没有底层const修饰时，右边只能是所引用类型的变量。

class A
{
private:
	int m_i;
};

int main()
{
	A a;
	const A ca = a;
	A& aa1 = a;// ok
	A& aa2 = ca;// err
	const A& bb1 = a;// ok
	const A& bb2 = ca;// ok
}

1.3.可见性
c语言中被const修饰的全局变量，只在所在文件内可见。额外添加extern修饰后，变为全局可见。
c语言中被static修饰的全局变量，只在所在文件内可见。
c语言中无const，static修饰的全局变量，全局可见。

2.强制类型转换

2.1.新式
(1).static_cast：会导致精度损失的数值转换；void*到其他指针类型的转换。
(2).const_cast：用于为右边对象去掉或加上底层const属性。
(3).reinterpret_cast：非void*指针类型间转换。
(4).dynamic_cast：用于基类指针，基类引用转换为派生类指针，派生类引用。

2.2.旧式
旧式(TargetType)xx;

3.重载与作用域
同一个作用域内各个同名函数间有重载关系；
名字查找先从内层作用域依次往外层作用域查找；在当前作用域内找到名字后，停止继续查找。进入匹配阶段。

一个实例：

#include <iostream>
using namespace std;
struct Base{
    void f(double i){cout << "Base:" << i << endl;}
};
struct Derived : public Base{
    using Base::f;
    void f(int i){cout << "Derived:" << i << endl;}
};
int main(){
    Base b;
    b.f(4.5);
    Derived d;
    d.f(4.5);
    d.f(10);
    return 0;
}

在这里插入图片描述
上述执行d.f(4.5)匹配到了基类版本。这是因为我们通过在派生类里执行using Base::f;使得基类的符号f参与到从派生类作用域开始的名字查找过程。这样，执行d.f(4.5)时，通过在派生类作用域的名字查找找到两个为f的名字。接下来通过类型匹配绝对采用哪个f。这样，由于基类的f可以精确匹配，所以，最终选择基类版本。

#include <iostream>
using namespace std;
struct Base{
    void f(double i){cout << "Base:" << i << endl;}
};
struct Derived : public Base{
    //using Base::f;
    void f(int i){cout << "Derived:" << i << endl;}
};
int main(){
    Base b;
    b.f(4.5);
    Derived d;
    d.f(4.5);
    d.f(10);
    return 0;
}

在这里插入图片描述
上述执行d.f(4.5)匹配到了派生类版本。因为，执行d.f(4.5)时，通过在派生类作用域的名字查找只能找到一个为f的名字。所以，最终选择派生类版本。针对派生类执行调用时，首先在派生类搜索函数名称，若搜索到，进入匹配阶段；若搜索不到，继续到基类搜索函数名称，若搜索到，进入匹配阶段；若搜索不到，报错。