MemoryExtensions.LastIndexOf ignores a custom comparer for bitwise-equatable element types
I maintainer di solito rispondono entro 1 giorno
Valutazione
- Difficoltà
- 2/5
- Tempo stimato
- 1-3 ore
- Idoneità per principianti
- 74/100
Direzione di ricerca
Individua nel codice sorgente del runtime l’overload di MemoryExtensions.LastIndexOf<T> per due valori ReadOnlySpan<T> e un IEqualityComparer<T>. Confronta la condizione del suo percorso rapido bitwise con quella degli overload correlati che accettano un comparer, menzionati nell’issue, poi controlla i test esistenti per questo overload. L’obiettivo è che il comparer personalizzato fornito determini il risultato per i tipi confrontabili bitwise, mentre il comportamento del comparer predefinito resta coperto.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Description
MemoryExtensions.LastIndexOf<T>(ReadOnlySpan<T>, ReadOnlySpan<T>, IEqualityComparer<T>?) appears to ignore a non-default comparer when T is known to be bitwise equatable.
The implementation takes the bitwise fast path whenever RuntimeHelpers.IsBitwiseEquatable<T>() returns true, without checking whether comparer is null or EqualityComparer<T>.Default.
As a result, a custom comparer is not invoked for types such as byte and char, and the returned index can differ from the result implied by the API contract.
The related comparer overloads generally restrict bitwise fast paths to the default comparer, for example:
comparer is null || comparer == EqualityComparer<T>.Default
Reproduction Steps
using System;
using System.Collections.Generic;
ReadOnlySpan<byte> source = [1, 2, 3];
ReadOnlySpan<byte> value = [9];
var comparer = new AllBytesEqualComparer();
var index = source.LastIndexOf(value, comparer);
Console.WriteLine(index);
sealed class AllBytesEqualComparer : IEqualityComparer<byte>
{
public bool Equals(byte x, byte y) => true;
public int GetHashCode(byte value) => 0;
}
Expected behavior
The custom comparer should be used.
Because the comparer considers every pair of bytes equal, the one-element sequence should match at the last valid position, and the result should be: 2
Actual behavior
The result is: -1
Regression?
No known regression
Known Workarounds
Avoid this overload for bitwise-equatable element types when using a custom comparer, and implement the sequence search manually.
Configuration
.NET SDK:
Version: 10.0.402
Commit: a8dd0577c5
Runtime Environment:
OS Name: Windows
OS Version: 10.0.19045
OS Platform: Windows
RID: win-x64
Base Path: C:\Program Files\dotnet\sdk\10.0.402\
Other information
The fast-path condition currently appears to be equivalent to:
if (RuntimeHelpers.IsBitwiseEquatable<T>())
{
// Bitwise search.
}
This bypasses the supplied comparer.
A possible fix may be to restrict the fast path to the default comparer:
if (RuntimeHelpers.IsBitwiseEquatable<T>() && (comparer is null || comparer == EqualityComparer<T>.Default))
{
// Bitwise search.
}
- Lingua principale
- C#
- Stelle
- 18.4k
- Fork
- 5.7k
- Merge medio
- 2g 18h
- PR unite (30g)
- 646
Preparare l'ambiente
Avvia il container di sviluppo del progetto nel browser, con il tuo account GitHub.
- Nessun Dockerfile né file Docker Compose
- Ha un modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di dotnet/runtime
-
[mono] Native memory leak on the first invoke of every open-instance delegate to a virtual methodApertaarea-VM-meta-mono untriaged
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
dotnet/runtime#136284 · 6 reazioni ·
I maintainer di solito rispondono entro 1 giorno
-
Several MemoryExtensions.LastIndexOfAnyExcept overloads incorrectly document "first occurrence"Forse già presa @ehsan-raoufi l’ha presa 1 giorno fa. Apertaarea-System.Memory untriaged
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 83/100
dotnet/runtime#136282 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
area-System.IO.Compression untriaged
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
dotnet/runtime#136215 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
area-CodeGen-coreclr untriaged
Difficoltà 2/5 1-3 ore Idoneità per principianti 62/100
dotnet/runtime#135849 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
[wasm] Emscripten clang wrapper fails when the SDK path contains a spaceForse già presa @agocke l’ha presa 16 giorni fa. Apertaarch-wasm area-Infrastructure untriaged
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
dotnet/runtime#135416 · 2 commenti · 2 reazioni · 2 assegnatari ·
I maintainer di solito rispondono entro 1 giorno
Tutte le issue di dotnet/runtime
Issue simili
-
area:jobads-cv BE P3
Difficoltà 1/5 1-3 ore Idoneità per principianti 74/100
klasolsson81/jobbliggaren#2240 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
k2-fsa/sherpa-onnx#4100 ·
I maintainer di solito rispondono entro 2 giorni
-
:watch: Not Triaged
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 82/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
unoplatform/uno.check#591 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
weaviate/csharp-client#378 ·