К сожалению, реализация Apple не является открытым исходным кодом, поэтому мы не можем сказать наверняка. Однако из простого тестирования кажется, что он создает новую копию подмассива.
Хотя вы правы в том, что это может привести к квадратной схеме использования памяти, в некоторых случаях она также эффективна. Представьте, что у вас очень большой массив и вам нужен только маленький подмассив. Большой массив не будет освобожден, если подмассив повторно использует внутренний массив.