Одна из основных идей, связанных с concepts, это описывать группу требований синтаксических и семантических требований к операциям. Однако, не смотря на это у нас есть большие проблемы с тем чтобы определить концепты для алгоритмов и контейнеров, люди начинают возвращаться к простому описанию операций Movable, Copiable итд. У меня есть идея на эту тему.
Многие расширения С++ (OpenCL, OpenMP SIMD, OpenACC. C++AMP и т.п.) требуют различать функции с разным ABI в рамках одной программы. Реализуется это обычно с использованием прагм и проприетарных атрибутов, что ограничивает применимость С++ к таким функциям. Предлагается ввести ABI в язык чтобы разрешить перегрузку по ABI, перехват ABI как части типа в std::function и std::bind, ABI-специфичные указатели и т.п.
Создать класс, хранящий файловый дескриптор и позволяющий получать атрибуты файла (аналогично fstat из POSIX) и читать/писать в файл, не открывая его заново.
Это удобный способ инициализировать структуры и массивы, который уже есть в С99: Person p = { .age = 18, .height=10, .weight = 5 }; int a[6] = { [4] = 29, [2] = 15 };
В книге Стандарты кодирования на С++ (Sutter, Alexandrescu) существует пример кода: vector::iterator i = find_if( v.begin(), v.end(), _1 > x && _1 < y); Сейчас это можно сделать через , кмк было бы хорошо иметь подобную возможность в stl.
Т.к. контейнеры в STL, задумывались для безопасного и удобного доступа к данным, мне кажется есть смысл разрешить данный случай конструктора. Чтобы не делать отдельную функцию проверки на случай если на вход пришла пустая строка из какой-то C-style библиотеки.