সি # এবং জাভা এর টেরিনারি অপারেটরের মধ্যে পার্থক্য (? :)

Question 1

আমি সি # নবাগত এবং আমি কেবল একটি সমস্যার মুখোমুখি হয়েছি। টেরিনারি অপারেটর ( ? :) এর সাথে ডিল করার সময় সি # এবং জাভার মধ্যে পার্থক্য রয়েছে ।

নিম্নলিখিত কোড বিভাগে, 4 র্থ লাইনটি কেন কাজ করে না? সংকলক এর একটি ত্রুটি বার্তা দেখায় there is no implicit conversion between 'int' and 'string'। 5 তম লাইনটি তেমন কাজ করে না। দুটি Listগুলিই বস্তু, তাই না?

int two = 2;
double six = 6.0;
Write(two > six ? two : six); //param: double
Write(two > six ? two : "6"); //param: not object
Write(two > six ? new List<int>() : new List<string>()); //param: not object

তবে একই কোড জাভাতে কাজ করে:

int two = 2;
double six = 6.0;
System.out.println(two > six ? two : six); //param: double
System.out.println(two > six ? two : "6"); //param: Object
System.out.println(two > six ? new ArrayList<Integer>()
                   : new ArrayList<String>()); //param: Object

সি # তে কোন ভাষার বৈশিষ্ট্য অনুপস্থিত? যদি কোনও হয় তবে এটি যুক্ত করা হয় না কেন?

Question 2

মাধ্যমে দেখার জন্যে সি # 5 ভাষা নির্দিষ্টকরণ অধ্যায় 7.14: শর্তসাপেক্ষ অপারেটর আমরা নিম্নলিখিত দেখতে পারেন:

যদি x এর টাইপ এক্স এবং y এর Y টাইপ থাকে then

যদি কোনও অন্তর্নিহিত রূপান্তর (§6.1) X থেকে Y তে উপস্থিত থাকে তবে Y থেকে X তে থাকে না, তবে Y শর্তসাপেক্ষ প্রকাশের ধরণ।

যদি কোনও অন্তর্নিহিত রূপান্তর (§6.1) Y থেকে X এ উপস্থিত থাকে তবে X থেকে Y তে নয়, তবে এক্স শর্তাধীন ভাবের ধরণ।

অন্যথায়, কোনও প্রকাশের ধরণ নির্ধারণ করা যায় না এবং একটি সংকলন-সময় ত্রুটি ঘটে

অন্য কথায়: এটি x এবং y কে অন্যে রূপান্তর করতে পারে কিনা তা অনুসন্ধান করার চেষ্টা করে এবং যদি না হয় তবে সংকলন ত্রুটি ঘটে। আমাদের ক্ষেত্রে intএবং stringকোনও সুস্পষ্ট বা অন্তর্নিহিত রূপান্তর নেই তাই এটি সংকলন করবে না।

এটি জাভা 7 ভাষা নির্দিষ্টকরণ বিভাগ 15.25 এর সাথে বিপরীতে করুন : শর্তাধীন অপারেটর :

দ্বিতীয় এবং তৃতীয় অপারেন্ডগুলির যদি একই ধরণের থাকে (যা নাল টাইপ হতে পারে), তবে এটি শর্তসাপেক্ষ প্রকাশের ধরণ। ( না )

যদি দ্বিতীয় এবং তৃতীয় অপারেশনগুলির মধ্যে একটি আদিম প্রকার টি হয়, এবং অন্যটির ধরণটি বক্সিং রূপান্তর (§5.1.7) টি-তে প্রয়োগ করার ফলস্বরূপ হয়, তবে শর্তসাপেক্ষ প্রকাশের ধরণটি টি। ( NO ) নয়

যদি দ্বিতীয় এবং তৃতীয় অপারেন্ডগুলির মধ্যে একটি নাল টাইপের হয় এবং অন্যটির প্রকারটি একটি রেফারেন্স টাইপ হয়, তবে শর্তাধীন এক্সপ্রেশনটির ধরণটি সেই রেফারেন্স টাইপ। ( না )

