Почему std::coroutine_handle ссылается только на сопрограмму (через необработанный указатель), а не владеет ею (через std::unique_ptr)?

Когда вы await, awaiter получает доступ к сопрограмме через дескриптор сопрограммы. Он не владеет сопрограммой.

Таким образом, если бы мы добавили дескриптор владельца, нам все равно потребовался бы дескриптор, не являющийся владельцем.

Написание владеющего дескриптора сопрограммы

template<class T>
struct destroy_coroutine {
  void operator()(auto&& handle)const {
    handle.destroy();
  }
  using pointer=std::coroutine_handle<T>;
};
template<class T=void>
using unique_coroutine_handle = std::unique_ptr< std::coroutine_handle<T>, destroy_coroutine<T> >;

довольно короткий. (извиняюсь, если у меня выше опечатки; звонки на завтрак!)

Дескриптор, не являющийся владельцем, имеет смысл как часть низкоуровневого API сопрограммы. await_suspend передается дескриптор ожидающей сопрограммы, но эта сопрограмма обычно фактически принадлежит возвращаемому объекту (например, std::generator, предложенному std::task и т. д.). Таким образом, по крайней мере один из этих двух дескрипторов не должен быть владельцем. Поэтому, если язык должен предоставлять только один тип дескриптора сопрограммы, он должен быть невладеющим.

Кроме того, вы можете легко создать тип дескриптора владеющей сопрограммы, который обертывает невладеющий тип. Но на практике это, как правило, не так уж полезно, поскольку ожидается, что пользователям редко придется напрямую взаимодействовать с дескрипторами сопрограмм. Вам нужно будет написать лишь небольшое количество возвращаемых типов сопрограммы, и, надеюсь, не составит большого труда не забыть написать для них деструктор и конструктор перемещения (и, возможно, оператор перемещения перемещения).