c++类指针赋值表达式必须是可修改的左值_C++ 类的不同构造与三种引用

引言

C++也是支持面向对象的语言,也有类的概念。与java差异比较大的是,没有gc(垃圾回收器),所以设计要考虑好释放,不过也提供了智能指针(自动计数引用,自动释放)。

代码风格

前面去了解vector的源码,发现大部分头文件都会使用这种方式来避免被重复导入代码

#ifndef XXX_H

一般头文件都会这样用文件名做一个宏定义的预处理,判断是否已经被加载过这个头文件,因为宏定义是在编译阶段处理

左值与右值

左值:能出现在赋值运算左边的值
右值:只能出现在赋值运算右边的值
根据定义,左值主要是变量、常变量(const变量),而右值包括:常量、匿名对象、函数返回值

左值引用、const左值引用、右值引用

引用类型的变量的核心是其可以修改自己对应的内存空间到别的变量(修改this)而不是简单的拷贝备份
左值引用时在类型定义的右边加上&符合的引用变量,如

int a = 1;
int & b = a;
b = 5;//a == 5 为true

左值引用的变量会直接引用赋值变量,代表相同对象,但是不能引用右值,这样就会调用拷贝构造函数去复制
const左值引用就是通过const限定,允许左值引用引用右值,当是引用右值时,其会调用构造函数,生成一个临时变量存储右值,再去引用这个临时变量,这是为了避免直接使用普通变量存储时,需要执行一遍构造生成匿名对象,再执行一遍拷贝构造对变量初始化。因为被const限定,所以也无法修改,如

const int & a = 5;

而右值引用专门用来引用右值,并且没有const的修饰,所以可以进行修改,比如

int && a = 5;
a = 4;//OK

所以右值引用一般代表为临时变量/对象续命,将其转移到新的容器里去生存,所以一般也要先将旧引用的一些关联置空,因为他的成员已经由新引用接管了,避免旧引用去析构被接管的成员,造成后续右值引用在释放时重复析构。事实上其与const左值引用引用右值的区别就是,其可以对临时变量进行修改,这里推荐qicosmos(江南)的这篇博客,写的非常nice——从4行代码看右值引用

万能引用

虽然有了右值引用可以引用并修改右值,但是有时候我们传入的可能是左值,也可能是右值,所以当使用泛型的右值引用来接收时,会自动根据入值是左值还是右值,来自动转化为使用左值引用还是右值引用,这种泛型右值引用也因此被叫为万能引用。如

template  void forwardValue(T&& val){
        process(val);
}
template  void process(T & lVal){}
template  void process(T && rVal){}
void main(){
    forwardValue(1);//传入右值,val解释为右值引用
    int a = 1;
    forwardValue(a);//传入左值,val解释为左值引用
}

但是因为val是具名变量,是左值,所以无论解释为何种引用,process都走的是process(T & lVal)这个左值引用的方法。这时要使用变量原有的类型作为引用传递,需要通过std::forward来实现,std::forward函数使用变量自身的引用类型作为值去传递(底层使用static_cast强制转化),此时就会分别调用右值的process和左值的process

template  void forwardValue(T&& val){
        process(std::forward(val));
}

类结构

与java类似,c++也是有private、public、protected等访问权限控制符,不过没有default。然后比较大区别的是,c++默认不写的访问权限是private,java是default。还有就是,C++的类没有访问权限修饰符,把对父类的访问权限放到了子类的继承方式上。同时,其成员时按照权限写到对应权限的标签后,而不是一个个控制权限。比如

    class father{
        int a;//private default 
    public:
        int b;
        int c;
    protected:
        int d;
    }

    class son:public father{ //extends the public authority of super class
    }

从这里也看出,cpp的风格和理念和java其实相差很大,java偏向于在父类限制了程序员能够派生的子类的权限,而cpp是父类不做扩展限制,只做成员的权限划分,由派生类去决定自己要扩展到多高的访问权限。这可能也和公司有关系,java的公司oracle毕竟是搞商业的(还是要恰饭的),包括一些jdk都是收费的,所以有些高权限的代码也不想给扩展和看到。java更像工具,本身自带平台,处理好了很多东西,开发只需要关注jvm,以及他提供的给你扩展的东西,在对方为你准备好的、限制好的环境下开发,出来的东西就相对安全(bug少)。而cpp就像裸权限给你,你自己随便玩,所以很容易玩坏了(出bug)。

