乐趣区

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

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

退出移动版