Visu 2025. gadu PVS-Studio komanda aktīvi pārbauda atvērtā koda C# projektus. Gadu gaitā mēs atklājām daudz trūkumu. Tātad, mēs izvēlējāmies desmit interesantākos no šīs milzīgās šķirnes. Mēs ceram, ka jūs atradīsiet šo apkopojumu interesantu un noderīgu. Izbaudiet! Kā mēs sastādījām augšdaļu? Ir vairāki kritēriji, kuriem projekta kodam jāatbilst, lai nopelnītu vietu mūsu augšējā sarakstā: 
 
 
 
 
 
 tas nāk no atvērtā koda projekta; problēmas konstatēja PVS-Studio; the code most likely contains errors; kods ir interesants pārbaudīt; Katra kļūda ir unikāla. Since we regularly put together such lists, we've gathered an impressive collection of curious errors. You can read articles from previous years here: 
 
 
 
 
 
 
 Top 10 kļūdas 2024. gadā Top 10 kļūdas 2023. gadā Top 10 kļūdas 2022. gadā Top 10 kļūdas 2021. gadā Top 10 kļūdas 2020. gadā Top 10 kļūdas 2019. gadā Tagad ienirt aizraujošā bezdibenī C # kļūdas par 2025! P.S. Raksta autors izvēlējās un grupēja kļūdas, pamatojoties uz viņa subjektīvo viedokli.Ja jūs domājat, ka šis vai tas bug ir pelnījis citu vietu, nevilcinieties atstāt komentāru :) 10. vieta. mēģiniet to atrast Šodienas top sākas ar kļūdu, kas minēta Šķiet, ka .NET 9 tikko tika izlaists, bet nedaudz vairāk nekā mēnesi atpakaļ .NET 10 to aizstāja. . Raksts par .NET 9 pārbaudi Šis raksts Atgriezīsimies pie analīzes: public static void SetAsIConvertible(this ref ComVariant variant,
                                     IConvertible value)
{
  TypeCode tc = value.GetTypeCode();
  CultureInfo ci = CultureInfo.CurrentCulture;

  switch (tc)
  {
    case TypeCode.Empty: break;
    case TypeCode.Object: 
      variant = ComVariant.CreateRaw(....); break;
    case TypeCode.DBNull: 
      variant = ComVariant.Null; break;
    case TypeCode.Boolean: 
      variant = ComVariant.Create<bool>(....)); break;
    case TypeCode.Char: 
      variant = ComVariant.Create<ushort>(value.ToChar(ci)); break;
    case TypeCode.SByte: 
      variant = ComVariant.Create<sbyte>(value.ToSByte(ci)); break;
    case TypeCode.Byte: 
      variant = ComVariant.Create<byte>(value.ToByte(ci)); break;
    case TypeCode.Int16: 
      variant = ComVariant.Create(value.ToInt16(ci)); break;
    case TypeCode.UInt16: 
      variant = ComVariant.Create(value.ToUInt16(ci)); break;
    case TypeCode.Int32: 
      variant = ComVariant.Create(value.ToInt32(ci)); break;
    case TypeCode.UInt32: 
      variant = ComVariant.Create(value.ToUInt32(ci)); break;
    case TypeCode.Int64: 
      variant = ComVariant.Create(value.ToInt64(ci)); break;
    case TypeCode.UInt64: 
      variant = ComVariant.Create(value.ToInt64(ci)); break;
    case TypeCode.Single: 
      variant = ComVariant.Create(value.ToSingle(ci)); break;
    case TypeCode.Double: 
      variant = ComVariant.Create(value.ToDouble(ci)); break;
    case TypeCode.Decimal: 
      variant = ComVariant.Create(value.ToDecimal(ci)); break;
    case TypeCode.DateTime: 
      variant = ComVariant.Create(value.ToDateTime(ci)); break;
    case TypeCode.String: 
      variant = ComVariant.Create(....); break;

    default:
      throw new NotSupportedException();
  }
}
 Ievadiet pilna ekrāna režīmu Izejiet pilna ekrāna režīmā Can you see the issue? It's definitely there! case TypeCode.Int64: 
  variant = ComVariant.Create(value.ToInt64(ci)); break;
