请教关于 C++中类的构造/析构的一些问题

这个问题来源于一道 C++考试题，要求阅读代码写出输出，代码如下：

#include <iostream> #include <iomanip> using namespace std; class sample { private: int x; public: sample(int val = 0) { x= val; cout << "构造" << x << endl; } sample(const sample &obj) { x = obj.x; cout << "拷贝构造" << x << endl; } ~sample() { cout << "析构" << x << endl; } void operator++() { x++; } friend sample operator+(const sample &a, const sample &b) { sample tmp; tmp.x = a.x + b.x; return tmp; } }; void foo(sample i); int main() { sample s1, s2(1); foo(s1); foo(2); cin.get(); return 0; } void foo(sample i) { static sample s3 = i + 1; ++s3; } 

问题主要集中在foo函数中

static sample s3 = i + 1; 

这一行。当执行到foo(s1)时，我认为函数中关于 s3 的这一句执行顺序是这样的：

1. 表达式 i+1 中 i 与 1 类型不匹配，由于 sample 的构造函数重载之一 sample(int val=0)没有 explicit 参数，并且 sample 类对+的重载实现要求+的操作数为两个 sample 对象，故编译器使用该构造函数重载将 1 转换为一个临时 sample 对象，这里输出“构造 1 ”
2. 执行 i 与由 1 转换来的临时对象的加法。在加法函数中声明局部 sample 对象 tmp，输出“构造 0 ”。然后在加法重载函数返回时，由于返回值类项为 sample，因此新建一个临时 sample 对象并将 tmp 的值用于初始化这个临时 sample 对象，输出“拷贝构造 1 ”，此后，局部变量 tmp 被回收，输出“析构 1 ”。
3. 加法重载函数将上一步中最后生成的临时对象返回到调用处，s3 使用该临时对象初始化，输出“拷贝构造 1 ”。
4. 最后这一行代码中为了类型转换而生成的临时对象被销毁，输出“析构 1 ”。

我使用 Visual Studio 2017 编译，Debug x86 编译预设编译运行来检验我的设想，实际输出如下：

构造 1 构造 0 拷贝构造 1 析构 1 析构 1 

实际输出和我的设想不同之处在于，输出中没有上述 3.的输出。但是问题在于，进行单步调试后，我观察到在这句代码执行完毕进入++s3时，s3 对象确实已经被创建了，那么 s3 对象是用什么样的方式创建的呢？因为无论如何要创建一个新对象一定要调用某个构造函数，但是我没有能得到任何 s3 构造时产生的输出。

请问 s3 对象是以怎样的方式被构造的呢？感激不尽！