题目

编写程序，演示单参数构造函数默认会充当隐式类型转换符的深层隐患。以大整数类 BigInt 或容量尺寸类 Buffer 为例，证明在未加 explicit 时，类似 Buffer b = 10; 或函数传参时会发生让人匪夷所思的隐式静默构造；随后加上 explicit 关键字，禁止一切隐式类型转换，强制调用方必须显式采用直接初始化（Buffer b(10);）。

输入格式：无需外部输入。

输出格式：输出 explicit 约束下的显式构造与类型安全规范说明。

数据范围与约定：C++ 隐式转换阻断、类型安全与 explicit 修饰符。

思路与算法

1. 隐式转换的危险实例
设想有一个 Array(int size) 类，若未修饰 explicit，如果有人误写 void print(Array a); 并调用 print(100)，编译器居然会静默构造一个容量 100 的巨大空数组传递进去！这种 Bug 极度隐蔽且毫无编译期告警。

2. explicit 的语义限制
被 explicit 修饰的构造函数，只能用于显式初始化（如 Obj o(arg)、Obj o{arg} 或静态强转 static_cast<Obj>(arg)），无法参与 Obj o = arg 赋值初始化或函数的隐式实参转换。

3. 现代 C++11 explicit 扩展
在 C++11 中，explicit 还可以修饰自定义类型转换运算符（如 explicit operator bool() const;），防止对象在算术表达式中被意外当成整型参与运算。

完整程序

#include <iostream>

class SafeBuffer {
private:
    size_t capacity_;
    int* ptr_;

public:
    // 关键：explicit 阻断整型到 SafeBuffer 的任何隐式意外类型转换
    explicit SafeBuffer(size_t cap) : capacity_(cap), ptr_(new int[cap]{0}) {
        std::cout << "[显式构造 SafeBuffer] 容量大小: " << capacity_ << "\n";
    }

    ~SafeBuffer() {
        delete[] ptr_;
    }

    size_t getCapacity() const { return capacity_; }
};

void processBuffer(const SafeBuffer& buf) {
    std::cout << "正在处理 SafeBuffer，当前容量: " << buf.getCapacity() << "\n";
}

int main() {
    std::cout << "--- 1. 正确的显式构造方式 ---\n";
    SafeBuffer buf1(256);         // 允许：直接圆括号初始化
    SafeBuffer buf2{512};         // 允许：花括号列表初始化
    processBuffer(SafeBuffer(64)); // 允许：显式临时对象传参

    std::cout << "\n--- 2. 隐式转换已被 explicit 成功阻断 ---\n";
    // 以下写法均会被编译器在编译期直接报错拦截，杜绝逻辑歧义：
    // SafeBuffer buf3 = 1024;    // 错误：不可执行隐式赋值拷贝转换
    // processBuffer(128);        // 错误：不可将整数 128 隐式当作 Buffer 对象传参
    std::cout << "验证通过：已成功阻止类似 'processBuffer(128)' 的整型隐式参数污染。\n";

    return 0;
}

运行示例

输出：

--- 1. 正确的显式构造方式 ---
[显式构造 SafeBuffer] 容量大小: 256
[显式构造 SafeBuffer] 容量大小: 512
[显式构造 SafeBuffer] 容量大小: 64
正在处理 SafeBuffer，当前容量: 64

--- 2. 隐式转换已被 explicit 成功阻断 ---
验证通过：已成功阻止类似 'processBuffer(128)' 的整型隐式参数污染。