Почему `std :: sample` принимает` UniformRandomBitGenerator` как &&?

Question

std::uniform_real_distribution::operator() является:

template< class Generator > 
result_type operator()(Generator& g); 

в то время как std::sample является:

template< class PopulationIterator, class SampleIterator, 
      class Distance, class UniformRandomBitGenerator > 
SampleIterator sample(PopulationIterator first, PopulationIterator last, 
         SampleIterator out, Distance n, 
         UniformRandomBitGenerator&& g); 

Я только ссылки uniform_real_distribution здесь, потому что это еще одно место в стандарте, который принимает генератор и sample и std::uniform_real_distribution::operator() взять их в разные пути. Просто любопытно об этом.

Answer 1

1. sample в конечном счете необходим неконстантный генератор, но это также очень удобно, чтобы временные генераторы должны быть переданы в, которое не было бы возможно, если он взял генератор по неконстантному Lvalue ссылке. Очевидное решение: ссылка на пересылку и неизбежная ошибка компилятора, если предоставляется константа lvalue.

   С другой стороны, я полагаю, что почти не будет, как обычно, передавать временный генератор одному вызову распределения –, учитывая затраты на создание/инициализацию большинства генераторов, причем большая часть времени, быть ямой неэффективности. В этом свете, как, например, std::vector недостаток push_front и pop_front, что обескураживает эту неэффективность, активно делая ее анти-шаблоном, вероятно, лучше всего делать.

2. Хронологически, <random> значительно предшествует C++ 11 (он исходит от TR1 и Boost до этого), и не обязательно был полностью обновлен, чтобы использовать новые языковые функции при включении в стандарт.