case TypeCode.UInt64: 
  variant = ComVariant.Create(value.ToInt64(ci)); break; // <=
 Ievadiet pilna ekrāna režīmu Izejiet pilna ekrāna režīmā PVS-Studio brīdinājums Divi vai vairāki gadījumu filiāles veic vienādas darbības. DynamicVariantExtensions.cs 68 V3139 Es ceru, ka jūs esat devuši savām acīm labu treniņu, un jūsu asu redzi nav ļāvis jums uz leju. Tā vietā, lai Izstrādātājiem vajadzētu izmantot esošo Tas var būt kopēšanas kļūda. case TypeCode.UInt64 value.ToInt64 ToUInt64() 9. vieta. nevēlams formāts Devītā vieta iet uz kļūdu, kas aprakstīta : article about checking the Neo and NBitcoin projects public override string ToString()
{
  var sb = new StringBuilder();

  sb.AppendFormat("{1:X04} {2,-10}{3}{4}", 
                  Position, 
                  OpCode, 
                  DecodeOperand());

  return sb.ToString();
}
 Ievadiet pilna ekrāna režīmu Izejiet pilna ekrāna režīmā PVS-Studio brīdinājums [CWE-685] Nepareizs formāts Atšķirīgs formāta elementu skaits tiek sagaidīts, izsaucot funkciju 'AppendFormat'.Formāta elementi netiek izmantoti: {3}, {4}. Argumenti netiek izmantoti: 1st. V3025 Zvanīt pārspīlētajam izņēmumu neizbēgami izraisa. tas ir saistīts ar nepareizu Atsauksmes, kas satur divas kļūdas. ToString sb.AppendFormat 
 
 
 Argumentu skaits, kas jāievieto, ir mazāks par vietu turētāju skaitu formāta virknē, kas izraisa izņēmumu. Pat ja mēs atrisināsim pirmo problēmu, atbilstot argumentu skaitam un vietu turētājiem, zvans joprojām izmet izņēmumu. tas ir tāpēc, ka vietu turētāja indeksēšana sākas ar 0, nevis 1. Astoņpadsmitā vieta: Navel-gazing Nākamā kļūda nāk no : Raksts par Lean tirdzniecības dzinēja testēšanu public override int GetHashCode()
{
  unchecked
  {
    var hashCode = Definition.GetHashCode();
    var arr = new int[Legs.Count];
    for (int i = 0; i < Legs.Count; i++)
    {
      arr[i] = Legs[i].GetHashCode();
    }

    Array.Sort(arr);

    for (int i = 0; i < arr.Length; i++)
    {
      hashCode = (hashCode * 397) ^ arr[i];
    }

    return hashCode;
  }
}

