সি # ঠিক আছে মান ধরণের সাথে তুলনা সঙ্গে

Question 1

আমি আজ এটিতে ছুটে এসেছি এবং কেন সি # সংকলক ত্রুটি ছুঁড়ে ফেলছে তা জানিনা।

Int32 x = 1;
if (x == null)
{
    Console.WriteLine("What the?");
}

এক্স কীভাবে সম্ভবত নাল হতে পারে সে সম্পর্কে আমি বিভ্রান্ত। বিশেষত যেহেতু এই কার্যভারটি স্পষ্টতই একটি সংকলক ত্রুটি ছুঁড়েছে:

Int32 x = null;

এটি কি সম্ভব যে এক্স নাল হয়ে যেতে পারে, মাইক্রোসফ্ট কেবল এই চেকটি সংকলকটিতে না রাখার সিদ্ধান্ত নিয়েছে, বা এটি পুরোপুরি মিস হয়েছে?

আপডেট: এই নিবন্ধটি লেখার জন্য কোডটি নিয়ে গোলযোগের পরে, হঠাৎ সংকলকটি একটি সতর্কতা নিয়ে এসেছিল যে অভিব্যক্তিটি কখনই সত্য হবে না। এখন আমি সত্যিই হারিয়েছি। আমি বস্তুকে ক্লাসে রেখেছি এবং এখন সতর্কতাটি চলে গেছে তবে প্রশ্নটি রেখে গেছে, কোনও মান টাইপ নাল হয়ে যেতে পারে।

public class Test
{
    public DateTime ADate = DateTime.Now;

    public Test ()
    {
        Test test = new Test();
        if (test.ADate == null)
        {
            Console.WriteLine("What the?");
        }
    }
}

Question 2

এটি আইনী কারণ অপারেটর ওভারলোড রেজোলিউশনের চয়ন করার জন্য একটি অনন্য সেরা অপারেটর রয়েছে। এখানে একটি == অপারেটর রয়েছে যা দুটি নালীর মতো ints নেয়। স্থানীয় অভ্যন্তরীণ স্থানীয় একটি nlalable int পরিবর্তনযোগ্য। নাল আক্ষরিক একটি nullable int এ রূপান্তরযোগ্য। অতএব এটি == অপারেটরের একটি আইনী ব্যবহার এবং সর্বদা মিথ্যা হতে পারে।

একইভাবে, আমরা আপনাকে "যদি (x == 12.6)" বলতে পারি, যা সর্বদা মিথ্যাও থাকবে। স্থানীয় স্থানীয় লোকটি একটি ডাবলকে রূপান্তরিত করতে পারে, আক্ষরিক দ্বিগুণে রূপান্তরিত হয় এবং সম্ভবত তারা সমান হবে না be

Question 3

এটি কোনও ত্রুটি নয়, কারণ এখানে ( int?) রূপান্তর রয়েছে; এটি প্রদত্ত উদাহরণে একটি সতর্কতা তৈরি করে:

এক্সপ্রাইজের ফলাফলটি সর্বদা 'মিথ্যা' হয় কারণ 'টাইপ' টাইপের মান কখনই 'টাইপের' নাল 'এর সমান হয় না?'

আপনি যদি আইএলটি পরীক্ষা করেন, আপনি দেখতে পাবেন এটি সম্পূর্ণরূপে অ্যাক্সেসযোগ্য শাখাটি সরিয়ে ফেলবে - এটি কোনও রিলিজ বিল্ডে নেই।

তবে নোট করুন যে এটি সাম্যতা অপারেটরগুলির সাথে কাস্টম স্ট্রাক্টগুলির জন্য এই সতর্কতা তৈরি করে না । এটি 2.0 তে ব্যবহৃত হয়েছিল, তবে 3.0 সংকলকটিতে নয়। কোডটি এখনও মুছে ফেলা হয়েছে (সুতরাং এটি জানেন যে কোডটি অ্যাক্সেসযোগ্য নয়) তবে কোনও সতর্কতা উত্পন্ন হয়নি:

using System;

struct MyValue
{
    private readonly int value;
    public MyValue(int value) { this.value = value; }
    public static bool operator ==(MyValue x, MyValue y) {
        return x.value == y.value;
    }
    public static bool operator !=(MyValue x, MyValue y) {
        return x.value != y.value;
    }
}
class Program
{
    static void Main()
    {
        int i = 1;
        MyValue v = new MyValue(1);
        if (i == null) { Console.WriteLine("a"); } // warning
        if (v == null) { Console.WriteLine("a"); } // no warning
    }
}

