vector

puch_backよりもemplace_backがいいと言われていて実験したら、push_backだとコピーコンストラクタが呼ばれないのに、emplace_backだと呼ばれる現象が発生。

結論

ムーブコンストラクタにnoexceptをつければコピーコンストラクタの代わりにムーブコンストラクタが呼ばれる。

#include <iostream>
#include <vector>
#include <string>
#include <cassert>
#include <iostream>

class MyKlass {
	int ii_;
	float ff_;
	std::string ss_;
public:
	MyKlass(int ii, float ff, const std::string& ss) :
		ii_(ii), ff_(ff), ss_(ss) {
		std::cout << "ctor" << std::endl;
	}
	MyKlass(const MyKlass& that) :
		ii_(that.ii_), ff_(that.ff_), ss_(that.ss_) {
		std::cout << "copy" << std::endl;
	}
	MyKlass(MyKlass&& that) :
		ii_(that.ii_), ff_(that.ff_), ss_(std::move(that.ss_)) {
		std::cout << "move" << std::endl;
	}

	~MyKlass() {
		std::cout << "dtor" << std::endl;
	}
};

// just add 'noexcept' to move ctor
class MyKlassWithNoExcept {
	int ii_;
	float ff_;
	std::string ss_;
public:
	MyKlassWithNoExcept(int ii, float ff, const std::string& ss) :
		ii_(ii), ff_(ff), ss_(ss) {
		std::cout << "ctor" << std::endl;
	}
	MyKlassWithNoExcept(const MyKlassWithNoExcept& that) :
		ii_(that.ii_), ff_(that.ff_), ss_(that.ss_) {
		std::cout << "copy" << std::endl;
	}
	MyKlassWithNoExcept(MyKlassWithNoExcept&& that) noexcept :
		ii_(that.ii_), ff_(that.ff_), ss_(std::move(that.ss_)) {
		std::cout << "move" << std::endl;
	}

	~MyKlassWithNoExcept() {
		std::cout << "dtor" << std::endl;
	}
};

int main()
{
	// without noexcept
	{
		{
			std::vector<MyKlass> v;
			v.emplace_back(2, 3.14f, "jio");  // ctor
			std::cout << "---" << std::endl;
			
			v.emplace_back(2, 3.14f, "jio");  // ctor, copy, dtor
			std::cout << "---" << std::endl;
			
			v.emplace_back(2, 3.14f, "jio");  // ctor, copy, copy, dtor, dtor
			std::cout << "---" << std::endl;
		}

		std::cout << "------------------" << std::endl;

		{
			std::vector<MyKlass> v;
			v.push_back(MyKlass(2, 3.14f, "jij"));  // ctor, move, dtor
			std::cout << "---" << std::endl;

			v.push_back(MyKlass(2, 3.14f, "jij"));  // ctor, move, copy, dtor, dtor
			std::cout << "---" << std::endl;
			
			v.push_back(MyKlass(2, 3.14f, "jij"));  // ctor, move, copy, copy, dtor, dtor, dtor
			std::cout << "---" << std::endl;
		}

		std::cout << "------------------" << std::endl;
	}

	// with noexcept
	{
		{
			std::vector<MyKlassWithNoExcept> v;
			v.emplace_back(2, 3.14f, "jio");  // ctor
			std::cout << "---" << std::endl;

			v.emplace_back(2, 3.14f, "jio");  // ctor, move, dtor
			std::cout << "---" << std::endl;

			v.emplace_back(2, 3.14f, "jio");  // ctor, move, move, dtor, dtor
			std::cout << "---" << std::endl;
		}

		std::cout << "------------------" << std::endl;

		{
			std::vector<MyKlassWithNoExcept> v;
			v.push_back(MyKlassWithNoExcept(2, 3.14f, "jij"));  // ctor, move, dtor
			std::cout << "---" << std::endl;

			v.push_back(MyKlassWithNoExcept(2, 3.14f, "jij"));  // ctor, move, move, dtor, dtor
			std::cout << "---" << std::endl;

			v.push_back(MyKlassWithNoExcept(2, 3.14f, "jij"));  // ctor, move, move, move, dtor, dtor, dtor
			std::cout << "---" << std::endl;
		}

		std::cout << "------------------" << std::endl;
	}

}

100

101

102

103

104

105

106

107

108

109

110

111

112

113

114

115

116

117

118

#include <iostream>

#include <vector>

#include <string>

#include <cassert>

#include <iostream>

class MyKlass {

int ii_;

float ff_;

std::string ss_;

public:

MyKlass(int ii, float ff, const std::string& ss) :

ii_(ii), ff_(ff), ss_(ss) {

std::cout << "ctor" << std::endl;

}

MyKlass(const MyKlass& that) :

ii_(that.ii_), ff_(that.ff_), ss_(that.ss_) {

std::cout << "copy" << std::endl;

}

MyKlass(MyKlass&& that) :

ii_(that.ii_), ff_(that.ff_), ss_(std::move(that.ss_)) {

std::cout << "move" << std::endl;

}

~MyKlass() {

std::cout << "dtor" << std::endl;

}

};

// just add 'noexcept' to move ctor

class MyKlassWithNoExcept {

int ii_;

float ff_;

std::string ss_;

public:

MyKlassWithNoExcept(int ii, float ff, const std::string& ss) :

ii_(ii), ff_(ff), ss_(ss) {

std::cout << "ctor" << std::endl;

}

MyKlassWithNoExcept(const MyKlassWithNoExcept& that) :

ii_(that.ii_), ff_(that.ff_), ss_(that.ss_) {

std::cout << "copy" << std::endl;

}

MyKlassWithNoExcept(MyKlassWithNoExcept&& that) noexcept :

ii_(that.ii_), ff_(that.ff_), ss_(std::move(that.ss_)) {

std::cout << "move" << std::endl;

}

~MyKlassWithNoExcept() {

std::cout << "dtor" << std::endl;

}

};

