Заставить gsl :: as_span вернуть gsl :: span & lt; const T & gt ;?
Учитывая следующую функцию, принимая: только для чтения float span (динамического или статического размера):
template <long N> void foobar(gsl::span<const float, N> x);
Допустим, у меня есть vector<float>, Передача этого аргумента не работает, но и использование gsl::as_span:
std::vector<float> v = {1, 2, 3};
foobar(gsl::as_span(v));
Выше не компилируется. По-видимому gsl::as_span() возвращает gsl::span<float>, Кроме того, не понимая, почему неявное приведение к gsl::span<const float> не возможно, есть ли способ заставить gsl::as_span() вернуть диапазон только для чтения?
Решение
Просматривая GSL / span.h на странице github, на которую вы ссылались, я обнаружил следующую перегрузку: as_span что я верю, это то, что называется здесь:
template <typename Cont>
constexpr auto as_span(Cont& arr) -> std::enable_if_t<
!details::is_span<std::decay_t<Cont>>::value,
span<std::remove_reference_t<decltype(arr.size(), *arr.data())>, dynamic_range>>
{
Expects(arr.size() < PTRDIFF_MAX);
return {arr.data(), narrow_cast<std::ptrdiff_t>(arr.size())};
}
Здесь многое нужно переварить, но, в частности, возвращаемый тип этой функции сводится к span<std::remove_reference<decltype(*arr.data())>, ...>, Для вашего vector<float> дает span<float,...> так как decltype(*arr.data()) является float &, Я считаю, что следующее должно работать:
const auto & cv = v;
foobar(as_span(cv));
но я не могу проверить это сам, к сожалению. Дайте мне знать, если это работает.
Другие решения
Других решений пока нет …