Нужен метод у std::optional, который возвращает по значению текущее содержимое, оставляя optional пустым.

Предлагаю добавить специализации struct hash для большинства контейнеров из Стандартной библиотеки таких как array, vector, tuple, valarray, deque, list, forward_list, map, set, multimap, multiset; адаптеров queue и stack; basic_string со пользовательским типом charT и аллокатором; для pair.

В C++17 добавили std::apply для вызова функции, где в качестве аргументов используюется содержимое std::tuple.
Однако не добавили возможность вызывать функцию для каждого из элементов std::tuple

Сейчас для std::variant можно узнать тип из его вариадичного списка по его индексу в нём, но нельзя сделать обратную операцию: узнать индекс типа.

Разрешить возможность создавать алиасы для Variadic Arguments или как-то по другому с ними работать. Подробнее в примере:

добавить модуль с набором constexpr-переменных, зависящих от флагов компиляции

По стандарту "throw XYZ" выделяет память под объект исключения "in unspecified way". Как следствие если это попытка аллокации проваливается -- поведение программы тоже "unspecified" и попытки обрабатывать нехватку памяти используя std:bad_alloc бессмысленны, ибо нет гарантии что само "throw std::bad_alloc()" в состоянии произойти.

Сейчас (Си++11) компилятор сначала выбирает перегрузку, а уже после смотрит какие методы удалены. В итоге иногда не может выбрать из 2 методов - удаленного и и нет.

методы erase/resize могут не подходить для некоторых типов

Заменить макрос на встроенный оператор.

Собираем в коментариях замечания, баги и нодочёты готовящегося C++20.