共享成员与对象成员

共享成员是一个类被全部对象共享的成员,即全局的、静态的、非对象独有的。像是java一样,cpp也有静态成员,但是这里用了共享成员,因为他还有另一种替代品——枚举。如下代码,是使用static和通过枚举定义类里面的静态成员的两种方式。同时,cpp限制了static成员,如果要在定义时初始化,则必须是const修饰的。

class Yyt{
    public:
        static int publicFuckStaticInt;//不能进行赋值初始化,要赋值的static成员必须是const
        enum{cout=1};//定义枚举,共享成员的一个解决方法
}
int Yyt::publicFuckStaticInt = 5;//外部赋值

析构函数

cpp中因为要手动释放对象内存,所以提供了析构函数。当类的对象被释放时,会先执行析构函数,再释放内存,析构函数没有返回值,方法名是 ~类名,如下

class Yyt{
    public:
        ~Yyt();//析构函数的声明
}

Yyt::~Yyt(){
     //一般cpp程序都不直接在类里面写实现,为了头文件比较清晰
     //一般在头文件的类里面写没实现代码的成员方法声明,然后加载另一个源代码文件
     //在另一个源代码文件写对应方法的实现。
}

类运算符重载

cpp比较强大的是可以重载类与别的对象进行运算时,运算符的解释,将其解释为方法调用。比如重载+法

class Yyt{
    private:
        int b = 3;
    public:
        int operator+(int a);
}

int Yyt::int operator+(int a){
     return b+a;
}
.....
void main(){
    Yyt y;
    int t = y+1;//-----4
    //解释为y.operator+(1)
}

调用类内部的重载运算符方法,要求对象必须在运算符左侧,所以一般为了实现双向的运算,会写多一个普通方法或者友元函数来处理,比如第一种方式,写多一个普通的重载运算符方法

int operator+(int a,Yyt y){
    return y+a;
}

按照参数顺序匹配,则a+y会被解释为普通重载函数 operator+(a,y),最终返回 y+a的值,另一种方法是使用友元函数

友元函数

上面讲到我们可以通过写一个普通的重载运算符函数来逆转加法的顺序,使得其走类里面的重载运算符函数。那如果不通过这种方式通过普通方式呢?这里有个问题,我们的运算函数里访问了对象的私有成员b,而在普通方法里显然没有访问的权限,那这时就得使用friend关键字,使得该方法具备权限

class Yyt{
    private:
        int b = 3;
    .....
    public:
        friend int operator+(int a,Yyt y);
}
int operator+(int a,Yyt y){
    return a + y.b;//可以访问y.b,因为是友元函数
}

const对象与const方法

const修饰的变量不能重新赋值,而const修饰的对象变量不能调用其对象方法中的非const方法。
const方法定义如下,在方法右括号后面跟上const关键字。const方法中,不能修改对象成员(即非static成员),同时不能调用this的非const方法,const修饰的方法可以理解为,不会对对象造成破坏。如:

class Yyt{
    public:
        void show();
        void safeShow() const;
}
void Yyt::show(){}
void Yyt::safeShow(){
    //this->show();
    //error,不能调用上方代码,当前在const方法里,show不是const方法
}
void main(){
    const Yyt y;
    //y.show();
    //error,不能调用上方代码,当前对象被const修饰,show不是const方法
    y.safeShow();//OK
}

==比较运算符

前面讲过赋值实际默认是走拷贝构造,当时这时使用如下代码,比较两个对象,发现结果为true

class Yyt{
    public:
        operator int() const;
        Yyt(const Yyt & another);
}
Yyt::Yyt(const Yyt & another){
    //方法中this代表当前浅拷贝生成的新对象
}
Yyt::operator int() const{
    return 1;
}
void main(){
    Yyt y1();
    Yyt y2 = y1;
    y1 == y2? // true
    &y1 == &y2? // false
}