অন্যথায়, যদি দ্বিতীয় এবং তৃতীয় অপারেন্ডসের সংখ্যার সাথে রূপান্তরযোগ্য (§5.1.8) টাইপ থাকে তবে কয়েকটি ক্ষেত্রে রয়েছে: ( কোনও )

অন্যথায়, দ্বিতীয় এবং তৃতীয় অপারেশনগুলি যথাক্রমে এস 1 এবং এস 2 ধরণের। এস 1-তে বক্সিং রূপান্তর প্রয়োগ করে ফলাফলটি টি 1 এর মতো হয়ে উঠুক এবং এস 2-তে বক্সিং রূপান্তর প্রয়োগের ফলে টি 2 কে এমন ধরণের সুযোগ দিন।
শর্তসাপেক্ষ প্রকাশের প্রকারটি হ'ল ক্যাপচার রূপান্তর (.15.1.10) প্রয়োগ করে (টি 1, টি 2) (.115.12.2.7) .7 ( হ্যাঁ )

এবং, বিভাগ 15.12.2.7 এ খুঁজছেন । প্রকার আর্গুমেন্ট ACTUAL টি যুক্তি উপর নির্ভর করে inferring আমরা এটিকে সাধারণ পূর্বপুরুষ যে কল যা এটি দিয়ে জমি জন্য ব্যবহৃত টাইপ হিসেবে পরিবেশন করা হবে খোঁজ করে দেখতে পারেন Object। Object হয় একটি গ্রহণযোগ্য যুক্তি তাই কল কাজ করবে।

Question 3

প্রদত্ত উত্তরগুলি ভাল; আমি তাদের সাথে যুক্ত করব যে সি # এর এই বিধিটি আরও সাধারণ ডিজাইনের গাইডলাইনটির ফলাফল। বিভিন্ন পছন্দগুলির মধ্যে একটি থেকে অভিব্যক্তির ধরণটি নির্ধারণ করতে জিজ্ঞাসা করা হলে, সি # তাদের মধ্যে অনন্য সেরাটি বেছে নেয় । এটি হ'ল, যদি আপনি "জিরাফ, স্তন্যপায়ী, প্রাণী" এর মতো সি # কে কিছু পছন্দ দেন তবে এটি পরিস্থিতি অনুসারে সর্বাধিক সাধারণ - প্রাণী - বা এটি সুনির্দিষ্ট - জিরাফ বেছে নিতে পারে। তবে এটি অবশ্যই দেওয়া পছন্দগুলির মধ্যে একটি বেছে নিতে হবে । সি # কখনও বলে না "আমার পছন্দগুলি বিড়াল এবং কুকুরের মধ্যে রয়েছে, তাই আমি বেছে নেব যে প্রাণী সেরা পছন্দ"। এটি কোনও পছন্দ দেওয়া হয়নি, সুতরাং সি # এটি চয়ন করতে পারে না।

টেরিনারি অপারেটরের ক্ষেত্রে সি # আরও সাধারণ ধরণের ইনট এবং স্ট্রিং বেছে নেওয়ার চেষ্টা করে তবে দুটিও সাধারণ প্রকার নয়। প্রথমে পছন্দ নয় এমন কোনও ধরণের বাছাইয়ের পরিবর্তে অবজেক্টের মতো, সি # সিদ্ধান্ত নিয়েছে যে কোনও ধরণের অনুমান করা যাবে না।

আমি আরও লক্ষ করি যে এটি সি # এর আরেকটি ডিজাইনের নীতি অনুসরণ করছে: যদি কিছু ভুল মনে হয় তবে বিকাশকারীকে বলুন। ভাষাটি বলে না যে "আপনি কী বোঝাতে চেয়েছিলেন তা অনুমান করতে যাচ্ছি এবং যদি পারতে পারি তবে তা বিচলিত করব"। ভাষাটি বলে "আমার মনে হয় আপনি এখানে কিছু বিভ্রান্তিকর লিখেছেন, এবং আমি আপনাকে সে সম্পর্কে বলব।"

