Gsl:: not_null <T *> vs. std:: reference_wrapper <T> против T &

Ответ 1

Ссылки не являются указателями, которые не могут быть пустыми. Ссылки семантически сильно отличаются от указателей.

Ссылки имеют назначение значений и семантику сравнения; то есть операции присваивания или сравнения, включающие ссылки, считывают и записывают ссылочное значение. Указатели имеют (контринтуитивно) ссылочное задание и семантику сравнения; то есть операции присваивания или сравнения, включающие указатели, считывают и записывают саму ссылку (т.е. адрес ссылочного объекта).

Как вы заметили, ссылки не могут быть отскок (из-за семантики присваивания значения), но шаблон класса reference_wrapper<T> может быть отскок, потому что он имеет семантику назначения ссылок. Это связано с тем, что reference_wrapper<T> предназначен для использования с контейнерами и алгоритмами STL и не будет корректно вести себя, если его оператор назначения копирования не сделал то же самое, что и его конструктор копирования. Тем не менее, reference_wrapper<T> по-прежнему имеет семантику сравнения значений, как ссылку, поэтому при использовании с контейнерами и алгоритмами STL ведет себя по-разному. Например, set<T*> может содержать указатели на разные объекты с одинаковым значением, а set<reference_wrapper<T>> может содержать ссылку только на один объект с заданным значением.

Шаблон класса not_null<T*> имеет ссылочное назначение и семантику сравнения, например указатель; это указательный тип. Это означает, что он работает как указатель при использовании с контейнерами STL и алгоритмами. Он просто не может быть нулевым.

Итак, вы правы в своей оценке, за исключением того, что вы забыли о семантике сравнения. И нет, reference_wrapper<T> не будет устаревать любым типом типа указателя, потому что он имеет ссылочную семантику сравнения значений.

Ответ 2

Я думаю, что есть еще варианты использования std::reference_wrapper, которые не покрываются gsl::not_null. В принципе, std::reference_wrapper отражает ссылку и имеет преобразование operator T&, а not_null имеет интерфейс указателя с operator->. Один случай использования, который приходит мне на ум сразу, - это создание потока:

void funcWithReference(int& x) { x = 42; }
int i=0;
auto t = std::thread( funcWithReference, std::ref(i) );

Если у меня нет контроля над funcWithReference, я не могу использовать not_null.

То же самое относится к функторам для алгоритмов, и мне пришлось использовать его для привязки boost::signals тоже.

Ответ 3

Вот полезная статья, в которой обсуждаются gsl:not_null: https://visualstudiomagazine.com/articles/2016/06/01/using-the-not_null-template.aspx

Соответствующая часть:

Многие разработчики стараются использовать ссылки как можно больше, потому что ссылки не могут быть нулевыми, но вы не можете повторно использовать ссылку и получить ее ссылаться на что-то другое, как вы можете с помощью указателя. Так что указатели времени - это то, что вы должны использовать, что возвращает вас ко всем что проверка нулевой точки и повторяющийся страх перед исключением с нулевым указателем.