Automatic Type Inference

נניח ואנו משתמשים במחלקות של $stl$ יווצרו לנו שורות אורוכות ומסובכות:

std::vector<int>::iterator iter = std::find(ids.begin(), ids.end(), 315085121);
std::pair<std::string, std::string> firstAndLastNames = std::minmax(
	names.begin(), names.end()
);
std::chrono::time_point<std::chrono::system_clock> time = std::chrono::system_clock::now();

לשם כך, נוכל להשתמש ב-$auto$ ובכך ניתן ל-$C++$ להבין לבד מה הטיפוס.

auto iter = std::find(ids.begin(), ids.end(), 315085121);
auto firstAndLastNames = std::minmax(names.begin(), names.end());
auto time = std::chrono::system_clock::now();

vector<string> names;
vector<int> ids;
auto& namesRef = names;
const auto& idsRef = ids;

חשוב להשתמש ב-$auto$ אך ורק כשסוג המשתנה ברור לגמרי ושאין שום תהיה לגביו.

template <class Sequance>
void printMax(const Sequence& seq, int n)
{
	auto maxval = seq[0];
	for (int i = 0; i < n; ++i)
	{
		maxval = seq[i] > maxval ? seq[i] : maxval;
	}
	cout << maxval;
}

template <class T, class U>
auto multiply(T x, U y)
{
	auto res = x * y;
	return res;
}

Move Semantics

כאשר דיברנו על בנאי העתקה ואופרטור השמה, אמרנו כי אנו לא מעוניינים לבצע אותם לרוב.
לרוב ההעתקה מיותרת ופוגעת בביצועים.

בתכלס, מה שאנחנו רוצים פה זה ליצור בנאים ופונקציות אשר לא ידרשו העתקות מיותרות.
נגדיר $move\;operator$ כך:

template <class T>
class Set
{
	int size;
	int maxSize;
	T* data;
public:
	Set(const Set&); // copy c'tor
	Set(Set&&);      // move c'tor
	
	Set& operator=(const Set&); // copy assignment operator
	Set& operator=(Set&&);      // move assignment operator
};

template<class T>
Set<T>::Set(Set&& other) : size(other.size), maxSize(other.maxSize), data(other.data)
{
	// other no longer controls original memory
	other.size = other.maxSize = 0;
	other.data = nullptr;
}