আইএল (for Main) - এর সাথে নোট করুন (যা পার্শ্ব প্রতিক্রিয়া থাকতে পারে ) বাদে সবকিছুMyValue(1) মুছে ফেলা হয়েছে:

.method private hidebysig static void Main() cil managed
{
    .entrypoint
    .maxstack 2
    .locals init (
        [0] int32 i,
        [1] valuetype MyValue v)
    L_0000: ldc.i4.1 
    L_0001: stloc.0 
    L_0002: ldloca.s v
    L_0004: ldc.i4.1 
    L_0005: call instance void MyValue::.ctor(int32)
    L_000a: ret 
}

এটি মূলত:

private static void Main()
{
    MyValue v = new MyValue(1);
}

Question 4

তুলনা কখনই সত্য হতে পারে না তার অর্থ এই নয় যে এটি অবৈধ। যাইহোক, না, একটি মান টাইপ সর্বদা হতে পারে null।

Question 5

না, Int32 xকখনই হয়ে উঠবে না null।

আপনি যদি কোনও শূন্যের সাথে কোনও তুলনা করছেন তবে তুলনা অপারেটর যা দুটি ইন্টিএস গ্রহণ করে তা প্রযোজ্য।

"নাল সাথে কোনও মানের ধরণের তুলনা কেন একটি সতর্কতা?" নিবন্ধ আপনাকে সাহায্য করবে।

Question 6

একটি মান ধরণের হতে পারে না null, যদিও এটি সমান null(বিবেচনা Nullable<>) হতে পারে । আপনার ক্ষেত্রে intপরিবর্তনশীল এবং nullস্পষ্টতই কাস্ট করা হয় Nullable<Int32>এবং তুলনা করা হয়।

Question 7

আমি সন্দেহ করি যে আপনার নির্দিষ্ট পরীক্ষাটি কেবল সংকলক দ্বারা অনুকূলিত করা হচ্ছে যখন এটি আইএল তৈরি করে যেহেতু পরীক্ষা কখনই ভুল হবে না।

পার্শ্ব দ্রষ্টব্য: একটি nullable Int32 ব্যবহার করা সম্ভব 32? পরিবর্তে এক্স

Question 8

আমার ধারণা এটি কারণ কারণ "==" একটি সিনট্যাক্স চিনির যা পরামিতি System.Object.Equalsগ্রহণ করার জন্য পদ্ধতিতে কল উপস্থাপন করে System.Object। নাল বাই ইসিএমএ স্পেসিফিকেশন একটি বিশেষ ধরণের যা অবশ্যই উত্পন্ন System.Object।

সে কারণেই কেবল একটি সতর্কতা রয়েছে।

Question 9

[সম্পাদনা করুন: ত্রুটিগুলিতে সতর্কবার্তা তৈরি করেছে এবং স্ট্রিং হ্যাকের চেয়ে অপারেটরগুলি নমনীয় সম্পর্কে স্পষ্ট করে দিয়েছে]]

উপরের মন্তব্যে @ সুপারকার্টের চতুর পরামর্শ অনুসারে, নিম্নলিখিত অপারেটর ওভারলোডগুলি আপনাকে আপনার কাস্টম মান ধরণের তুলনা সম্পর্কে ত্রুটি তৈরি করতে দেয়।

অপারেটরগুলি প্রয়োগ করে যা আপনার ধরণের নালাগুলি সংস্করণগুলির সাথে তুলনা করে, তুলনার সাথে নাল ব্যবহার অপারেটরের শূন্য সংস্করণের সাথে মেলে যা আপনাকে অপ্রচলিত বৈশিষ্ট্যের মাধ্যমে ত্রুটি তৈরি করতে দেয়।

মাইক্রোসফ্ট আমাদের সংকলক সতর্কতা ফিরে না দেওয়া পর্যন্ত আমি এই কর্মসূচীর সাথে যাচ্ছি, ধন্যবাদ @ শুক্র্যাট!

public struct Foo
{
    private readonly int x;
    public Foo(int x)
    {
        this.x = x;
    }

    public override string ToString()
    {
        return string.Format("Foo {{x={0}}}", x);
    }

    public override int GetHashCode()
    {
        return x.GetHashCode();
    }

