手记

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

关于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 。希望我们能够告别对它的依赖。


0人推荐
随时随地看视频
慕课网APP