QT学习记录（008）：explicit 关键字的作用

1 explicit关键字作用

        在Qt中，explicit 关键字通常用于声明构造函数，以防止隐式类型转换。当一个构造函数被声明为 explicit 时，它将只能被显式调用，而不能进行隐式的类型转换。

class MyClass {
public:
    // 普通构造函数
    MyClass(int value) {
        // 构造函数的实现
    }
};

void someFunction(MyClass obj) {
    // 函数实现
}

int main() {
    MyClass obj1 = 42;  // 允许，隐式类型转换
    MyClass obj2(42);   // 允许，显式调用构造函数
    someFunction(42);   // 允许，隐式类型转换

    return 0;
}

        在上面的例子中，MyClass 的构造函数接受一个整数参数。由于没有使用 explicit 关键字，编译器允许隐式地将整数转换为 MyClass 对象。这可能导致一些意外的行为，尤其是在函数调用时。

        如果我们将构造函数声明为 explicit，则上述的隐式类型转换将不再被允许：

class MyClass {
public:
    // 使用 explicit 关键字声明构造函数
    explicit MyClass(int value) {
        // 构造函数的实现
    }
};

void someFunction(MyClass obj) {
    // 函数实现
}

int main() {
    // 下面这行将会产生编译错误，因为没有允许的隐式类型转换
    MyClass obj1 = 42;

    MyClass obj2(42);   // 允许，显式调用构造函数
    someFunction(42);   // 允许，隐式类型转换

    return 0;
}

        在 MyClass obj1 = 42; 这种情况下，如果 MyClass 的构造函数不是 explicit，将会发生隐式类型转换，将整数 42 转换为 MyClass 对象。这可能导致一些潜在的问题和意外行为：

        （1）不必要的类型转换： 隐式类型转换可能会在不需要的情况下发生，引入代码的不确定性。如果你期望在这里进行显式的对象创建，而不是类型转换，那么这种行为可能会误导阅读代码的人。

        （2）性能损失： 隐式类型转换可能涉及额外的运行时开销，尤其是在频繁调用的地方。显式地调用构造函数可能更为清晰，而且可以避免不必要的开销。

        （3）可能引发错误： 如果 MyClass 对象的构造函数执行了一些逻辑或分配了资源，隐式类型转换可能导致不期望的副作用，因为它可能被误用为普通函数调用而不是对象创建。

        （4）代码可读性下降： 隐式类型转换可能会使代码更难理解，特别是对于不熟悉代码的人来说。显式地调用构造函数可以更清晰地表达你的意图。

        通过将构造函数声明为 explicit，可以明确表示你不希望发生隐式类型转换，从而提高代码的可维护性和可读性，减少潜在的错误和意外行为。

2 MyClass obj1 = 42;是如何进行隐式调用

        在 MyClass obj1 = 42; 这句话中，如果 MyClass 的构造函数不是 explicit，编译器将尝试进行隐式类型转换。让我们详细分析这个语句的语法结构：

    （1）初始化语句：MyClass obj1 = 42; 是一个初始化语句，用于创建一个名为 obj1 的 MyClass 类型的对象，并用整数 42 进行初始化。

    （2）构造函数调用：由于整数 42 的类型与 MyClass 不匹配，编译器会尝试寻找一个适用的构造函数进行类型转换。如果存在一个构造函数 MyClass(int value)，它可以将整数转换为 MyClass 对象，那么该构造函数将被调用。

    （3）对象创建：构造函数的调用将创建一个新的 MyClass 对象，其成员变量（如果有的话）将被适当初始化。

        整个过程可以分解为以下步骤：

MyClass obj1;       // 默认构造函数创建一个未初始化的对象
obj1 = MyClass(42);  // 调用构造函数，将整数转换为 MyClass 对象，然后赋值给 obj1

        这里有一些要注意的地方：

        a）临时对象： 在 MyClass(42) 这一步，可能会创建一个临时的 MyClass 对象，然后将其赋值给 obj1。这依赖于编译器的优化，有些编译器可能直接在 obj1 上调用构造函数，而不创建临时对象。

        b）复制构造函数： 如果 MyClass 有复制构造函数，可能会在构造函数调用后调用复制构造函数来初始化 obj1。这取决于编译器和构造函数的具体实现。

        c）效果等同于构造函数调用： 虽然使用了赋值运算符 =，但整体效果与直接调用构造函数 MyClass obj1(42); 是一样的，只是语法上稍有不同。

        总体而言，这个过程允许将整数 42 隐式转换为 MyClass 对象，并且可以正常进行对象的创建和初始化。