public override bool Equals(object obj)
{
    ....

    return Equals((OptionStrategyDefinitionMatch) obj);
}
 Ievadiet pilna ekrāna režīmu Izejiet pilna ekrāna režīmā PVS-Studio brīdinājums "Legs" īpašība tiek izmantota "GetHashCode" metodē, bet trūkst "Equals" metodē. OptionStrategyDefinitionMatch.cs 176 V3192 skatījumi Analītiķis ir veicis  check on the  metodi, kas sauc par pārspīlētu un konstatēja, ka tas neizmanto Īpašums, lai gan Paļaujies uz to. Starpposma procedūra Equals Equals Legs GetHashCode Paskatīsimies tuvāk uz Metodiskā : Equals public bool Equals(OptionStrategyDefinitionMatch other)
{
  ....

  var positions = other.Legs
                       .ToDictionary(leg => leg.Position, 
                                     leg => leg.Multiplier);
  foreach (var leg in other.Legs)                                   // <=
  {
    int multiplier;
    if (!positions.TryGetValue(leg.Position, out multiplier))
    {
      return false;
    }

    if (leg.Multiplier != multiplier)
    {
      return false;
    }
  }

  return true;
}
 Ievadiet pilna ekrāna režīmu Izejiet pilna ekrāna režīmā Note that the method iterates over  . For each element in that collection, the code tries to find it in the  vārdnīca - bet šis vārdnīca arī nāk no Tā rezultātā kods pārbauda, vai kolekcijas elementi pastāv tajā pašā kolekcijā. other.Legs positions other.Legs Mēs varam labot kodu, aizstājot ar uz marķētās atrašanās vietas. other.Legs Legs Septītā vieta: Tricky Equals Septītā vieta iet uz kļūdu no : Raksts par ScottPlot pārbaudi public class CoordinateRangeMutable : IEquatable<CoordinateRangeMutable>
{
  ....
  public bool Equals(CoordinateRangeMutable? other)
  {
    if (other is null)
      return false;

    return Equals(Min, other.Min) && Equals(Min, other.Min);  // <=
  }

  public override bool Equals(object? obj)
  {
    if (obj is null)
      return false;

    if (obj is CoordinateRangeMutable other)
      return Equals(other);

    return false;
  }

  public override int GetHashCode()
  {
    return Min.GetHashCode() ^ Max.GetHashCode();             // <=
  }
}
 Ievadiet pilna ekrāna režīmu Izejiet pilna ekrāna režīmā PVS-Studio warnings: Īpašums "Max" tiek izmantots metodē "GetHashCode", bet trūkst metodē "Equals". V3192 skatījumi Ir identiski apakšpaskaidrojumi 'Equals(Min, other.Min)' operatora '&&' kreisajā un labajā pusē. ScottPlot CoordinateRangeMutable.cs 172 V3001 pārdošana Analītiķis izdeva divus brīdinājumus par šo koda fragmentu. Mēs sāksim ar . The analyzer warning says that the  Īpašums tiek izmantots metodes, bet ne no Metode: ja mēs skatāmies uz pārklājumu metodi, mēs varam redzēt, ka cits Viņa ķermenī var redzēt sekojošo: • The Diagnostikas noteikums izceļ šo fragmentu. V3192 skatījumi Max GetHashCode Equals Equals Equals Equals(Min, other.Min) && Equals(Min, other.Min) V3001 pārdošana Clearly, one of the  Operatoriem ir jābūt Tāda forma. && Equals(Max, other.Max) Tātad analītiķis ir taisnība - Tas neparādās uz Metode ir. Max Equals Sestā vieta: Bit Tricks Kļūda, kas, tāpat kā iepriekšējā, tiek ņemta no , noslēdzot pirmā puslaika augšdaļu: Raksts par ScottPlot pārbaudi public static Interactivity.Key GetKey(this Keys keys)
{

  Keys keyCode = keys & ~Keys.Modifiers;                   // <=
  Interactivity.Key key = keyCode switch
  {
    Keys.Alt => Interactivity.StandardKeys.Alt,            // <=
    Keys.Menu => Interactivity.StandardKeys.Alt,
    Keys.Shift => Interactivity.StandardKeys.Shift,        // <=
    Keys.ShiftKey => Interactivity.StandardKeys.Shift,
    Keys.LShiftKey => Interactivity.StandardKeys.Shift,
    Keys.RShiftKey => Interactivity.StandardKeys.Shift,
    Keys.Control => Interactivity.StandardKeys.Control,    // <=
    Keys.ControlKey => Interactivity.StandardKeys.Control,
    Keys.Down => Interactivity.StandardKeys.Down,
    Keys.Up => Interactivity.StandardKeys.Up,
    Keys.Left => Interactivity.StandardKeys.Left,
    Keys.Right => Interactivity.StandardKeys.Right,
    _ => Interactivity.StandardKeys.Unknown,
  };

  ....
}
 Ievadiet pilna ekrāna režīmu Izejiet pilna ekrāna režīmā PVS-Studio brīdinājums Atklāts nepieejams kods. "lietas" vērtība ir ārpus atbilstības izteiksmes diapazona. ScottPlot.WinForms FormsPlotExtensions.cs 106 V3202 pārdošana Multiple pattern values within   are impossible in the current context. Let's see what's going on here. switch Pirmkārt, mums vajadzētu apskatīt vērtības, kas atbilst kļūdainiem uzskaites elementiem. [Flags]
[TypeConverter(typeof(KeysConverter))]
[Editor(....)]
public enum Keys
{
  /// <summary>
  ///  The bit mask to extract modifiers from a key value.
  /// </summary>
  Modifiers = unchecked((int)0xFFFF0000),

  ....
  /// <summary>
  ///  The SHIFT modifier key.
  /// </summary>
  Shift = 0x00010000,

  /// <summary>
  ///  The  CTRL modifier key.
  /// </summary>
  Control = 0x00020000,

