只谈C++11新特性 - 转换构造函数_c++11 转换函数-优快云博客

本文链接：https://blog.youkuaiyun.com/magicworkshop/article/details/144852721

转换构造函数

引言

在 C++11 之前，C++ 中的构造函数主要通过参数列表完成初始化。然而，当面对多种初始化方式时，可能会产生歧义或潜在的错误。例如，隐式类型转换可能导致意外的行为。C++11 引入了转换构造函数及相关规则，提供了一种更安全和灵活的方式来处理初始化，尤其是在使用大括号列表语法时。

以下通过一个具体的例子说明 C++11 之前的问题。

#include <iostream>

class MyClass {
public:
    MyClass(int value) {
        std::cout << "Constructor called with value: " << value << std::endl;
    }
};

int main() {
    MyClass obj = 3.14; // 隐式转换 double -> int
    return 0;
}

问题

在 C++98 中，上述代码会将 3.14 隐式转换为 int（结果为 3），然后调用构造函数。这种隐式的缩窄转换可能会导致意料之外的行为，并且无法直接检测或防止。

为了解决这些问题，C++11 引入了以下改进：

大括号列表语法：一种新的初始化方式，能更安全地处理类型转换。
转换构造函数规则：支持使用 std::initializer_list 优先处理大括号列表语法。
禁止窄化转换：大括号列表初始化中不允许窄化转换，避免数据丢失。

C++11 转换构造函数

什么是转换构造函数？

转换构造函数（Converting Constructor）是指可以通过初始化列表或其他方式将值转换为类对象的构造函数。在 C++11 中，这种构造函数对大括号列表语法的支持得到了显著改进。

特点与规则

大括号列表语法的支持：转换构造函数会将大括号列表语法的值转换为构造函数的参数。
窄化转换限制：大括号列表语法不允许进行窄化转换。

#include <iostream>

class MyClass {
public:
    // 接受单个 int 参数的构造函数
    MyClass(int value) {
        std::cout << "Integer constructor called with value: " << value << std::endl;
    }
};

int main() {
    MyClass obj1{ 10 };        // 调用整数参数的构造函数
    // MyClass obj2{ 3.14 };      // 错误：大括号列表语法不允许进行窄化转换

    return 0;
}

std::initializer_list 优先：如果构造函数接受 std::initializer_list，则大括号列表语法会优先调用该构造函数。

struct A {
    A(int) {}
    A(int, int) {}
    A(int, int, int) {}
    A(std::initializer_list<int>) {}
};

A a {0, 0}; // 调用 A::A(std::initializer_list<int>)
A b(0, 0); // 调用 A::A(int, int)
A c = {0, 0}; // 调用 A::A(std::initializer_list<int>)
A d {0, 0, 0}; // 调用 A::A(std::initializer_list<int>)