10 أغطية C# الأكثر إثارة للجدل التي وجدناها في مصدر مفتوح في 2025

طوال عام 2025، قام فريق PVS-Studio بإجراء دراسة فعالة لمشاريع C# مفتوحة المصدر. خلال العام، اكتشفنا الكثير من الأخطاء. لذلك، نحن نختار العشر الأكثر إثارة للاهتمام من هذا النوع الكبير. ونحن نأمل أن تجد هذه المجموعة مثيرة للاهتمام ومفيدة. كيف نجمع بين أعلى؟ هناك العديد من المعايير التي يجب أن تتوافق مع رمز المشروع للحصول على مكان في قائمة أعلى لدينا: ويأتي من مشروع مصدر مفتوح؛ تم اكتشاف المشكلات من قبل PVS-Studio. من المحتمل أن يحتوي الكود على أخطاء. الكود هو مثير للاهتمام للتحقق. كل خطأ هو فريدة. وبما أننا نضع هذه القائمة بشكل منتظم، فقد جمعنا مجموعة مثيرة للاهتمام من أخطاء غريبة. أفضل 10 أخطاء في 2024 أفضل 10 أخطاء في 2023 أفضل 10 أخطاء في 2022 أفضل 10 أخطاء في 2021 أفضل 10 أخطاء في 2020 أفضل 10 أخطاء في 2019 الآن، دعونا نغرق في الخلفية الهادئة للخطأ في C# لعام 2025! P.S. اختار الكاتب المقال وجمع الأخطاء بناءً على رأي شخصي.إذا كنت تعتقد أن هذا أو هذا الأخطاء تستحق مكاناً آخر، كن حرصاً على ترك تعليق :) المكان العاشر: محاولة العثور عليه اليوم يبدأ مع خطأ يذكر في يبدو أن .NET 9 قد تم إصدارها مجددا، ولكن منذ أكثر من شهر، استبدل .NET 10ها. . مقال حول التحقق من .NET 9 هذه المقالة دعنا نعود إلى التحليل: 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 (....)); break; case TypeCode.Char: variant = ComVariant.Create (value.ToChar(ci)); break; case TypeCode.SByte: variant = ComVariant.Create (value.ToSByte(ci)); break; case TypeCode.Byte: variant = ComVariant.Create (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(); } } إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال هل تريد أن ترى المشكلة؟ إنها بالتأكيد هناك! case TypeCode.Int64: variant = ComVariant.Create(value.ToInt64(ci)); break; case TypeCode.UInt64: variant = ComVariant.Create(value.ToInt64(ci)); break; // <= إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال تحذير PVS-Studio : اثنين أو أكثر من القطاعات العملية نفسها. DynamicVariantExtensions.cs 68 الـ3139 أعتقد أنك قد أعطت عينيك تدريبًا جيدًا، وأرى رؤيتك الرائعة لم تتركك. instead of يجب أن تستخدم المطورين الحاليين هذا قد يكون خطأ في الترجمة. case TypeCode.UInt64 value.ToInt64 ToUInt64() المرتبة الرابعة: التصميم غير المقبول المكان الثامن يذهب إلى الخطأ المذكور في : مقال حول التحقق من المشاريع Neo و NBitcoin public override string ToString() { var sb = new StringBuilder(); sb.AppendFormat("{1:X04} {2,-10}{3}{4}", Position, OpCode, DecodeOperand()); return sb.ToString(); } إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال تحذير PVS-Studio : [CWE-685] التصميم غير صحيح. يتوقع عدد مختلف من عناصر التصميم أثناء إدخال وظيفة "AppendFormat". التصميم غير مستخدم: {3}، {4}. التصميم غير مستخدم: 1st. VMInstruction.cs 105 V3025 دعونا نتحدث عن الغموض هذه الطريقة تسبب في استثناء، وهذا هو السبب. الكلمات التي تحتوي على 2 أخطاء. ToString sb.AppendFormat عدد العوامل التي يجب إدخالها أقل من عدد المضيفين في سلسلة التصميم، مما يؤدي إلى استثناء. على الرغم من أننا نحدد المسألة الأولى من خلال تقييم عدد العناصر والمواطنين، إلا أن الهجوم لا يزال يهدد الاستثناء.هذا لأنه يبدأ تقييم العناصر في 0 وليس 1.هذا يعني أن العناصر الخامسة تحتاج إلى العناصر مع العناصر 4 التي لا يوجد فيها. المرتبة الثامنة: ناسا الخطأ التالي يأتي من : مقال حول اختبار محرك التداول Lean 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); } إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال تحذير PVS-Studio : يتم استخدام الخصائص 'Legs' في طريقة 'GetHashCode' ولكنها لا تنتهي من طريقة 'Equals'. OptionStrategyDefinitionMatch.cs 176 V3192 أطلقت التحليلات على check on the النموذج، الذي يُسمى "الإحباط" , and found that it doesn't use the الممتلكات، على الرغم من يعتمد على ذلك. النقابات Equals Equals Legs GetHashCode دعونا نلقي نظرة واضحة على الطريقة : 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; } إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال يرجى ملاحظة أن النموذج يتكرر لكل عنصر في هذه الجمعية ، يحاول الكود العثور عليه في الكاتب - ولكن هذا الكاتب يأتي أيضا من وبالتالي، يتم التحقق من أن عناصر مجموعة موجودة في نفس الجمعية. other.Legs positions other.Legs يمكن إصلاح الكود عن طريق استبدال مع في الموقع المحدد. other.Legs Legs المرتبة الرابعة: Tricky Equals المكان السابع يذهب إلى خطأ من : مقال حول التحقق من ScottPlot public class CoordinateRangeMutable : IEquatable { .... 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(); // <= } } إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال PVS-Studio تحذير: يتم استخدام الخصائص "Max" في طريقة "GetHashCode" ولكنها غير موجودة في طريقة "Equals". ScottPlot CoordinateRangeMutable.cs 198 V3192 There are identical sub-expressions 'Equals(Min, other.Min)' to the left and to the right of the '&&' operator. ScottPlot CoordinateRangeMutable.cs 172 V3001 أصدرت التحليلين تحذيرين على هذه النسخة من الكود ، دعونا نرى لماذا حدث هذا. وسنبدأ مع ويقول تحذير المراقبين إن وتستخدم العقارات في الطريقة، ولكن ليس في method. If we look at the overridden يمكننا أن نرى هذا النوع من في جسمه، يمكننا أن نرى ما يلي: • The وتشير الدراسة إلى هذه النقطة. V3192 Max GetHashCode Equals Equals Equals Equals(Min, other.Min) && Equals(Min, other.Min) V3001 Clearly, one of the يجب أن يكون الممثلون form. && Equals(Max, other.Max) لذلك ، فإن التحليل الصحيح - لا يظهر في الطريقة Max Equals المجموعة السادسة: قصة قصيرة وهذا خطأ، كما هو الحال في المادة السابقة. ونتناول الجزء الأول من المرتبة: مقال حول التحقق من ScottPlot public static Interactivity.Key GetKey(this Keys keys) { Keys keyCode = keys & ~Keys.Modifiers; // Interactivity.StandardKeys.Alt, // Interactivity.StandardKeys.Alt, Keys.Shift => Interactivity.StandardKeys.Shift, // Interactivity.StandardKeys.Shift, Keys.LShiftKey => Interactivity.StandardKeys.Shift, Keys.RShiftKey => Interactivity.StandardKeys.Shift, Keys.Control => Interactivity.StandardKeys.Control, // 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, }; .... } Enter fullscreen mode Exit fullscreen mode تحذير PVS-Studio : يتم اكتشاف كود غير قابل للتطبيق. قيمة "مثل" خارج نطاق التعبير المتوافق. ScottPlot.WinForms FormsPlotExtensions.cs 106 V3202 معيارين مختلفين داخل لا يمكن أن يحدث في هذا السياق، دعونا نرى ما يحدث هنا. switch أولاً ، يجب أن ننظر إلى القيم التي تتوافق مع العناصر الخاطئة في القائمة. [Flags] [TypeConverter(typeof(KeysConverter))] [Editor(....)] public enum Keys { /// /// The bit mask to extract modifiers from a key value. /// Modifiers = unchecked((int)0xFFFF0000), .... /// /// The SHIFT modifier key. /// Shift = 0x00010000, /// /// The CTRL modifier key. /// Control = 0x00020000, /// /// The ALT modifier key. /// Alt = 0x00040000 } إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال ثم نقوم بتحويلها إلى ثنائي: فمن الواضح الآن أن include each of the erroneous enumeration elements. Modifiers وارتفع القيمة إلى وقد تم الحصول عليها من هذا التعبير لا يمنع من القيمة من بالإضافة إلى ذلك , however, ، و و كما سيتم إلغاء ذلك، لأن كما أن هذه الأرقام ( يجب أن يكون لديك جزء لا يتجزأ لكل جزء لا يتجزأ من عناصر الرقم الخطأ). switch keys & ~Keys.Modifiers Keys.Modifiers keys Keys.Modifiers Shift Control Alt Modifiers Modifiers من هذا النوع، يمكننا أن ندرك أن الجمعيات التي تنتج ، أو أو بالنسبة لـ العمليات ليست موجودة. Shift Control Alt keys & ~Keys.Modifiers ربما يكون المشكلة في الاستخدام بدلاً من القيم المحددة. switch المرتبة الخامسة: كل ما يملكه The top five starts with an error mentioned in an : مقال حول التحقق من .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; } } Enter fullscreen mode Exit fullscreen mode تحذير PVS-Studio : مقارنة المتغيرات من نوع القيمة مع "ReferenceEquals" ليست صحيحة لأن "هذا" سيكون مكتوبًا. ILImporter.StackValue.cs 164 الـ3161 ذاك هذا النموذج يعتمد على المعايير من عندما يتم إرسال نوع قيمة ، يتم الحصول على . The reference created on the heap won't match any other reference. ReferenceEquals Object boxed منذ يتم إرسالها كعقوبة أولى، وسوف يحدث مكافأة كل مرة هذا هو السبب، فمن خلال التحقق من دائمًا يعود . this Equals ReferenceEquals false يرجى ملاحظة أن هذه المشكلة لا تؤثر على كيفية عمل الطريقة. تم تنفيذ الطريقة لتجنب المقارنة الإضافية إذا كانت المقارنة متساوية. بدلاً من ذلك، هذا هو نوع من التحسين. في الواقع، ومع ذلك، فإن الوضع على النقيض تماما: ReferenceEquals الكود يعمل دائمًا بعد التحقق. each call to results in a boxing operation. Equals من المثير للدهشة أن التحليل المدمج في .NET (قواعد أيضًا، لا يمكن للمطورين .NET أن يلجأوا إلى ذلك :) CA2013 ربما تم إلغاء هذه القاعدة للبرنامج. is enabled by default starting with .NET 5. كاكا 2013 الرابع: عدم الانضمام المكان الرابع يذهب إلى خطأ من : مقال حول التحقق من MSBuild private static void SubscribeImmutablePathsInitialized() { NotifyOnScopingReadiness?.Invoke(); FileClassifier.Shared.OnImmutablePathsInitialized -= () => NotifyOnScopingReadiness?.Invoke(); } إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال تحذير PVS-Studio : . 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 V3084 في هذه الحالة ، لا تتحقق إلغاء التسجيل من ممثل ، لأنه كلما أعلنت عن وظيفة مجهولة ، يتم إنشاء حالة ممثل جديدة. يتم التوقيع على ولكن لا تتلقى من ما لم يكن له تأثير OnImmutablePathsInitialized delegate 1 delegate 2 المرتبة الثالثة: التفكير في المرتبة الأولى So, we've reached the top three. The error from an في المرتبة الثالثة الممتازة: مقال حول التحقق من المشاريع Neo و NBitcoin 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; Enter fullscreen mode Exit fullscreen mode تحذير PVS-Studio : [CWE-783] ربما يعمل المعالج "??" بطريقة مختلفة من المتوقع. V3123 The analyzer issued several تحذير من هذا الكود، ولكنني أضيف واحد فقط لفترة قصيرة. operator has lower precedence than the ومع ذلك، فإن تشكيل هذا التعبير يشير إلى أن المطورين كانوا يتوقعون العكس. V3123 ?? + Does the order of operations matter here? To answer the question, let's look at the example of a sub-expression addition if is : ChangeViewMessages null base.Size + ChangeViewMessages?.Values.GetVarSize() ?? 0 إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال بغض النظر عن الحجم ، فإن النتيجة هي دائمًا 0 لأن إضافة to results in . base.Size base.Size null null إذا قمت بزيارة في المقطع ، تغير الترتيب للعمل ، يصبح النتيجة . ChangeViewMessages?.Values.GetVarSize() ?? 0 base.Size المرتبة الثالثة: النموذج الخبيث المكان الثاني يذهب إلى خطأ من : مقال حول التحقق من إدارة الملفات الملفات 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; .... } إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال تحذير PVS-Studio : [CWE-670] قد لا يعمل نموذج "لا 0 أو 1" المنطقي كما هو متوقع. يرتبط نموذج "لا" فقط بالمعنى الأول من نموذج "أو".Files.App.Controls Omnibar.cs 149 الـ3207 دعونا نلقي نظرة واضحة على part. Already guessed what's the issue? This pattern is redundant. Its second part affects nothing. 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— في الواقع يعني . Such mistakes can lead not only to redundancy but also to errors like وبدأت هذه المسألة محادثات في استنادًا إلى المحاضرة، فمن المرجح أن يكتشف المؤلف هذا المشكلة في المستقبل، أو سوف تحديد التحليل الإستراتيجي المدمج ذلك كضربة حذر. x is not 0 or 1 x is (not 0) or 1 NullReferenceException: list is not null or list.Count == 0 meeting 1st place. How does LINQ work? And the winner is an error from an هذا الخطأ يتصدر أولاً بسبب عيوبها. قد لا تفكر بعض المطورين في تأثير استخدام أساليب التنفيذ المتكررة في المجموع مع المتغيرات المكتوبة. مقال حول التحقق من محرك التداول Lean 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++; // <= .... } } إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال إرسال تحذير PVS-Studio : تم تغيير المتغيرات "lineNumber" بعد اكتشافها في طريقة LINQ مع الإجراء المتكرر. لن يتم استخدام القيمة الأصلية عند الإجراء. FutureMarginBuyingPowerModelTests.cs 720 V3219 ذاك يتم تخزين ومزيد من التعديلات في التعديلات التي يتم نقلها إلى طريقة LINQ. هو طريقة مبرمجة ، يتم تشغيل الكود أثناء التكرار على جمع الناتج ، وليس عندما يتم إدخال lineNumber Select Select While iterating over the جمعية، The variable is also incremented. As a result, each iteration increases : عندما يتحرك المرشح و داخل الذي يبدو غريبًا. csv lineNumber lineNumber by 2 foreach ملاحظة The الإجازة قبل من المحتمل أن يتوقع المطورون أن يكون هذا المتغير قادرًا على تحمل قيمة غير صغيرة قبل الدورة. starts at zero, and the only place that changes it before the كما ذكرت أعلاه، يقوم المفوض بتشغيل المفوض أثناء التكرار، وليس قبل ذلك. lineNumber = 0 foreach lineNumber foreach النتيجة That's it! We've gone through the most interesting warnings from the author's point of view :) أعتقد أنك وجدت هذه الجمعية مثيرة للاهتمام والتفكير فيما يتعلق بتطوير الكود. إذا كنت ترغب في التحقق من ما إذا كان مشروعك لديه مشاكل مماثلة، فهذا الوقت هو الوقت لاستخدام تحليل ثابت. . انقر على link