zoukankan      html  css  js  c++  java
  • C++ explicit 关键字解析

     C++提供了关键字explicit,可以阻止不应该允许的经过转换构造函数进行的隐式转换的发生。声明为explicit的构造函数不能在隐式转换中使用。

      C++中, 一个参数的构造函数, 承担了两个角色。 1 是个构造器 2 是个默认且隐含的类型转换操作符。

      所以, 有时候在我们写下如 AAA = XXX, 这样的代码, 且恰好XXX的类型正好是AAA单参数构造器的参数类型, 这时候编译器就自动调用这个构造器, 创建一个AAA的对象。

      这样看起来好象很酷, 很方便。 但在某些情况下(见下面权威的例子), 却违背了我们(程序员)的本意。 真是成也萧何, 败也萧何。 这时候就要在这个构造器前面加上explicit修饰, 指定这个构造器只能被明确的调用,使用, 不能作为类型转换操作符被隐含的使用。 呵呵, 看来还是光明正大些比较好。

    关于这一点,《more effective c++》上也给出了详细的解释:

           例如比较Array<int>对象,部分代码如下:
    bool operator==( const Array<int>& lhs,
    const Array<int>& rhs);
    Array<int> a(10);
    Array<int> b(10);
    ...
    for (int i = 0; i < 10; ++i)
           if (a == b[i]) { // 哎呦! "a" 应该是 "a[i]"
                do something for when   a[i] and b[i] are equal;}
          else {
                do something for when they're not;
    }
    我们想用a的每个元素与b的每个元素相比较,但是当录入a时,我们偶然忘记了数组下标。当然我们希望编译器能报出各种各样的警告信息,但是它根本没有。因为它把这个调用看成用Array<int>参数(对于a)和int(对于b[i])参数调用operator==函数,然而没有operator==函数是这样的参数类型,我们的编译器注意到它能通过调用Array<int>构造函数能转换int类型到Array<int>类型,这个构造函数只有一个int类型的参数。然后编译器如此去编译,生成的代码就象这样:
    for (int i = 0; i < 10; ++i)
          i f (a == static_cast< Array<int> >(b[i])) ....

    容易的方法是利用一个最新编译器的特性,explicit关键字。为了解决隐式类型转换而特别引入的这个特性,它的使用方法很好理解。构造函数用explicit声明,如果这样做,编译器会拒绝为了隐式类型转换而调用构造函数。显式类型转换依然合法:
    template<class T>
    class Array {
    public:
    ...
    explicit Array(int size); // 注意使用"explicit"
    ...
    };
    Array<int> a(10); // 正确, explicit 构造函数, 在建立对象时能正常使用
    Array<int> b(10); // 也正确
    if (a == b[i]) ... // 错误! 没有办法 隐式转换int 到 Array<int>

    由此看到explicit有些时候是非常有用的。

  • 相关阅读:
    LeetCode 79
    LeetCode 437
    LeetCode 783
    LeetCode 59
    LeetCode 每日一题 04/24
    LeetCode 5
    LeetCode 43
    简易多线程任务 往数据库插数据
    定时任务--查数据库--注解实现
    redis 简易 实现
  • 原文地址:https://www.cnblogs.com/lvpengms/p/1663063.html
Copyright © 2011-2022 走看看