    public override bool Equals(Object obj)
    {
        return x.Equals(obj);
    }

    public static bool operator ==(Foo a, Foo b)
    {
        return a.x == b.x;
    }

    public static bool operator !=(Foo a, Foo b)
    {
        return a.x != b.x;
    }

    [Obsolete("The result of the expression is always 'false' since a value of type 'Foo' is never equal to 'null'", true)]
    public static bool operator ==(Foo a, Foo? b)
    {
        return false;
    }
    [Obsolete("The result of the expression is always 'true' since a value of type 'Foo' is never equal to 'null'", true)]
    public static bool operator !=(Foo a, Foo? b)
    {
        return true;
    }
    [Obsolete("The result of the expression is always 'false' since a value of type 'Foo' is never equal to 'null'", true)]
    public static bool operator ==(Foo? a, Foo b)
    {
        return false;
    }
    [Obsolete("The result of the expression is always 'true' since a value of type 'Foo' is never equal to 'null'", true)]
    public static bool operator !=(Foo? a, Foo b)
    {
        return true;
    }
}

Question 10

আমি মনে করি যে সংকলকটি কেন জেনেরিক ক্লাসগুলির জন্য এটি গ্রহণ করে তার সেরা উত্তর । নিম্নলিখিত ক্লাসটি বিবেচনা করুন ...

public class NullTester<T>
{
    public bool IsNull(T value)
    {
        return (value == null);
    }
}

সংকলক যদি nullমান ধরণের জন্য তুলনাগুলি গ্রহণ না করে , তবে এটির মূলত এই শ্রেণিটি ভেঙে ফেলা হবে, এর টাইপ প্যারামিটারের সাথে একটি অন্তর্নিহিত সীমাবদ্ধতা রয়েছে (যেমন এটি কেবল অ-মান-ভিত্তিক প্রকারের সাথে কাজ করবে)।

Question 11

সংকলক আপনাকে ==শূন্য থেকে বাস্তবায়িত যে কোনও কাঠামোর তুলনা করতে দেয় । এমনকি এটি আপনাকে কোনও শূন্যের সাথে তুলনা করতে দেয় (যদিও আপনি একটি সতর্কতা পাবেন)।

আপনি যদি কোডটি বিচ্ছিন্ন করেন তবে আপনি দেখতে পাবেন যে কোডটি সংকলিত হওয়ার সাথে তুলনাটি সমাধান হচ্ছে। সুতরাং, উদাহরণস্বরূপ, এই কোড (যেখানে Fooএকটি স্ট্রাক্ট বাস্তবায়ন ==):

public static void Main()
{
    Console.WriteLine(new Foo() == new Foo());
    Console.WriteLine(new Foo() == null);
    Console.WriteLine(5 == null);
    Console.WriteLine(new Foo() != null);
}

এই আইএল উত্পাদন করে:

.method public hidebysig static void  Main() cil managed
{
  .entrypoint
  // Code size       45 (0x2d)
  .maxstack  2
  .locals init ([0] valuetype test3.Program/Foo V_0)
  IL_0000:  nop
  IL_0001:  ldloca.s   V_0
  IL_0003:  initobj    test3.Program/Foo
  IL_0009:  ldloc.0
  IL_000a:  ldloca.s   V_0
  IL_000c:  initobj    test3.Program/Foo
  IL_0012:  ldloc.0
  IL_0013:  call       bool test3.Program/Foo::op_Equality(valuetype test3.Program/Foo,
                                                           valuetype test3.Program/Foo)
  IL_0018:  call       void [mscorlib]System.Console::WriteLine(bool)
  IL_001d:  nop
  IL_001e:  ldc.i4.0
  IL_001f:  call       void [mscorlib]System.Console::WriteLine(bool)
  IL_0024:  nop
  IL_0025:  ldc.i4.1
  IL_0026:  call       void [mscorlib]System.Console::WriteLine(bool)
  IL_002b:  nop
  IL_002c:  ret
} // end of method Program::Main

আপনি দেখতে পারেন:

Console.WriteLine(new Foo() == new Foo());

অনুবাদ করা হয়েছে:

IL_0013:  call       bool test3.Program/Foo::op_Equality(valuetype test3.Program/Foo,
                                                               valuetype test3.Program/Foo)

যেখানে:

Console.WriteLine(new Foo() == null);

মিথ্যা অনুবাদ করা হয়েছে:

IL_001e:  ldc.i4.0