显式丢弃返回对象时，构造函数副作用的执行保障（Rust vs C++）

在Rust中，你完全可以用let _ = esp_hal::gpio::Io::new();这种方式保留方法的副作用，无需使用返回的实例，你的核心认知是对的，但关于“省略Io实例构造”的部分需要补充细节：

• 副作用的绝对保证：
  Rust编译器遵循严格的语义规则，只要函数被调用（哪怕返回值被丢弃），函数内部所有可见的副作用（比如硬件寄存器写入、驱动初始化这类操作）都必须执行，不会像C++那样因RVO/NRVO优化跳过函数逻辑。对于esp_hal::gpio::Io::new()来说，它完成的IO驱动初始化属于必须执行的副作用，编译器绝不会省略这部分代码。

• 实例构造的细节：
  let _ = ...并不会省略Io实例的构造——实例确实会被创建，只是随后立即被丢弃（如果该类型实现了Drop trait，会调用对应的析构逻辑）。不过对于Io这类硬件驱动结构体，它的Drop通常不会执行反向初始化操作（比如关闭硬件），所以丢弃实例不会抵消之前的初始化效果。

• 与C++的核心差异：
  C++的"as-if"规则允许编译器在不改变程序可观察行为的前提下做激进优化，而Rust的内存模型和优化规则更严格，明确要求函数调用的副作用必须保留，除非能证明副作用完全不可见（比如纯计算且无外部交互的代码）。

总结：你写的let _ = esp_hal::gpio::Io::new();代码是安全的，IO初始化的副作用一定会执行，不需要修正核心认知，只需明确实例会被构造后再丢弃，但这对硬件初始化的效果没有影响。

内容的提问来源于stack exchange，提问作者gstukelj