Современный C++ и его будущее

Двоичные литералы

int x = 0b10010;  // 18

Разбиение чисел на разряды

const int EARTH_RADIUS = 40'000'000;

auto как возвращаемый тип

struct Date {
  int year, month, day;

  auto key() const {  // tuple<const int&, ...>
    return tie(year, month, day);
  }  
  bool operator<(const Date& other) const {
    return key() < other.key();
  }
};

Множество, упорядоченное по убыванию

#include <functional>
        
set<int, greater<>> numbers;
        

• Как написать свой greater?

Строковые литералы

#include <string>
        
cout << min("abc"s, "def"s) << endl;
        

• "abc"s имеет тип string

Ещё про auto

vector<int> numbers = {1, 2, 3};
        
auto x = numbers[1];

• Какой тип имеет x?

Ещё про auto

vector<int> numbers = {1, 2, 3};
        
auto x = numbers[1];

• Какой тип имеет x?
• x имеет тип int, хотя numbers[1] — int&

decltype(auto)

vector<int> numbers = {1, 2, 3};
        
decltype(auto) x = numbers[1];

• x имеет тип int&

auto в лямбдах

auto avg = [](auto x, auto y) {
  return (x + y) / 2;
};
cout << avg(5, 12) << " " <<
    avg(5., 12.) << endl;

Structured bindings

map<string, int> numbers = /* ... */;
for (const auto& [key, value] : numbers) {
    cout << key << " " << value << endl;
}

auto [it, inserted] =
    numbers.emplace("seventh", 7);

Вывод шаблонных параметров класса

tuple t(5, "abc", false);
        
vector v = {1, 6, 3};

if с инициализацией

map<string, int> numbers;
        
if (auto it = numbers.find("one");
    it != numbers.end()) {
  cout << it->second;
}

string_view

#include <string_view>
        
string_view FindFirstWord(string_view s) {
  return s.substr(0, s.find(' '));
}

optional

#include <optional>
optional<string> MakeDigitName(uint8_t x) {
  if (x == 0) {
    return "zero";
  } else if (x == 1) {
    return "one";
  } else {
    return {};
  }
}

Класс optional

#include <optional>
        
if (auto name = MakeDigitName(0)) {
  cout << *name << endl;
} else {
  cout << "Unknown digit" << endl;
}

Класс any

#include <any>
        
any x = "abc"s;
cout << any_cast<string>(x) << endl;
x = 8;
cout << any_cast<int>(x) << endl;

Класс variant

#include <variant>
        
enum class Error { Negative, TooBig };

variant<string, Error> MakeDigitName(int x) {
  if (x == 0)     { return "zero"; }
  else if (x < 0) { return Error::Negative; }
  else            { return Error::TooBig; }
}

Класс variant

if (auto res = MakeDigitName(12);
    holds_alternative<string>(res)) {
  cout << get<string>(res) << endl;
} else {
  cout <<
      static_cast<int>(get<Error>(res)) << endl;
}

Алгоритм clamp

#include <algorithm>
        
int n;
cin >> n;
cout << clamp(n, 0, 100) << endl;

• 57 → 57
• −9 → 0
• 179 → 100

hypot от 3 аргументов

cout << hypot(2, 3, 6) << endl;  // 7

НОД и НОК

#include <numeric>
        
cout << gcd(6, 8) << endl;  // 2
cout << lcm(6, 8) << endl;  // 24

Folding expressions

template <typename... Args>
auto Hypot(Args... args) {
  return sqrt(((args * args) + ...));
}

Концепты

wg21.link/concepts

template <typename T>
concept bool Summable =
requires(T x, T y) {
	{x + y} -> T;
};

auto sum(Summable a, Summable b) {
	return a + b;
}

Концепты

wg21.link/concepts

template <typename T>
concept bool Summable =
requires(T x, T y) {
	{x + y} -> T;
};

Summable{T}
T sum(T a, T b) { return a + b; }

Ranges

wg21.link/ranges

vector<numbers> v = {1, 2, 3};
reverse(v);

vector<string> words = {"first", "second"};
// Сортировка по последней букве
sort(words, less<>,
     [](const string& s) { return s.back(); })

Ranges

wg21.link/ranges

vector<numbers> v = {1, 2, 3};
auto [min_it, max_it] = minmax_element(v);
cout << *min_it << " " << *max_it << endl;

auto res = minmax_element(v);
cout << *res.min() << " " <<
    *res.max() << endl;

Числа

• Целые числа неограниченного размера: n4038
• Целые числа произвольного, но ограниченного размера: p0106r0
• Рациональные числа: n3611