C++雾中风景5:Explicit's better than implicit.聊聊Explicit.

简介: 关于Explicit还是Implicit一直是编程语言中能让程序员们干起架的争议。那些聪明的老鸟总是觉得Implicit的规则让他们能够一目十行,减少样板代码的羁绊。

关于Explicit还是Implicit一直是编程语言中能让程序员们干起架的争议。那些聪明的老鸟总是觉得Implicit的规则让他们能够一目十行,减少样板代码的羁绊。而很多时候,Implicit的很多规则会让新手或者是合作开发的搭档痛苦不堪。文章的标题也写明了笔者的态度,显式的在代码之中指明自己的意图,会让程序更加明晰。所以也借今天这篇文章,我们来聊聊Explicit关键字。

1.隐式类类型转换

好吧,先看一段代码:
(为了简单起见,我这里就没有重载<<操作符了)

class A {
public:
    A(int s) {};
};

void printA(A a) {
    cout << "hello" << endl;
}

int main() {
    printA(10);
}

上面这段代码是可以通过编译运行的,可能有些小伙伴会比较困惑,为虾米这里printA函数明明需要接受的是一个A类型,但是传入的一个int类型仍然能够编译通过。

这就被称之为隐式类类型转换,它存在于自定义的类构造函数中。C++的编译器会对只有一个参数的构造函数也定义了一个隐式转换,将该构造函数对应数据类型的数据转换为该类对象。也就是说,上段代码其实可以翻译成下面的代码:

class A {
public:
    A(int s) {};
};

void printA(A a) {
    cout << "hello" << endl;
}

int main() {
    printA(A(10));
}

这里10作为int类型的参数,通过隐式的类类型转换,被默认构造了一个A类型的匿名对象,传入了函数printA,所以代码能够正常的编译运行。显然,这种类型的代码是十分Confused。所以我们来看看这么解决这个问题的。

有一个折衷的解决方案,将代码做下面的修改:

void printA(A &a) {
    cout << "hello" << endl;
}

这里通过引用类型就可以避开这个陷阱,因为编译器不会构造这个匿名对象的引用,所以此时的代码是无法通过编译的。

显然,这个方案改变了我们不使用引用类型的初衷,我们看看C++有木有更加优雅的解决方案。

2.Explicit关键字

explicit主要用于"修饰"构造函数,使得它不用于程序中需要通过此构造函数进行"隐式"转换的情况。指定此关键字,需要隐式转换方可进行的程序将不能编译通过。

class A {
public:
    explicit A(int s) {};
};

void printA(A a) {
    cout << "hello" << endl;
}

int main() {
    printA(10);  //无法通过编译
}

这里我们添加了explicit关键字,阻止了编译器的隐式类类型转换,让代码更加明晰了。当然,我们这里是可以使用static_cast关键字可以显式的类型转换,通过代码的编译。

int main() {
    printA(static_cast<A>(32));
}

explicit关键字只对一个参数的构造函数有效,需要多个实参的构造函数不能用于隐式类型转换。

3.讨论一下

  • Scala
    类型系统几乎是Scala之中最复杂的内容,Scala设计的讨巧之处,是通过implicit关键字,显式的指定了隐式类类型转换。虽然隐式类类型转换减少了很多冗余的代码,但是这样的设计会降低代码的可读性。Scala也一直因为可读性被诟病,所以这样的设计,见仁见智。

  • Golang
    如果是接口interface与Python是类似的鸭子类型,不需要什么隐式转换了。
    而如果是struct类的话,那Golang就十分严格的执行强类型的判断。不符合是不行的。

  • Java
    Java一直是拒绝这种Confuse做法的语言,所以通过一大堆繁琐的样板代码规避这样的问题。

“Explicit's better than implicit”。Explicit保证了代码的可读性和维护性。这点对于一个系统的工程性是很有帮助的。Implicit的转换容易带来那种“看上去很美,但是非常容易出错”的 feature 。希望我们能够告别对它的依赖。

目录
相关文章
|
7月前
|
安全 编译器 程序员
【C++ 修饰符关键字 explicit 】掌握C++中的explicit :构造函数行为和初始化综合指南
【C++ 修饰符关键字 explicit 】掌握C++中的explicit :构造函数行为和初始化综合指南
454 3
|
C++
24 C++ - explicit关键字
24 C++ - explicit关键字
40 0
|
6月前
|
C++
|
7月前
|
编译器 C语言 C++
从C语言到C++⑦(第二章_类和对象_下篇)初始化列表+explicit+static成员+友元+内部类+匿名对象(上)
从C语言到C++⑦(第二章_类和对象_下篇)初始化列表+explicit+static成员+友元+内部类+匿名对象
50 1
|
7月前
|
编译器 C++
【C++】类与对象(static、explicit、友元、隐式类型转换、内部类、匿名对象)
【C++】类与对象(static、explicit、友元、隐式类型转换、内部类、匿名对象)
36 2
|
7月前
|
Java 编译器 C语言
从C语言到C++⑦(第二章_类和对象_下篇)初始化列表+explicit+static成员+友元+内部类+匿名对象(下)
从C语言到C++⑦(第二章_类和对象_下篇)初始化列表+explicit+static成员+友元+内部类+匿名对象
31 0
|
7月前
|
C语言 C++
从C语言到C++⑦(第二章_类和对象_下篇)初始化列表+explicit+static成员+友元+内部类+匿名对象(中)
从C语言到C++⑦(第二章_类和对象_下篇)初始化列表+explicit+static成员+友元+内部类+匿名对象
46 0
|
7月前
|
C++
C++——类和对象(初始化列表、匿名对象、static成员、类的隐式类型转换和explicit关键字、内部类)
C++——类和对象(初始化列表、匿名对象、static成员、类的隐式类型转换和explicit关键字、内部类)
|
7月前
|
编译器 C++
[C++ 从入门到精通] 8.构造函数详解、explicit、初始化列表
[C++ 从入门到精通] 8.构造函数详解、explicit、初始化列表
96 0
|
7月前
|
编译器 C++
c++ explicit关键作用
概念引入 构造函数不仅可以构造并初始化对象,对于具有单个参数或者除第一个参数无默认值其余均有默认值的构造函数,还具有类型转换作用。
67 0