Блог

C 23 представил std::function двоюродного std::move_only_function брата , как и его название, это оболочка только для перемещения для вызываемых объектов, доступных только для перемещения (демо).:

 #include <functional>
#include <memory>

int main() {
  auto l = [p = std::make_unique<int>(0)] { };
  std::function<void(void)>           f1{std::move(l)}; // ill-formed
  std::move_only_function<void(void)> f2{std::move(l)}; // well-formed
}
 

Но в отличие std::function от этого , стандарт не определяет для него руководства по вычету (демонстрационное):

 #include <functional>

int func(double) { return 0; }
int main() {
  std::function f1{func};           // guide deduces function<int(double)>
  std::move_only_function f2{func}; // deduction failed
}
 

Есть ли причина для запрета CTAD?

Подобные обертки для стирания типов move_only_function предназначены для использования на границах API, где типы являются явными, что делает CTAD для них сомнительной полезностью.

Любой CTAD для этих вызываемых оболочек в любом случае должен быть довольно ограниченным — он не может обрабатывать перегруженные функции или шаблоны функций, что также означает, что он не может обрабатывать общие лямбды, что является довольно существенным ограничением его полезности. std::function CTAD также поставляется с оговоркой о том, что более поздние стандарты могут изменить выводимый тип (мы его еще не изменили, но и не удалили оговорку).

И при move_only_function этом выводятся не только типы возвращаемых данных и аргументов. const , noexcept , и ref-квалификаторы все в игре, и это создает новые проблемы с дизайном. Например, выводит ли вывод из int (*)(int) вывода int(int) ? Почему бы и нет int(int) const — указатели функций, в конце концов, можно вызывать постоянно?

И если CTAD окажется необходимым — и кто — то придумает для него хороший дизайн-его всегда можно добавить позже.

Я не знаю, все ли эти вопросы были затронуты в обсуждении LEWG (протоколы довольно скудны), но я думаю, что их более чем достаточно, чтобы оправдать отказ от поддержки CTAD.