实际上取地址运算后,显示两个对象不是同个地址,这是因为cpp里与java不一样,默认的 == 比较对象时,不是比较引用地址,而是调用类重载的==运算符方法,如果没有提供,自动转化为可以转化的类型进行==比较,没有提供类型转化则无法编译,所以这里的 y1 == y2被解释为 y1.int() == y2.int() ,也就是 1 == 1,所以为true,cpp默认不为类生成==方法,所以一般要提供这种方法,比如像java一样,比较是否同一对象,我们可以用&
运算来判断地址是否相同:

class Yyt{
    public:
        bool operator==(const Yyt & another);
}
bool Yyt::operator==(const Yyt & another){
    return this == &another;
}
void main(){
    Yyt y1,y2;
    y1 == y2? // false
}

构造函数

与java类似的,cpp的构造函数默认也会调用父类的无参构造函数,同时支持对形参直接自动转化构造,如

class Yyt{
    private:
            int b = 3;
    public:
        Yyt(int c);
        Yyt(int c,int d);
        Yyt(int c,int d,int e);
}
Yyt::Yyt(int c){
    this->b = c;
}
Yyt::Yyt(int c,int d){
    this->b = c+d;
}
Yyt::Yyt(int c,int d,int e):b(c){
    //等价于 this->b = c
}
void main(){
    Yyt y1(1);
    Yyt * yPointer = new Yyt(1);
    Yyt(1);//构造匿名对象
    Yyt cpyY = Yyt(1);//构造匿名对象+拷贝构造函数
    Yyt autoConvertY = 1;
    Yyt doubleArgAutoConvertY = {1,4};//b == 5
}

以上罗列了几种构造函数的使用方式,请注意其中的

Yyt cpyY = Yyt(1);//匿名对象+拷贝构造函数

标记不止是用了构造函数还使用了拷贝构造函数

拷贝构造函数

与java不一样的是,当使用左值的对象赋值给引用进行初始化时,实际会进行浅拷贝,而不是同个对象,比如刚刚的

Yyt a = Yyt(1);//构造函数
Yyt cpyY = a;//拷贝构造函数,其实也就是构造函数自动转化的特殊情况,被转为 Yyt(a)

拷贝构造函数默认浅拷贝了一个对象cpyY
拷贝构造函数的定义如下,类似构造函数,而形参是一个同类对象的const左值引用,在没有重写时,默认会有一个自动生成的拷贝构造函数,对所有对象成员进行浅拷贝。这里我们先不探究左值引用这些问题,其与普通的Yyt another区别在于,普通的方法形参接收对象,实际也会走浅拷贝,而通过引用的方式,则不会,直接传递真实对象

class Yyt{
    public:
        Yyt(const Yyt & another);
}
Yyt::Yyt(const Yyt & another){
    //方法中this代表当前浅拷贝生成的新对象
}

虽然这里按照书里说法,是Yyt(1)就已经生成匿名对象,因为是个右值,而a是左值,赋值给a进行初始化应该会再执行拷贝构造,但是实际测试这种使用右值来初始化的,并不会调用拷贝构造,使用了-O0和#pragma optimize("",off)关闭了代码优化仍是这个结果,不知道是不是c++11的标准是这样

移动构造函数

除了拷贝构造c++11中新增了移动构造函数,用来对右值进行接管构造,而不用拷贝(比如像容器的扩容操作),示例

#include

赋值运算

前面提到的拷贝构造是在使用已经初始化的对象赋值给引用进行初始化时,那如果对已经初始化完成的引用进行对象赋值呢?实际当你没有重写赋值运算时,也是走拷贝构造,因为默认生成的赋值运算符执行拷贝构造函数,所以区分走拷贝构造还是走赋值运算就是看,赋值的引用是否已经完成初始化,因为完成初始化了,则是走对象方法,则可以进入赋值运算

class Yyt{
    public:
        Yyt(const Yyt & another);
        Yyt operator=(const Yyt & another);
}
Yyt Yyt::operator=(const Yyt & another){
    return Yyt(another);
}
void main(){
    Yyt y1,y2;
    y1 = y2;//被转化为  y1.operator=(y2);
    //所以实际上不是赋值运算,因为其没有改变y1引用的对象

    //要改变引用对象可以通过指针
    Yyt * y3 = new Yyt();
    Yyt * y4 = new Yyt();
    delete y3;//防止内存泄漏
    y3 = y4;//指针赋值,y3指向了y4的地址代表的对象
}

