Как Span может обернуть массив, выделенный в куче, если он должен быть типом значения, выделенным в стеке?
Читая документацию MSFT по типу Span, я наткнулся на следующее:
Когда он оборачивает массив, Span может обернуть весь массив, как это было в примерах в разделе Span и память. Поскольку Span поддерживает нарезку, он также может указывать на любой непрерывный диапазон в массиве.
Это звучит несколько запутанно, поскольку тип Span определяется как ссылочная структура, размещенная в стеке, а не как управляемая куча.