explicit构造函数能阻止隐式转换，因为它禁止编译器在赋值、函数传参等场景中自动调用单参数构造函数，仅允许显式调用（如Buffer(1024)），从而避免意外类型转换、资源泄漏及逻辑错误。
explicit 构造函数为什么能阻止隐式转换
因为 explicit 告诉编译器：“这个构造函数只能显式调用，不许在赋值、函数传参、返回值等场景里偷偷调用”。没有它时，单参数构造函数天然具备类型转换能力，容易在无意中触发构造，造成逻辑错误或性能浪费。
常见错误现象：std::string s = "hello"; 看似合理，但如果某个自定义类 MyString 有 MyString(const char*) 构造函数却没加 explicit，那么 func(MyString) 就可能被误调用成 func("world") —— 编译器自动帮你“转”了一次，你却完全没意识到。
- 只对**单参数构造函数**（或其余参数都有默认值）生效
- 不影响直接初始化：
MyString s("hello");始终合法 - 不影响
static_cast显式转换：static_cast仍可工作("hello")
不加 explicit 的危险代码示例
下面这段看似无害的代码，在启用 -Wconversion 或 -Wsign-conversion 时可能静默出错：
class Buffer {
public:
Buffer(size_t capacity) : data_(new char[capacity]), size_(capacity) {}
private:
char* data_;
size_t size_;
};
<p>void process(Buffer b) { /<em> ... </em>/ }</p><p>int main() {
process(1024); // ✅ 编译通过！但你真想把整数 1024 当作 buffer 大小传进去吗？
}</p>
这里 1024 被隐式转换为 Buffer，触发了堆内存分配。如果后续忘记析构或发生异常，就是资源泄漏。更糟的是，这种调用往往出现在深层调用链中，难以追踪。
加上 explicit 后的修复与调用方式
只需在构造函数前加 explicit，就能让上述调用立即报错：
class Buffer {
public:
explicit Buffer(size_t capacity) : data_(new char[capacity]), size_(capacity) {}
// ...
};
此时 process(1024) 编译失败，错误信息类似：no known conversion from 'int' to 'Buffer'。
- 合法调用必须显式：
process(Buffer(1024));或process(Buffer{1024}); - 若需支持字面量初始化，可额外提供
constexpr explicit构造函数（C++11 起） - 注意：
explicit不影响拷贝/移动构造函数，它们本就不参与隐式转换
哪些场景必须用 explicit（安全底线）
只要构造函数语义上**不是类型等价转换**，就该加 explicit。典型包括：
- 资源持有类（如
FileHandle(int fd)、Lock(Mutex&)）—— 隐式构造可能绕过 RAII 意图 - 数值封装类（如
Seconds(double s)）——wait(5)和wait(Seconds(5))语义完全不同 - 任何含非平凡副作用的单参构造（如日志、计数、网络连接）
例外极少：只有当你明确设计一个“类型转换器”类（比如 StringView(const std::string&)），且希望它像内置类型一样自由参与上下文转换时，才考虑不加 explicit —— 但现代 C++ 更倾向用 operator std::string_view() 显式声明转换操作符。
最容易被忽略的一点：模板类中带默认参数的构造函数也可能触发隐式转换，比如 template —— 这里 explicit 依然必要，否则 Optional 会悄悄发生构造。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
