c++中explicit和mutable关键字探究
cpp加油站 376 4

今天说一说c++里面的两个关键字explicit和mutable。

1. explicit关键字

在写c++标准输入输出相关文章,查看iostream实现代码的时候,经常看到构造函数前面带有explicit关键字,那么它到底有什么作用呢。

explicit用来防止由构造函数定义的隐式转换,先看这样一段代码:

#include <iostream>

class Base
{
private:
    int a;
public:
    Base(int p_a){
        a = p_a;}
    ~Base(){}
    void print()
    {
        std::cout << "a=" << a << std::endl;
    }
};

int main()
{
    Base base = 5;
    base.print();
    base = 6;
    base.print();
    return 0;
}

声明一个只有一个int类型私有成员变量的类,这个时候没有使用explicit关键字,那么可以直接使用class Base base = 5;来给成员变量赋值,这也就算了,就当他是在构造了,但是到了base = 6这一行代码,就很离谱了,没有调用任何set函数,直接就改变了私有成员的值,这就相当于,你自己房子里面放的钱,别人可以隔墙修改你的钱的数量,想想看,你有10000块钱放家里,有个人手指一点,钱变成100了,是不是很可怕。

但如果在构造函数前面加一个explicit关键字,那么代码就不能再这样写啦,编译会报错,如下:

//构造函数前面加explicit
explicit Base(int p_a){
        a = p_a;}

报错内容类似这样的:test.cpp:19:14: error: conversion from 'int' to non-scalar type 'Base' requested,这样就避免了别人隔墙修改你家钱的数量啦。

那么为什么explicit可以起到这个作用呢,在没有声明该关键字之前,编译器根据当前的定义和构造函数,在编译的时候做了一个隐式的类型转换,但是当编译器发现了explicit这个关键字之后,就不再做这个隐式转换,这个时候等号两边的值类型很明显就不一样,当然会报编译错误啦。

总结:explicit告诉别人,不允许隔墙修改我家钱的数量,你要修改的话,必须进到屋子里才行。

2. mutable关键字

mutable用于类的非静态和非常量数据成员,一般类的成员函数被声明为const,就表示不会修改类的数据成员,但如果要在常成员函数中修改类的非静态和非常量数据成员,则可以使用mutable修饰该数据成员,如下:

#include <iostream>

class demo
{
public:
int getCnt() const
{
    m_nCount++;
    return m_nCount;
}

private:
    int m_nCount;
};

int main()
{
    return 0;
}

编译会报错:test.cpp:13: 错误:increment of data-member ‘demo::m_nCount’ in read-only structure,但如果改为如下代码:

#include <iostream>

class demo
{
public:
int getCnt() const
{
    m_nCount++;
    return m_nCount;
}

private:
    mutable int m_nCount;
};

int main()
{
    return 0;
}

在int类型前面加一个mutable关键字,编译就通过了。

总结:mutable允许你在一个固定不变的房子里面放置某些可变的物件。

评论区

索引目录