C++知识难点回顾1(完美转发、volatile、union)

目录

一. 完美转发 

二. 深拷贝与浅拷贝

三. const 

四.static

五.explicit

六. struct 和 union 的区别是什么?

七.C++中四种类型转换的使用场景

八. 多态 

九.volatile关键字的作用?

十.虚函数的实现原理

1.构造函数可以是虚函数吗?

2.析构函数一定要是虚函数吗?

3. 虚函数表存贮位置

十一. using 和 typedef


一. 完美转发 

查看一下代码

void PrintV(int &t) {
    cout << "lvalue" << endl;
}

void PrintV(int &&t) {
    cout << "rvalue" << endl;
}

template<typename T>
void Test(T &&t) {
    PrintV(t);
    PrintV(std::forward<T>(t));

    PrintV(std::move(t));
}

int main() {
    Test(1); //会打印出 lvalue rvalue rvalue
    int a = 1;
    Test(a); //会打印出 lvalue lvalue rvalue
    Test(std::forward<int>(a)); //会打印出 lvalue rvalue rvalue
    Test(std::forward<int &&>(1));   //如果使用完美转发会打印出 rvalue rvalue rvalue
    return 0;
}

可以看到T && 作为万能引用,把右值1传入函数,打印的第一次居然是左值!!!

这个是为什么呢?

这是因为它变成了一个拥有名字的变量,所以打印Ivalue。所以这个时候我们就需要一个完美转发,来保持1为右值。Test(std::forward<int &&>(1));

二. 深拷贝与浅拷贝

浅拷贝其实就是两个对象指向的是同一块地址,会出现销毁两次的问题

浅拷贝的代码例子

class A {
public:
    A(int size) : size_(size) {
        data_ = new int[size];
    }
    A(){}
    A(const A& a) {
        size_ = a.size_;
        data_ = a.data_;
        cout << "copy " << endl;
    }
    ~A() {
        delete[] data_;
    }
    int *data_;
    int size_;
};
int main() {
    A a(10);
    A b = a;
    cout << "b " << b.data_ << endl;
    cout << "a " << a.data_ << endl;
    return 0;
}

深拷贝其实就是他们的数值是一样的,但是指向的地址是不一样,不会出现销毁两次的问题。

深拷贝的例子:

class A {
public:
    A(int size) : size_(size) {
        data_ = new int[size];
    }
    A(){}
    A(const A& a) {
        size_ = a.size_;
        data_ = new int[size_];
        cout << "copy " << endl;
    }
    ~A() {
        delete[] data_;
    }
    int *data_;
    int size_;
};
int main() {
    A a(10);
    A b = a;
    cout << "b " << b.data_ << endl;
    cout << "a " << a.data_ << endl;
    return 0;
}

三. const 

constint*ptr=&x;//ptr是一个指向常量的指针,不能通过该指针修改其所指向的值。

int*constptr=&x;//ptr是一个常量,ptr的值(地址)不能被修改,但x的值可以被修改

constint*constptr=&x;//ptr的值和ptr指向的值都不能被修改

四.static

static局部变量:当你需要在函数的多次调用之间保持某个变量的值时。
static全局变量或函数:当你想要限制变量或函数的作用域,防止它们在其他文件中被访问时
static类的成员变量或函数:当你想要类的所有对象共享某个变量或函数时,或者当你想要在没有类实例的情况下访问某个函数时。

五.explicit

关键字explicit的主要作用是防止构造函数或转换函数在不合适的情况下被隐式调用。

假设有一个函数voiddoSomething(Widget w):,如果没有explicit关键字,下面的代码就是合法的:int num=5;doSomething(num);。在这里,编译器会自动将int类型的num转换为Widget对象,就好像执行了Widgettemp(num);doSomething(temp);这样的操作。

六. struct 和 union 的区别是什么?

struct 是结构体,有内存对齐规则,他就是class的public版。

union 是联合体:

1.使用时,联合体只有一个有效的成员;而结构体所有的成员都有效。

2.  对联合体的不同成员赋值,将会对覆盖其他成员的值

3. 联合体的大小为其内部所有变量的最大值,按照最大类型的倍数进行分配大小

七.C++中四种类型转换的使用场景

1)tatic_cast:用于在有明确定义的类型之间进行转换,如基本数据类型之间的转换以及指针或引用的上行转换(从派生类到基类)。
2)dynamic_cast:主要用于多态类型的指针或引用转换,特别适用于需要安全地执行下行转换(从基类到派生类)。
3) const_cast:用于移除对象的const或添加const属性,这在需要更改常量数据时非常有用。
4)reinterpret_cast:提供了一种最底层的转换方式,类似于C语言中的强转,通常用于指针类型之间的转换。

八. 多态 

C++中,多态分为静态多态和动态多态。静态多态通过函数重载和模板实现,而动态多态则是通过虚函数实现的。

九.volatile关键字的作用?

禁用编译器的优化,确保每次读写都是从内存中而非寄存器;这样每个线程获取到的数据都是内存中的实际数据;防止编译器对变量进行优化;

十.虚函数的实现原理

虚函数表(vtable):是一个存储虚函数地址的数组。每个包含虚函数的类会有一个虚函数表。表里存有该类或者基类中重写虚函数的实际地址。
虚函数表指针(vptr):每个对象在内存布局中会有一个指向虚函数表的指针。编译器会自动管理这个指针的初始化和赋值。

总的来说:每个类(有虚函数的类)都有自己的 vtable,vtable 是一个数组,里面存放的是一个一个的函数指针。

补充虚函数知识:

1.构造函数可以是虚函数吗?

构造函数不能是虚函数。
虚函数的机制依赖于虚函数表,而虚表对象的建立需要在调用构造函数之后才能完成。因为构造函数是用来初始化对象的,而在对象的初始化阶段虚表还没有被建立,如果构造函数是虚函数,就会导致对象初始化和多态机制的矛盾,因此,构造函数不能是虚函数。

2.析构函数一定要是虚函数吗?

C++中析构函数并不一定要是虚函数,但在多态条件下,我是建议一定将其声明为虚函数
如果一个类可能会被继承,并且你需要在删除指向派生类对象的基类指针时确保正确调用派生类的析构函数,那么基类的析构函数必须是虚函数。如果没有这样做,可能会导致资源泄漏或者未能正确释放派生类对象的资源

3. 虚函数表存贮位置

vtable 具有静态存储期,存放在只读数据段(静态区),从程序启动到结束始终存在,同一类的所有对象共享同一份 vtable,通过各自的 vptr 指针来访问它。

3.1 为什么存贮在静态区?

因为vtable 在程序加载时就已经在内存中准备好不会在堆上动态分配,也不会在栈上创建。

3.2 为什么放在只读段?

安全性:vtable 的内容在程序运行期间不应该被修改(一旦被篡改,虚函数调用就会指向错误地址,引发严重漏洞)。

共享性:同一个类的所有对象共享同一份 vtable,放在只读段可以节省内存(不需要为每个对象复制)。

优化:只读数据可以被操作系统缓存和共享(多个进程如果使用同一个动态库,vtable 可以共享物理内存页)。

十一. using 和 typedef

using可取代typedef,用来定义别名。且涉及模板,以及引入命名空间时,只能用using。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值