乐趣区

关于后端:c中explicit和mutable关键字探究

jiezi

明天说一说 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 容许你在一个固定不变的房子外面搁置某些可变的物件。

退出移动版