强制转化重载

除了对运算符进行函数重载,cpp还支持对强制类型转换进行重载,如

class Yyt{
    private:
            int b = 3;
    public:
        operator int() const;
}

Yyt::operator int() const{
    return b;
}
void main(){
    const Yyt y;
    int a = y;//被解释为 y.int()---3
    int c = (int)y;//显示调用对应的转化类型,避免当有多个重载冲突
}

关闭隐式转化与自动生成函数

前面如 类型转化,不同类型数据进行初始化引用执行构造函数自动转化都是会默认自动隐式转化,也就是说可以这样写

class Yyt{
    private:
            int b = 3;
    public:
        operator int() const;
        Yyt(const int & _b);
}

Yyt::operator int() const{
    return b;
}
Yyt::Yyt(const int & _b){
    this->b = _b;
}
void main(){
    Yyt y = 3;//3被自动转化为Yyt(3)
    int a = y;//y被自动转化为 y.int(),因为只有一种匹配---3
}

这种隐式转化有时可能会带来一些麻烦,我们可以通过explicit关键字关闭这种隐式转化,只需要在方法前面加上该关键字,则不再自动转化,而要通过显式声明,如:

class Yyt{
    private:
            int b = 3;
    public:
        explicit operator int() const;
        explicit Yyt(const int & _b);
}

Yyt::operator int() const{
    return b;
}
Yyt::Yyt(const int & _b){
    this->b = _b;
}
void main(){
    Yyt y = Yyt(3);//必须显式调用
    int a = (int)y;//必须显式调用指定类型的强制转化
}

而对于前面说到的,会自动生成的函数,可以通过重写赋值为delete删除对应方法,比如

class Yyt{
    public:
        Yyt() = delete;//删除自动生成的默认构造函数
        Yyt & operator=(const Yyt & another) = delete;//删除默认生成的赋值运算
        Yyt(const Yyt & another) = delete;//删除默认生成的拷贝构造函数
        ~Yyt() = delete;//删除默认生成的析构函数
        Yyt * operator&(const Yyt & another) = delete;//删除默认生成的赋值运算
}
Yyt * operator & (Yyt object) = delete;//删除自动生成的取地址运算
31ec785b67d48997acf613cc5028aee7.png
更多文章,请搜索公众号歪歪梯Club
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
C++ 中,表达式必须是可修改左值是一种限制,是为了确保程序的正确性和安全性。如果表达式不是可修改左值,将会导致编译错误。 如果需要修改一个非可修改左值,可以考虑使用指针引用的方式来间接修改指针引用都是 C++ 中常用的解决方案,可以有效地解决表达式必须是可修改左值的限制。 下面是一个使用指针修改非可修改左值的示例: ```c++ #include <iostream> int main() { const int a = 1; int* ptr = const_cast<int*>(&a); //使用 const_cast 将 const int* 转换为 int* *ptr = 2; //修改指针指向的值 std::cout << a << std::endl; //输出 1,a 的值没有被修改 std::cout << *ptr << std::endl; //输出 2,指针指向的值被修改了 return 0; } ``` 这里使用 const_cast 将 const int* 型的指针转换为 int* 型的指针,然后通过指针修改原本不可修改左值。需要注意的是,这种方式只适用于非常量型的左值,对于常量型的左值修改是不被允许的。 除了使用指针,还可以使用引用的方式来修改非可修改左值,例如: ```c++ #include <iostream> int main() { const int a = 1; const int& ref = a; //使用 const 引用 int& ref2 = const_cast<int&>(ref); //使用 const_cast 将 const 引用转换为非 const 引用 ref2 = 2; //修改引用指向的值 std::cout << a << std::endl; //输出 1,a 的值没有被修改 std::cout << ref << std::endl; //输出 2,引用指向的值被修改了 return 0; } ``` 这里使用 const 引用引用 a,然后使用 const_cast 将 const 引用转换为非 const 引用,最后通过引用修改原本不可修改左值。需要注意的是,这种方式也只适用于非常量型的左值,对于常量型的左值修改是不被允许的。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值