オブジェクトが生成されない

Question

以下のコードを書きました．私は X 型のオブジェクトを４回作っているつもりです．

class X
{
public:
	int v = -99;
	static int nctorCalled;
	static int ndtorCalled;

	~X(){	++ndtorCalled;	}

	X( int v=0 ) : v{v} {	++nctorCalled;	std::cout << "int" << std::endl;	}
	X( const X &ref ){	++nctorCalled;	v=ref.v+10;	std::cout << "const &" << std::endl;	}
	X( X &&ref ){	++nctorCalled;	v=ref.v+100;	std::cout << "&&" << std::endl;	}
};
int X::nctorCalled = 0;
int X::ndtorCalled = 0;

inline void ShowV( const X &x ){	std::cout << "  " << x.v << "\n" << std::endl;	}

//
int main( /*int argc, const char *argv[]*/ )
{
	{
		X x1{1};
		ShowV(x1);

		X x2{ x1 };
		ShowV(x2);

		X x3{ X{4} };
		ShowV(x3);
	}

	std::cout << X::nctorCalled << std::endl;
	std::cout << X::ndtorCalled << std::endl;

	return 0;
}

しかしながら，出力は以下となりました．
X x3{ x{4} }; のところの X{4} が 4 に置き換えられてしまっている（そして，そのためにオブジェクトの生成回数が3回になってしまっている）ように見えます．

何故ですか？

int
  1

const &
  11

int
  4

3
3

[補足]
Visual Studio 2017 で実行しました．
何らかの最適化の結果なのか？と思ったのですが，プロジェクトのプロパティで最適化の設定は「無効(/Od)」となっています．

※本件のタイトルは「オブジェクトが生成されない？」として「？」を付けたかったのですが，それだと何故か投稿できなかったので，現状の（断定気味な感じの）タイトル文言になっています．

Answer 1

コンパイラの最適化ではなくて、言語仕様としてコピーが省略されることがあるそうです。

コピー省略

以下の状況において、コンパイラは、たとえコピー/ムーブコンストラクタおよびデストラクタが観察可能な副作用を持っていたとしても、クラスオブジェクトのコピーおよびムーブ構築を省略することが要求されます。

Comments

[fana]

そんなことが…！　ということは，

> 私は X 型のオブジェクトを４回作っているつもり

っていうのがそもそも間違い，ということですね．

[SaitoAtsushi]

・コピー省略が許容される (省略しなくてもよい) 場合がある
・コピー省略が許容されていた場合の一部は C++17 以降は省略が必須になった (必須ではない場合も残っている)

質問の事例では C++14 まではオブジェクトの生成が 3 の場合も 4 の場合もあり得ますが、 C++17 以降では確実に 3 になります。

[fana]

試しにプロジェクトプロパティで C++14 を指定してみましたが 3 の側でした．
こういうのを書かない（：「省略されようがされまいが，どうでもいいし」って言えるような実装を行う）ように注意しないと危険そうですね．