  /// <summary>
  ///  The ALT modifier key.
  /// </summary>
  Alt = 0x00040000
}
 Ievadiet pilna ekrāna režīmu Izejiet pilna ekrāna režīmā Tālāk, pārvērst tos binārā: Tagad ir skaidrs, ka iekļauj visus kļūdainos uzskaites elementus. Modifiers Vērtība tiek nodota Tas ir iegūts no izpausme. šī izteiksme izslēdz Vērtība no Papildus tam Tomēr , un Tas arī tiks izslēgts, jo jau ir iekļautas šīs vērtības ( ir nulle bits par katru nulle bitu no kļūdainiem uzskaites elementiem). switch keys & ~Keys.Modifiers Keys.Modifiers keys Keys.Modifiers Shift Control Alt Modifiers Modifiers From all this we can conclude that the bit combination that produces  , vai Par to Operācija neeksistē. Shift Control Alt keys & ~Keys.Modifiers Jautājums var būt par īstenošana, nevis uzskaites vērtības. switch Piektā vieta - visi bojāti Top 5 sākas ar kļūdu, kas minēta : article about checking .NET 9 struct StackValue
{
  ....
  public override bool Equals(object obj)
  {
    if (Object.ReferenceEquals(this, obj))
      return true;

    if (!(obj is StackValue))
      return false;

    var value = (StackValue)obj;
    return    this.Kind == value.Kind 
           && this.Flags == value.Flags 
           && this.Type == value.Type;
  }
}
 Ievadiet pilna ekrāna režīmu Izejiet pilna ekrāna režīmā PVS-Studio brīdinājums Vērtības veida mainīgo salīdzināšana ar 'ReferenceEquals' ir nepareiza, jo 'tas' tiks atlasīts. ILImporter.StackValue.cs 164 V3161 Tās Metode izmanto parametrus, kas  type. When a value type is passed, it gets  . The reference created on the heap won't match any other reference. ReferenceEquals Object Boksa Kopš Pirmais arguments, kas tiek nodots, ir tas, ka bokss notiek katru reizi, kad Metode tiek saukta.Tāpēc, pārbaudot caur Vienmēr atgriežas . this Equals ReferenceEquals false Ņemiet vērā, ka šī problēma neietekmē to, kā darbojas metode. metode tika veikta, lai izvairītos no turpmākiem salīdzinājumiem, ja atsauces bija vienādas. Citiem vārdiem sakot, tas ir sava veida optimizācija. ReferenceEquals 
 
 
 kods vienmēr tiek izpildīts pēc pārbaudes; Katrs aicinājums līdzvērtīgiem rezultāts ir boksa operācija. Tas ir smieklīgi, ka analizators ir iebūvēts .NET (noteikums ) arī konstatē šo problēmu. Tomēr .NET izstrādātāji paši to nevarēja izvairīties :) Cēsu 2013 Iespējams, ka šis noteikums bija atspējots projektam.  is enabled by default starting with .NET 5. Cēsu 2013 Ceturtā vieta - bez abonēšanas Ceturtā vieta iet uz kļūdu no : article about checking MSBuild private static void SubscribeImmutablePathsInitialized()
{
  NotifyOnScopingReadiness?.Invoke();

  FileClassifier.Shared.OnImmutablePathsInitialized -= () =>
    NotifyOnScopingReadiness?.Invoke();
}
 Ievadiet pilna ekrāna režīmu Izejiet pilna ekrāna režīmā PVS-Studio brīdinājums . Anonymous function is used to unsubscribe from 'OnImmutablePathsInitialized' event. No handlers will be unsubscribed, as a separate delegate instance is created for each anonymous function declaration. CheckScopeClassifier.cs 67 V8304 Šajā gadījumā delegāta atteikšanās no abonēšanas nedarbojas, jo katru reizi, kad tiek deklarēta anonīma funkcija, tiek izveidota jauna delegāta instance. ir parakstīts uz Bez abonēšanas no Kas nav nekādas ietekmes. OnImmutablePathsInitialized delegate 1 delegate 2 Trešā vieta: neskaidrība par operatora prioritāti So, we've reached the top three. The error from an   takes the honorable third place: raksts par Neo un NBitcoin projektu pārbaudi public override int Size =>   base.Size
                            + ChangeViewMessages?.Values.GetVarSize() ?? 0
                            + 1 + PrepareRequestMessage?.Size ?? 0
                            + PreparationHash?.Size ?? 0
                            + PreparationMessages?.Values.GetVarSize() ?? 0
                            + CommitMessages?.Values.GetVarSize() ?? 0;
 Ievadiet pilna ekrāna režīmu Izejiet pilna ekrāna režīmā PVS-Studio brīdinājums  [CWE-783] Perhaps the '??' operator works in a different way than it was expected. Its priority is lower than priority of other operators in its left part. RecoveryMessage.cs 35 V3123 Analītiķi atklājuši vairākus  warnings for this code, but I've included only one for brevity. The  Uzņēmumam ir zemāka prioritāte nekā Tomēr šī izteiksmes formatēšana liecina, ka izstrādātāji sagaidīja pretējo. V3123 ?? + Vai darbību secība šeit ir svarīga? Lai atbildētu uz jautājumu, aplūkosim piemērus par apakšizpausmju pievienošanu, ja  is  : ChangeViewMessages null base.Size + ChangeViewMessages?.Values.GetVarSize() ?? 0
 Ievadiet pilna ekrāna režīmu Izejiet pilna ekrāna režīmā Neatkarīgi no  value, the sub-expression result is always 0 because adding  Divi Rezultāti in . base.Size base.Size null null Ja mēs novietojam mainot darbības secību, rezultāts kļūst par . ChangeViewMessages?.Values.GetVarSize() ?? 0 base.Size 2nd place. The treacherous pattern The second place goes to an error from an  : article about checking the Files file manager protected void ChangeMode(OmnibarMode? oldMode, OmnibarMode newMode)
{
  ....
  var modeSeparatorWidth = 
    itemCount is not 0 or 1 
      ? _modesHostGrid.Children[1] is FrameworkElement frameworkElement
        ? frameworkElement.ActualWidth
        : 0
      : 0;
  ....
}
 Enter fullscreen mode Exit fullscreen mode PVS-Studio warning:  [CWE-670] Loģiskais modelis “ne 0 vai 1” var nedarboties kā gaidīts. “ne” modelis atbilst tikai pirmajai izteiksmei no modeļa “vai”. Files.App.Controls Omnibar.cs 149 V3207 Paskatīsimies tuvāk uz Daļa. jau uzminēju, kas ir problēma? Šis modelis ir pārmērīgs. tā otrā daļa neietekmē neko. itemCount is not 0 or 1 When saying "x is not 0 or 1", people usually imply that x is neither 0 nor 1. However, in C#, operator precedence works differently—  actually means  . Such mistakes can lead not only to redundancy but also to errors like  Šis jautājums tika apspriests arī a  that explored potential solutions. Based on the discussion, either the compiler will likely catch this issue in the future, or the built-in static analysis will flag it as a warning. x is not 0 or 1 x is (not 0) or 1 NullReferenceException: list is not null or list.Count == 0 Tikšanās 1st place. How does LINQ work? Un uzvarētājs ir kļūda no Šī kļūda ierindojas pirmajā vietā sakarā ar tās smalkumu.Daži izstrādātāji var neņemt vērā sekas, lietojot atliktās izpildes metodes kombinācijā ar uztvertajām mainīgajām. Raksts par Lean tirdzniecības dzinēja pārbaudi public void FutureMarginModel_MarginEntriesValid(string market)
{
  ....
  var lineNumber = 0;
  var errorMessageTemplate = $"Error encountered in file " + 
                             $"{marginFile.Name} on line ";
  var csv = File.ReadLines(marginFile.FullName)
                .Where(x =>    !x.StartsWithInvariant("#") 
                            && !string.IsNullOrWhiteSpace(x))
                .Skip(1)
                .Select(x =>
  {
    lineNumber++;                                                  // <=

    ....
  });

  lineNumber = 0;                                                  // <=
  foreach (var line in csv)
  {
    lineNumber++;                                                  // <=

    ....
  }
}
 Enter fullscreen mode Exit fullscreen mode PVS-Studio warning:   The 'lineNumber' variable was changed after it was captured in a LINQ method with deferred execution. The original value will not be used when the method is executed. FutureMarginBuyingPowerModelTests.cs 720 V319 The  mainīgais tiek uztverts un palielināts delegātā, kas tiek pārnests uz LINQ metodi. ir atlikta metode, deleģētā koda darbojas iterācijas laikā pār iegūto kolekciju, nevis tad, kad Tiek aicināts lineNumber Select Select Kamēr iterē pār Kolekcija , The  variable is also incremented. As a result, each iteration increases  : kad delegāts darbojas un iekšpusē Kas izskatās dīvaini. csv lineNumber lineNumber by 2 foreach Ņemiet vērā  assignment before  Iespējams, ka izstrādātāji sagaidīja, ka šis mainīgais varētu turēt vērtību, kas nav nulle, pirms sloksnes. sākas no nulles, un vienīgā vieta, kas to maina pirms Kā minēts iepriekš, delegāts darbojas iterācijas laikā, nevis pirms tā. lineNumber = 0 foreach lineNumber foreach Conclusion That's it! We've gone through the most interesting warnings from the author's point of view :) Es ceru, ka jūs atradāt šo kolekciju interesantu un domājošu attiecībā uz koda izstrādi. If you'd like to check whether your project has similar issues, now's the time to use a static analyzer. Here's the  . Lejupielādēt Link

Read My Stories

Šis audio ir izveidots stāsta oriģinālvalodā!

10 interesantākie C# kļūdas mēs atradām atvērtā koda 2025. gadā

About Author

KOMENTĀRI

PAKARINĀT TAGUS

ŠIS RAKSTS TIKS PĀRSTRĀDĀTS

Related Stories

Light-Mode

Classic

Newspaper

Minty

Dark-Mode

Neon Noir

Minty

HN StartUps