mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
345879429b
* Make _sanityCheck internal * Make _debugPrecondition internal * Make Optional._unsafelyUnwrappedUnchecked internal. * Make _precondition internal * Switch Foundation _sanityChecks to assertions * Update file check tests * Remove one more _debugPrecondition * Update Optimization-with-check tests
49 lines
1.7 KiB
Swift
49 lines
1.7 KiB
Swift
//===--- WriteBackMutableSlice.swift --------------------------------------===//
|
|
//
|
|
// This source file is part of the Swift.org open source project
|
|
//
|
|
// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
|
|
// Licensed under Apache License v2.0 with Runtime Library Exception
|
|
//
|
|
// See https://swift.org/LICENSE.txt for license information
|
|
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
@inlinable
|
|
internal func _writeBackMutableSlice<C, Slice_>(
|
|
_ self_: inout C, bounds: Range<C.Index>, slice: Slice_
|
|
) where
|
|
C : MutableCollection,
|
|
Slice_ : Collection,
|
|
C.Element == Slice_.Element,
|
|
C.Index == Slice_.Index {
|
|
|
|
self_._failEarlyRangeCheck(bounds, bounds: self_.startIndex..<self_.endIndex)
|
|
|
|
// FIXME(performance): can we use
|
|
// _withUnsafeMutableBufferPointerIfSupported? Would that create inout
|
|
// aliasing violations if the newValue points to the same buffer?
|
|
|
|
var selfElementIndex = bounds.lowerBound
|
|
let selfElementsEndIndex = bounds.upperBound
|
|
var newElementIndex = slice.startIndex
|
|
let newElementsEndIndex = slice.endIndex
|
|
|
|
while selfElementIndex != selfElementsEndIndex &&
|
|
newElementIndex != newElementsEndIndex {
|
|
|
|
self_[selfElementIndex] = slice[newElementIndex]
|
|
self_.formIndex(after: &selfElementIndex)
|
|
slice.formIndex(after: &newElementIndex)
|
|
}
|
|
|
|
precondition(
|
|
selfElementIndex == selfElementsEndIndex,
|
|
"Cannot replace a slice of a MutableCollection with a slice of a smaller size")
|
|
precondition(
|
|
newElementIndex == newElementsEndIndex,
|
|
"Cannot replace a slice of a MutableCollection with a slice of a larger size")
|
|
}
|
|
|