এছাড়াও, আমি নোট করি যে সি # ভেরিয়েবল থেকে নির্ধারিত মানের সাথে যুক্ত হয় না , বরং অন্য দিককে। সি # এটি বলে না যে "আপনি কোনও অবজেক্ট ভেরিয়েবলকে নির্ধারণ করছেন তাই এক্সপ্রেশনটি অবশ্যই অবজেক্টে রূপান্তরিত হতে হবে, তাই আমি নিশ্চিত করব যে এটি"। পরিবর্তে, সি # বলেছেন "এই অভিব্যক্তিটির অবশ্যই একটি প্রকার থাকতে হবে এবং টাইপটি অবজেক্টের সাথে সামঞ্জস্যপূর্ণ কিনা তা অবশ্যই আমাকে অনুমান করতে সক্ষম হতে হবে"। যেহেতু এক্সপ্রেশনটির কোনও প্রকার নেই, ত্রুটি উত্পন্ন হয়।

Question 4

জেনেরিক অংশ সম্পর্কে:

two > six ? new List<int>() : new List<string>()

সি # তে, সংকলক ডান হাতের এক্সপ্রেশন অংশগুলিকে কিছু সাধারণ ধরণের রূপান্তরিত করার চেষ্টা করে ; যেহেতু List<int>এবং List<string>দুটি স্বতন্ত্র নির্মিত ধরণের, একটিতে অন্যটিতে রূপান্তর করা যায় না।

জাভাতে, সংকলক রূপান্তর না করে একটি সাধারণ সুপার টাইপ সন্ধান করার চেষ্টা করে , তাই কোডটি সংকলনে ওয়াইল্ডকার্ড এবং মুছে ফেলা টাইপের অন্তর্নিহিত ব্যবহার জড়িত ;

two > six ? new ArrayList<Integer>() : new ArrayList<String>()

এর কম্পাইল টাইপ হয়েছে ArrayList<?>(আসলে, এটি হতে পারে ArrayList<? extends Serializable>বা ArrayList<? extends Comparable<?>>, ব্যবহার প্রসঙ্গ উপর নির্ভর করে, যেহেতু তারা উভয় সাধারণ জেনেরিক supertypes হয়) এবং কাঁচা এর রানটাইম টাইপ ArrayList(এটা যেহেতু সাধারণ কাঁচা supertype)।

উদাহরণস্বরূপ (এটি নিজে পরীক্ষা করুন) ,

void test( List<?> list ) {
    System.out.println("foo");
}

void test( ArrayList<Integer> list ) { // note: can't use List<Integer> here
                                 // since both test() methods would clash after the erasure
    System.out.println("bar");
}

void test() {
    test( true ? new ArrayList<Object>() : new ArrayList<Object>() ); // foo
    test( true ? new ArrayList<Integer>() : new ArrayList<Object>() ); // foo 
    test( true ? new ArrayList<Integer>() : new ArrayList<Integer>() ); // bar
} // compiler automagically binds the correct generic QED

Question 5

জাভা এবং সি # (এবং বেশিরভাগ অন্যান্য ভাষা) উভয় ক্ষেত্রেই একটি এক্সপ্রেশনের ফলাফলের একটি প্রকার থাকে। টেরিনারি অপারেটরের ক্ষেত্রে, ফলাফলের জন্য দুটি সম্ভাব্য subexpresstions মূল্যায়ন করা হয় এবং উভয়ের অবশ্যই একই ধরণের থাকতে হবে। জাভা এর ক্ষেত্রে, একটি intভেরিয়েবল Integerঅটোবক্সিং দ্বারা একটিতে রূপান্তর করা যায় । যেহেতু উভয়ই Integerএবং Stringউত্তরাধিকার সূত্রে প্রাপ্ত Object, এগুলি একটি সরু সংকীর্ণ রূপান্তর দ্বারা একই ধরণের রূপান্তরিত হতে পারে।

অন্যদিকে, সি # intতে একটি আদিম এবং সেখানে stringবা অন্য কোনওটিতে অন্তর্নিহিত রূপান্তর নেই object।

Question 6

এই বেশ সহজ. স্ট্রিং এবং ইন্টের মধ্যে কোনও অন্তর্নিহিত রূপান্তর নেই। টেরিনারি অপারেটরের একই ধরণের জন্য শেষ দুটি অপারেটর প্রয়োজন।

চেষ্টা করুন:

Write(two > six ? two.ToString() : "6");