Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adds SpanSplitEnumerator #104534

Merged
merged 7 commits into from
Jul 18, 2024
Merged

Adds SpanSplitEnumerator #104534

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
771ff44
Adds SpanSplitEnumreator
bbartels Jul 6, 2024
515b078
Recommended changes to new MemoryExtensions.Split behavior, implement…
stephentoub Jul 15, 2024
d620771
Make tests native aot compatible
stephentoub Jul 16, 2024
0cb6680
Merge branch 'main' into SpanSplitEnumeratorNewFinalThisTimeForSure
stephentoub Jul 17, 2024
6986677
Move SpanLineEnumerator to System.Text
stephentoub Jul 17, 2024
1b611a1
Merge branch 'main' into SpanSplitEnumeratorNewFinalThisTimeForSure
stephentoub Jul 17, 2024
565ad31
Move SpanSplitEnumerator back to MemoryExtensions
stephentoub Jul 17, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 12 additions & 0 deletions src/libraries/System.Memory/ref/System.Memory.cs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -350,6 +350,10 @@ public static void Sort<TKey, TValue>(this System.Span<TKey> keys, System.Span<T
public static void Sort<TKey, TValue>(this System.Span<TKey> keys, System.Span<TValue> items, System.Comparison<TKey> comparison) { }
public static void Sort<T, TComparer>(this System.Span<T> span, TComparer comparer) where TComparer : System.Collections.Generic.IComparer<T>? { }
public static void Sort<TKey, TValue, TComparer>(this System.Span<TKey> keys, System.Span<TValue> items, TComparer comparer) where TComparer : System.Collections.Generic.IComparer<TKey>? { }
public static System.MemoryExtensions.SpanSplitEnumerator<T> Split<T>(this System.ReadOnlySpan<T> source, T separator) where T : IEquatable<T> { throw null; }
public static System.MemoryExtensions.SpanSplitEnumerator<T> Split<T>(this System.ReadOnlySpan<T> source, System.ReadOnlySpan<T> separator) where T : IEquatable<T> { throw null; }
public static System.MemoryExtensions.SpanSplitEnumerator<T> SplitAny<T>(this System.ReadOnlySpan<T> source, [System.Diagnostics.CodeAnalysis.UnscopedRef] params System.ReadOnlySpan<T> separators) where T : IEquatable<T> { throw null; }
public static System.MemoryExtensions.SpanSplitEnumerator<T> SplitAny<T>(this System.ReadOnlySpan<T> source, System.Buffers.SearchValues<T> separators) where T : IEquatable<T> { throw null; }
public static int Split(this System.ReadOnlySpan<char> source, System.Span<System.Range> destination, char separator, System.StringSplitOptions options = System.StringSplitOptions.None) { throw null; }
public static int Split(this System.ReadOnlySpan<char> source, System.Span<System.Range> destination, System.ReadOnlySpan<char> separator, System.StringSplitOptions options = System.StringSplitOptions.None) { throw null; }
public static int SplitAny(this System.ReadOnlySpan<char> source, System.Span<System.Range> destination, System.ReadOnlySpan<char> separators, System.StringSplitOptions options = System.StringSplitOptions.None) { throw null; }
Expand Down Expand Up @@ -411,6 +415,14 @@ public static void Sort<TKey, TValue, TComparer>(this System.Span<TKey> keys, Sy
public static bool TryWrite<TArg0, TArg1, TArg2>(this System.Span<char> destination, System.IFormatProvider? provider, System.Text.CompositeFormat format, out int charsWritten, TArg0 arg0, TArg1 arg1, TArg2 arg2) { throw null; }
public static bool TryWrite(this Span<char> destination, System.IFormatProvider? provider, System.Text.CompositeFormat format, out int charsWritten, params object?[] args) { throw null; }
public static bool TryWrite(this Span<char> destination, System.IFormatProvider? provider, System.Text.CompositeFormat format, out int charsWritten, params System.ReadOnlySpan<object?> args) { throw null; }
public ref struct SpanSplitEnumerator<T> where T : System.IEquatable<T>
{
private object _dummy;
private int _dummyPrimitive;
public readonly System.Range Current { get { throw null; } }
public System.MemoryExtensions.SpanSplitEnumerator<T> GetEnumerator() { throw null; }
public bool MoveNext() { throw null; }
}
[System.ComponentModel.EditorBrowsable(System.ComponentModel.EditorBrowsableState.Never)]
[System.Runtime.CompilerServices.InterpolatedStringHandlerAttribute]
public ref struct TryWriteInterpolatedStringHandler
Expand Down
214 changes: 214 additions & 0 deletions src/libraries/System.Memory/tests/ReadOnlySpan/Split.T.cs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,214 @@
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.

using System.Buffers;
using Xunit;

namespace System.SpanTests
{
public static partial class ReadOnlySpanTests
{
[Fact]
public static void DefaultSpanSplitEnumeratorBehaviour()
{
var charSpanEnumerator = new MemoryExtensions.SpanSplitEnumerator<char>();
Assert.Equal(new Range(0, 0), charSpanEnumerator.Current);
Assert.False(charSpanEnumerator.MoveNext());

// Implicit DoesNotThrow assertion
charSpanEnumerator.GetEnumerator();

var stringSpanEnumerator = new MemoryExtensions.SpanSplitEnumerator<string>();
Assert.Equal(new Range(0, 0), stringSpanEnumerator.Current);
Assert.False(stringSpanEnumerator.MoveNext());
stringSpanEnumerator.GetEnumerator();
}

[Fact]
public static void Split_SingleElementSeparator()
{
// Split on default
Test((char[])['a', ' ', 'b'], default(char), (Range[])[0..3]);
Test((int[]) [1, 2, 3], default(int), (Range[])[0..3]);
Test((long[])[1, 2, 3], default(long), (Range[])[0..3]);
Test((byte[])[1, 2, 3], default(byte), (Range[])[0..3]);
Test((CustomStruct[])[new(1), new(2), new(3)], default(CustomStruct), (Range[])[0..3]);
Test((CustomClass[])[new(1), new(2), new(3)], default(CustomClass), (Range[])[0..3]);

// Split no matching element
Test((char[])['a', ' ', 'b'], ',', (Range[])[0..3] );
Test((int[]) [1, 2, 3], (int)4, (Range[])[0..3] );
Test((long[])[1, 2, 3], (long)4, (Range[])[0..3] );
Test((byte[])[1, 2, 3], (byte)4, (Range[])[0..3] );
Test((CustomStruct[])[new(1), new(2), new(3)], new CustomStruct(4), (Range[])[0..3] );
Test((CustomClass[])[new(1), new(2), new(3)], new CustomClass(4), (Range[])[0..3] );

// Split on sequence containing only a separator
Test((char[])[','], ',', (Range[])[0..0, 1..1] );
Test((int[]) [1], (int)1, (Range[])[0..0, 1..1] );
Test((long[])[1], (long)1, (Range[])[0..0, 1..1] );
Test((byte[])[1], (byte)1, (Range[])[0..0, 1..1] );
Test((CustomStruct[])[new(1)], new CustomStruct(1), (Range[])[0..0, 1..1] );
Test((CustomClass[]) [new(1)], new CustomClass(1), (Range[])[0..0, 1..1] );

// Split on empty sequence with default separator
Test((char[])[], default(char), (Range[])[0..0] );
Test((int[]) [], default(int), (Range[])[0..0] );
Test((long[])[], default(long), (Range[])[0..0] );
Test((byte[])[], default(byte), (Range[])[0..0] );
Test((CustomStruct[])[], default(CustomStruct), (Range[])[0..0] );
Test((CustomClass[]) [], default(CustomClass), (Range[])[0..0] );

Test((char[])['a', ',', 'b'], ',', (Range[]) [ 0..1, 2..3 ] );
Test((int[]) [1, 2, 3], (int)2, (Range[]) [ 0..1, 2..3 ] );
Test((long[])[1, 2, 3], (long)2, (Range[]) [ 0..1, 2..3 ] );
Test((byte[])[1, 2, 3], (byte)2, (Range[]) [ 0..1, 2..3 ] );
Test((CustomStruct[])[new(1), new(2), new(3)], new CustomStruct(2), (Range[]) [ 0..1, 2..3 ] );
Test((CustomClass[])[new(1), new(2), new(3)], new CustomClass(2), (Range[]) [ 0..1, 2..3 ] );

Test((char[])['a', 'b', ',', ','], ',', (Range[]) [ 0..2, 3..3, 4..4 ] );
Test((int[]) [1, 3, 2, 2], (int)2, (Range[]) [ 0..2, 3..3, 4..4 ] );
Test((long[])[1, 3, 2, 2], (long)2, (Range[]) [ 0..2, 3..3, 4..4 ] );
Test((byte[])[1, 3, 2, 2], (byte)2, (Range[]) [ 0..2, 3..3, 4..4 ] );
Test((CustomStruct[])[new(1), new(3), new(2), new(2)], new CustomStruct(2), (Range[]) [ 0..2, 3..3, 4..4 ] );
Test((CustomClass[])[new(1), new(3), new(2), new(2)], new CustomClass(2), (Range[]) [ 0..2, 3..3, 4..4 ] );

static void Test<T>(T[] value, T separator, Range[] result) where T : IEquatable<T> =>
AssertEnsureCorrectEnumeration(new ReadOnlySpan<T>(value).Split(separator), result);
}

[Fact]
public static void Split_SequenceSeparator()
{
// Split no separators
Test((char[])['a', ' ', 'b'], (char[])[], (Range[])[0..3]);
Test((int[]) [1, 2, 3], (int[]) [], (Range[])[0..3]);
Test((long[])[1, 2, 3], (long[])[], (Range[])[0..3]);
Test((byte[])[1, 2, 3], (byte[])[], (Range[])[0..3]);
Test((CustomStruct[])[new(1), new(2), new(3)], (CustomStruct[])[], (Range[])[0..3]);
Test((CustomClass[])[new(1), new(2), new(3)], (CustomClass[])[], (Range[])[0..3]);

// Split no matching elements
Test((char[])['a', ' ', 'b'], (char[])[',', '.'], (Range[])[0..3]);
Test((int[]) [1, 2, 3], (int[]) [4, 3], (Range[])[0..3]);
Test((long[])[1, 2, 3], (long[])[4, 3], (Range[])[0..3]);
Test((byte[])[1, 2, 3], (byte[])[4, 3], (Range[])[0..3]);
Test((CustomStruct[])[new(1), new(2), new(3)], (CustomStruct[])[new(4), new(3)], (Range[])[0..3]);
Test((CustomClass[])[new(1), new(2), new(3)], (CustomClass[])[new(4), new(3)], (Range[])[0..3]);

// Split on input span with only a single sequence separator
Test((char[])[',', '.'], (char[])[',', '.'], (Range[])[0..0, 2..2]);
Test((int[]) [4, 3], (int[]) [4, 3], (Range[])[0..0, 2..2]);
Test((long[])[4, 3], (long[])[4, 3], (Range[])[0..0, 2..2]);
Test((byte[])[4, 3], (byte[])[4, 3], (Range[])[0..0, 2..2]);
Test((CustomStruct[])[new(4), new(3)], (CustomStruct[])[new(4), new(3)], (Range[])[0..0, 2..2]);
Test((CustomClass[])[new(4), new(3)], (CustomClass[])[new(4), new(3)], (Range[])[0..0, 2..2]);

// Split on empty sequence with default separator
Test((char[])[], (char[])[default(char)], (Range[])[0..0]);
Test((int[]) [], (int[]) [default(int)], (Range[])[0..0]);
Test((long[])[], (long[])[default(long)], (Range[])[0..0]);
Test((byte[])[], (byte[])[default(byte)], (Range[])[0..0]);
Test((CustomStruct[])[], (CustomStruct[])[default], (Range[])[0..0]);
Test((CustomClass[]) [], (CustomClass[])[default], (Range[])[0..0]);

Test((char[])['a', ',', '-', 'b'], (char[])[',', '-'], (Range[]) [ 0..1, 3..4 ]);
Test((int[]) [1, 2, 4, 3], (int[])[2, 4], (Range[]) [ 0..1, 3..4 ]);
Test((long[])[1, 2, 4, 3], (long[])[2, 4], (Range[]) [ 0..1, 3..4 ]);
Test((byte[])[1, 2, 4, 3], (byte[])[2, 4], (Range[]) [ 0..1, 3..4 ]);
Test((CustomStruct[])[new(1), new(2), new(4), new(3)], (CustomStruct[]) [new(2), new(4)], (Range[]) [ 0..1, 3..4 ]);
Test((CustomClass[])[new(1), new(2), new(4), new(3)], (CustomClass[])[new(2), new(4)], (Range[]) [ 0..1, 3..4 ]);

Test((char[])[',', '-', 'a', ',', '-', 'b'], (char[])[',', '-'], (Range[]) [ 0..0, 2..3, 5..6 ]);
Test((int[]) [2, 4, 3, 2, 4, 5], (int[]) [2, 4], (Range[]) [ 0..0, 2..3, 5..6 ]);
Test((long[])[2, 4, 3, 2, 4, 5], (long[])[2, 4], (Range[]) [ 0..0, 2..3, 5..6 ]);
Test((byte[])[2, 4, 3, 2, 4, 5], (byte[])[2, 4], (Range[]) [ 0..0, 2..3, 5..6 ]);
Test((CustomStruct[])[new(2), new(4), new(3), new(2), new(4), new(5)], (CustomStruct[]) [new(2), new(4)], (Range[]) [ 0..0, 2..3, 5..6 ]);
Test((CustomClass[])[new(2), new(4), new(3), new(2), new(4), new(5)], (CustomClass[])[new(2), new(4)], (Range[]) [ 0..0, 2..3, 5..6 ]);

static void Test<T>(T[] value, T[] separator, Range[] result) where T : IEquatable<T> =>
AssertEnsureCorrectEnumeration(new ReadOnlySpan<T>(value).Split(separator), result);
}

[Fact]
public static void SplitAnySeparatorData()
{
// Split no separators
Test((char[])['a', ' ', 'b'], (char[])[], (Range[])[0..1, 2..3]); // an empty span of separators for char is handled as all whitespace being separators
Test((int[]) [1, 2, 3], (int[]) [], (Range[])[0..3]);
Test((long[])[1, 2, 3], (long[])[], (Range[])[0..3]);
Test((byte[])[1, 2, 3], (byte[])[], (Range[])[0..3]);
Test((CustomStruct[])[new(1), new(2), new(3)], (CustomStruct[])[], (Range[])[0..3]);
Test((CustomClass[])[new(1), new(2), new(3)], (CustomClass[])[], (Range[])[0..3]);

// Split non-matching separators
Test((char[])['a', ' ', 'b'], (char[])[',', '.'], (Range[])[0..3]);
Test((int[]) [1, 2, 3], (int[]) [4, 5], (Range[])[0..3]);
Test((long[])[1, 2, 3], (long[])[4, 5], (Range[])[0..3]);
Test((byte[])[1, 2, 3], (byte[])[4, 5], (Range[])[0..3]);
Test((CustomStruct[])[new(1), new(2), new(3)], (CustomStruct[])[new(4), new(5)], (Range[])[0..3]);
Test((CustomClass[])[new(1), new(2), new(3)], (CustomClass[])[new(4), new(5)], (Range[])[0..3]);

// Split on sequence containing only a separator
Test((char[])[','], (char[])[','], (Range[])[0..0, 1..1]);
Test((int[]) [1], (int[]) [1], (Range[])[0..0, 1..1]);
Test((long[])[1], (long[])[1], (Range[])[0..0, 1..1]);
Test((byte[])[1], (byte[])[1], (Range[])[0..0, 1..1]);
Test((CustomStruct[])[new(1)], (CustomStruct[])[new(1)], (Range[])[0..0, 1..1]);
Test((CustomClass[]) [new(1)], (CustomClass[])[new(1)], (Range[])[0..0, 1..1]);

// Split on empty sequence with default separator
Test((char[])[], (char[])[default(char)], (Range[])[0..0]);
Test((int[]) [], (int[]) [default(int)], (Range[])[0..0]);
Test((long[])[], (long[])[default(long)], (Range[])[0..0]);
Test((byte[])[], (byte[])[default(byte)], (Range[])[0..0]);
Test((CustomStruct[])[], (CustomStruct[])[new(default)], (Range[])[0..0]);
Test((CustomClass[]) [], (CustomClass[])[new(default)], (Range[])[0..0]);

Test((char[])['a', ',', '-', 'b'], (char[])[',', '-'], (Range[]) [ 0..1, 2..2, 3..4 ]);
Test((int[]) [1, 2, 4, 3], (int[])[2, 4], (Range[]) [ 0..1, 2..2, 3..4 ]);
Test((long[])[1, 2, 4, 3], (long[])[2, 4], (Range[]) [ 0..1, 2..2, 3..4 ]);
Test((byte[])[1, 2, 4, 3], (byte[])[2, 4], (Range[]) [ 0..1, 2..2, 3..4 ]);
Test((CustomStruct[])[new(1), new(2), new(4), new(3)], (CustomStruct[]) [new(2), new(4)], (Range[]) [ 0..1, 2..2, 3..4 ]);
Test((CustomClass[])[new(1), new(2), new(4), new(3)], (CustomClass[])[new(2), new(4)], (Range[]) [ 0..1, 2..2, 3..4 ]);

Test((char[])[',', '-', 'a', ',', '-', 'b'], (char[])[',', '-'], (Range[]) [ 0..0, 1..1, 2..3, 4..4, 5..6 ]);
Test((int[]) [2, 4, 3, 2, 4, 5], (int[]) [2, 4], (Range[]) [ 0..0, 1..1, 2..3, 4..4, 5..6 ]);
Test((long[])[2, 4, 3, 2, 4, 5], (long[])[2, 4], (Range[]) [ 0..0, 1..1, 2..3, 4..4, 5..6 ]);
Test((byte[])[2, 4, 3, 2, 4, 5], (byte[])[2, 4], (Range[]) [ 0..0, 1..1, 2..3, 4..4, 5..6 ]);
Test((CustomStruct[])[new(2), new(4), new(3), new(2), new(4), new(5)], (CustomStruct[]) [new(2), new(4)], (Range[]) [ 0..0, 1..1, 2..3, 4..4, 5..6 ]);
Test((CustomClass[])[new(2), new(4), new(3), new(2), new(4), new(5)], (CustomClass[])[new(2), new(4)], (Range[]) [ 0..0, 1..1, 2..3, 4..4, 5..6 ]);

static void Test<T>(T[] value, T[] separator, Range[] result) where T : IEquatable<T>
{
AssertEnsureCorrectEnumeration(new ReadOnlySpan<T>(value).SplitAny(separator), result);

if (value is char[] source &&
separator is char[] separators &&
separators.Length > 0) // the SearchValues overload does not special-case empty
{
var charEnumerator = new ReadOnlySpan<char>(source).SplitAny(SearchValues.Create(separators));
AssertEnsureCorrectEnumeration(charEnumerator, result);
}
}
}

private static void AssertEnsureCorrectEnumeration<T>(MemoryExtensions.SpanSplitEnumerator<T> enumerator, Range[] result) where T : IEquatable<T>
{
Assert.Equal(new Range(0, 0), enumerator.Current);

for (int i = 0; i < result.Length; i++)
{
Assert.True(enumerator.MoveNext());
Assert.Equal(result[i], enumerator.Current);
}

Assert.False(enumerator.MoveNext());
}

public record struct CustomStruct(int value) : IEquatable<CustomStruct>;

public record class CustomClass(int value) : IEquatable<CustomClass>;
}
}
1 change: 1 addition & 0 deletions src/libraries/System.Memory/tests/System.Memory.Tests.csproj
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -186,6 +186,7 @@
<Compile Include="ReadOnlySpan\SequenceEqual.long.cs" />
<Compile Include="ReadOnlySpan\SequenceEqual.T.cs" />
<Compile Include="ReadOnlySpan\Slice.cs" />
<Compile Include="ReadOnlySpan\Split.T.cs" />
<Compile Include="ReadOnlySpan\StartsWith.byte.cs" />
<Compile Include="ReadOnlySpan\StartsWith.long.cs" />
<Compile Include="ReadOnlySpan\StartsWith.T.cs" />
Expand Down
Loading
Loading