int main()

{

// without noexcept

{

std::vector<MyKlass> v;

v.emplace_back(2, 3.14f, "jio"); // ctor

std::cout << "---" << std::endl;

v.emplace_back(2, 3.14f, "jio"); // ctor, copy, dtor

std::cout << "---" << std::endl;

v.emplace_back(2, 3.14f, "jio"); // ctor, copy, copy, dtor, dtor

std::cout << "---" << std::endl;

}

std::cout << "------------------" << std::endl;

{

std::vector<MyKlass> v;

v.push_back(MyKlass(2, 3.14f, "jij")); // ctor, move, dtor

std::cout << "---" << std::endl;

v.push_back(MyKlass(2, 3.14f, "jij")); // ctor, move, copy, dtor, dtor

std::cout << "---" << std::endl;

v.push_back(MyKlass(2, 3.14f, "jij")); // ctor, move, copy, copy, dtor, dtor, dtor

std::cout << "---" << std::endl;

}

std::cout << "------------------" << std::endl;

}

// with noexcept

{

std::vector<MyKlassWithNoExcept> v;

v.emplace_back(2, 3.14f, "jio"); // ctor

std::cout << "---" << std::endl;

v.emplace_back(2, 3.14f, "jio"); // ctor, move, dtor

std::cout << "---" << std::endl;

v.emplace_back(2, 3.14f, "jio"); // ctor, move, move, dtor, dtor

std::cout << "---" << std::endl;

}

std::cout << "------------------" << std::endl;

{

std::vector<MyKlassWithNoExcept> v;

v.push_back(MyKlassWithNoExcept(2, 3.14f, "jij")); // ctor, move, dtor

std::cout << "---" << std::endl;

v.push_back(MyKlassWithNoExcept(2, 3.14f, "jij")); // ctor, move, move, dtor, dtor

std::cout << "---" << std::endl;

v.push_back(MyKlassWithNoExcept(2, 3.14f, "jij")); // ctor, move, move, move, dtor, dtor, dtor

std::cout << "---" << std::endl;

}

std::cout << "------------------" << std::endl;

}

ソース：https://github.com/ambiesoft/blogprogs/tree/master/5767

TLTR

	vector<string> vs = { "aaa", "bbb", "ccc" };

	ostringstream oss;
	std::copy(vs.begin(), vs.end(),
		ostream_iterator<string>(oss, " "));

vector<string> vs = { "aaa", "bbb", "ccc" };

ostringstream oss;

std::copy(vs.begin(), vs.end(),

ostream_iterator<string>(oss, " "));

ostringstreamとは

<<で渡された値を内部に持っているstringに追加していく。

	ostringstream oss;
	oss << 1 ;
	oss << 10 << "\n";
	oss << 100 << "\n";

	oss << "xxx" << "\n";
	oss << "yyy" << "\n";
	oss << "zzz" << "\n";

	cout << oss.str() << endl;

ostringstream oss;

oss << 1 ;

oss << 10 << "\n";

oss << 100 << "\n";

oss << "xxx" << "\n";

oss << "yyy" << "\n";

oss << "zzz" << "\n";

cout << oss.str() << endl;

ostream_iteratorとは

=で渡された値をコンストラクタで渡された出力ストリームに追加していく。
コンストラクタの２番めの引数はデリミタを指定する。=でストリームに追加したあとにこの値も追加する。デフォルトでは何も追加しない。
++演算では何もしない。これにより下記のcopyで役に立つ。

	{
		ostream_iterator<int> osi(cout, "\n");
		osi = 1;
		osi = 2;
		osi = 3;
	}
	{
		ostream_iterator<string> osi(cout, "\n");
		osi = "osstest1";
		osi = "osstest2";
		osi = "osstest3";
	}

{

ostream_iterator<int> osi(cout, "\n");

osi = 1;

osi = 2;

osi = 3;

}

{

ostream_iterator<string> osi(cout, "\n");

osi = "osstest1";

osi = "osstest2";

osi = "osstest3";

}

上のコードは以下のようにコンソールに出力される。

1
2
3
osstest1
osstest2
osstest3

osstest1

osstest2

osstest3

copyとは

第一引数と第二引数のイテレータで入力範囲を指定する。
第三引数で出力イテレータを指定する。

入力出力とも++で一個ずつずらしていって=でコピーする。

	{
		vector<int> vi = { 1, 2, 3 };
		vector<int> vi2(3);

		copy(vi.begin(), vi.end(),
			vi2.begin());
	}
	{
		vector<string> vs = { "a", "b", "c" };
		vector<string> vs2(3);

		copy(vs.begin(), vs.end(),
			vs2.begin());
	}

{

vector<int> vi = { 1, 2, 3 };

vector<int> vi2(3);

copy(vi.begin(), vi.end(),

vi2.begin());

}

{

vector<string> vs = { "a", "b", "c" };

vector<string> vs2(3);

copy(vs.begin(), vs.end(),

vs2.begin());

}

ostream_iteratorの++は何もしないで=で値をストリームに追加する。（最初のコード参照）

Tag Archives: vector

emplace_backでムーブコンストラクタがあるのにコピーコンストラクタが呼ばれる

結論

stringのvectorをスペースで区切って１つのstringにする

TLTR

ostringstreamとは

ostream_iteratorとは

copyとは