কাঁচা ধরণ কী?
জাভা ল্যাঙ্গুয়েজ স্পেসিফিকেশন নিম্নলিখিতভাবে একটি কাঁচা ধরণের সংজ্ঞা দেয় :
একটি কাঁচা টাইপ এর মধ্যে একটি হিসাবে সংজ্ঞায়িত করা হয়:
একটি রেফারেন্স টাইপ যা জেনেরিক টাইপ ডিক্লেয়ারেশনের নামটি সহসঙ্গত প্রকার আর্গুমেন্ট তালিকা ছাড়াই গঠিত হয়।
একটি অ্যারের প্রকার যার উপাদান ধরণের কাঁচা টাইপ।
staticকাঁচা ধরণের একটি অ- সদস্য প্রকার Rযা সুপারক্লাস বা সুপারিনটারফেস থেকে উত্তরাধিকার সূত্রে প্রাপ্ত হয় না R।
উদাহরণস্বরূপ এখানে উদাহরণ দেওয়া হল:
public class MyType<E> {
class Inner { }
static class Nested { }
public static void main(String[] args) {
MyType mt; // warning: MyType is a raw type
MyType.Inner inn; // warning: MyType.Inner is a raw type
MyType.Nested nest; // no warning: not parameterized type
MyType<Object> mt1; // no warning: type parameter given
MyType<?> mt2; // no warning: type parameter given (wildcard OK!)
}
}
এখানে, MyType<E>একটি প্যারামিটারাইজড টাইপ ( জেএলএস 4.5 )। এই ধরনের প্রচ্ছন্নভাবে MyTypeসংক্ষিপ্তসার হিসাবে উল্লেখ করা সাধারণ , তবে প্রযুক্তিগতভাবে নামটি MyType<E>।
mtউপরের সংজ্ঞাটিতে প্রথম বুলেট পয়েন্ট দ্বারা একটি কাঁচা ধরণের (এবং সংকলন সতর্কতা উত্পন্ন করে) রয়েছে; innতৃতীয় বুলেট পয়েন্ট দ্বারা একটি কাঁচা টাইপ আছে।
MyType.Nestedস্থিতিমাপ কর ধরন, নয় যদিও এটি একটি স্থিতিমাপ টাইপ একজন সদস্য ধরনের MyType<E>, এটা কারণ static।
mt1, এবং mt2উভয়ই প্রকৃত ধরণের পরামিতিগুলির সাথে ঘোষিত হয়, তাই তারা কাঁচা ধরণের নয়।
কাঁচা ধরণের সম্পর্কে এত বিশেষ কী?
মূলত, কাঁচা ধরণগুলি জেনেরিকের প্রচলনের আগে যেমন ছিল তেমন আচরণ করে। এটি হ'ল সংকলন-সময় নীচে সম্পূর্ণ আইনী।
List names = new ArrayList(); // warning: raw type!
names.add("John");
names.add("Mary");
names.add(Boolean.FALSE); // not a compilation error!
উপরের কোডটি ঠিকঠাক চলতে পারে তবে মনে করুন আপনার নিম্নলিখিতগুলিও রয়েছে:
for (Object o : names) {
String name = (String) o;
System.out.println(name);
} // throws ClassCastException!
// java.lang.Boolean cannot be cast to java.lang.String
রান-টাইমে এখন আমরা সমস্যায় পড়ি, কারণ namesএমন কিছু রয়েছে যা একটি নয় instanceof String।
সম্ভবত, যদি তুমি চাও namesশুধুমাত্র ধারণ String, আপনি পারে সম্ভবত এখনও একটি কাঁচা টাইপ ব্যবহার এবং নিজে যে পরীক্ষা add নিজেকে, এবং তারপর নিজে নিক্ষেপ করার Stringথেকে প্রতিটি আইটেম names। আরও ভাল , যদিও কোনও কাঁচা ধরণের ব্যবহার না করা এবং জাভা জেনেরিকের শক্তিকে কাজে লাগিয়ে সংকলকটি আপনার জন্য সমস্ত কাজ করতে দেয়।
List<String> names = new ArrayList<String>();
names.add("John");
names.add("Mary");
names.add(Boolean.FALSE); // compilation error!
অবশ্যই, আপনি যদি কোনওটিকেnames অনুমতি দিতে চান Boolean, তবে আপনি এটি হিসাবে এটি ঘোষণা করতে পারেন List<Object> namesএবং উপরের কোডটি সংকলন করবে।
আরো দেখুন
<Object>টাইপ পরামিতি হিসাবে কোনও কাঁচা টাইপ কীভাবে আলাদা ?
কার্যকর জাভা 2 য় সংস্করণ, আইটেম 23 এর একটি উদ্ধৃতি নিম্নরূপ : নতুন কোডে কাঁচা ধরণের ব্যবহার করবেন না :
কাঁচা টাইপ Listএবং প্যারামিটারাইজড টাইপের মধ্যে পার্থক্য কী List<Object>? আলগাভাবে বলতে গেলে, প্রাক্তন জেনেরিক প্রকারের চেকিং বেছে নিয়েছেন, অন্যদিকে স্পষ্টভাবে সংকলককে বলেছিলেন যে এটি কোনও ধরণের বস্তু ধারণ করতে সক্ষম is আপনি List<String>টাইপের একটি প্যারামিটারে একটি পাস করতে পারার পরে List, আপনি এটিকে টাইপের কোনও প্যারামিটারে পাস করতে পারবেন না List<Object>। জেনেরিকদের জন্য সাব টাইপিং বিধি রয়েছে এবং List<String>এটি কাঁচা টাইপের একটি উপপ্রকার List, তবে প্যারামিটারাইজড ধরণের নয় List<Object>। ফলস্বরূপ, আপনি যদি কাঁচা ধরণের মতো ব্যবহার করেন তবে আপনি সুরক্ষা হারাবেন তবে আপনি Listযদি প্যারামিটারাইজড টাইপের মতো ব্যবহার করেন নাList<Object> ।
পয়েন্টটি বর্ণনা করার জন্য, নিম্নলিখিত পদ্ধতিটি বিবেচনা করুন যা একটি নেয় List<Object>এবং সংযোজন করে new Object()।
void appendNewObject(List<Object> list) {
list.add(new Object());
}
জাভার জেনারিকস অবিস্মরণীয়। এ List<String>একটি নয় List<Object>, সুতরাং নিম্নলিখিতগুলি একটি সংকলক সতর্কতা তৈরি করবে:
List<String> names = new ArrayList<String>();
appendNewObject(names); // compilation error!
যদি আপনি appendNewObjectকোনও কাঁচা ধরণের Listপ্যারামিটার হিসাবে নেওয়ার কথা ঘোষণা করেন , তবে এটি সংকলন করবে এবং আপনি জেনেরিক থেকে যে ধরণের সুরক্ষা পেয়েছেন তা হারাবেন।
আরো দেখুন
<?>টাইপ প্যারামিটার হিসাবে কোনও কাঁচা টাইপ কীভাবে আলাদা ?
List<Object>, List<String>ইত্যাদি সবই রয়েছে List<?>তাই কেবল এটির Listপরিবর্তে কেবল এটি বলার জন্য লোভনীয় হতে পারে । তবে, একটি বড় পার্থক্য রয়েছে: যেহেতু List<E>কেবলমাত্র একটি সংজ্ঞা দেয় add(E)আপনি একটিতে কেবল কোনও স্বেচ্ছাচারিত বস্তু যুক্ত করতে পারবেন না List<?>। অন্যদিকে, যেহেতু কাঁচা টাইপের Listধরণের সুরক্ষা নেই, আপনি এটিকে addকেবল কোনও কিছু করতে পারেন List।
পূর্ববর্তী স্নিপেটের নিম্নলিখিত পরিবর্তনের বিষয়টি বিবেচনা করুন:
static void appendNewObject(List<?> list) {
list.add(new Object()); // compilation error!
}
//...
List<String> names = new ArrayList<String>();
appendNewObject(names); // this part is fine!
সংকলকটি আপনাকে সম্ভাব্যতার ধরণের ইনগ্রিয়ারিয়েন্স লঙ্ঘন থেকে রক্ষা করার এক দুর্দান্ত কাজ করেছে List<?>! আপনি যদি প্যারামিটারটিকে কাঁচা প্রকার হিসাবে ঘোষণা করে থাকেন List listতবে কোডটি সংকলন করে, এবং আপনি প্রকারের আক্রমণকারীটি লঙ্ঘন করেছেন List<String> names।
একটি কাঁচা টাইপ সেই ধরণের মুছে ফেলা হয়
জেএলএসে ফিরে যান 4.8:
এটা একটা ধরন হিসেবে ব্যবহার করা সম্ভব ইরেজিওর স্থিতিমাপ কর টাইপ বা একটি অ্যারের রযেছে যাদের উপাদান ধরনের একটি স্থিতিমাপ টাইপ হয় ইরেজিওর করুন। এ জাতীয় প্রকারকে কাঁচা টাইপ বলে ।
[...]
একটি কাঁচা ধরণের সুপারক্লাসগুলি (যথাক্রমে সুপারিনটারফেস) হ'ল জেনেরিক ধরণের যে কোনও প্যারামিটারাইজেশনগুলির সুপারক্লাসগুলি (সুপারিনটারফেসগুলি) মুছে ফেলা হয়।
কোনও নির্মাণকারীর ধরণ, উদাহরণ পদ্ধতি, বা staticকোনও কাঁচা প্রকারের ক্ষেত্রবিহীন ক্ষেত্র Cযা এর সুপারক্লাস বা সুপারিনটারফেসগুলি থেকে উত্তরাধিকার সূত্রে প্রাপ্ত হয় না তা হ'ল কাঁচা টাইপ যা সম্পর্কিত জেনেরিক ঘোষণায় এর ধরণের মুছে যাওয়ার সাথে সম্পর্কিত C।
সহজ কথায়, যখন কোনও কাঁচা প্রকার ব্যবহৃত হয়, তখন কনস্ট্রাক্টর, উদাহরণ পদ্ধতি এবং ক্ষেত্রবিহীন staticক্ষেত্রগুলিও মুছে ফেলা হয় ।
নিম্নলিখিত উদাহরণটি ধরুন:
class MyType<E> {
List<String> getNames() {
return Arrays.asList("John", "Mary");
}
public static void main(String[] args) {
MyType rawType = new MyType();
// unchecked warning!
// required: List<String> found: List
List<String> names = rawType.getNames();
// compilation error!
// incompatible types: Object cannot be converted to String
for (String str : rawType.getNames())
System.out.print(str);
}
}
যখন আমরা কাঁচা ব্যবহার করি MyType, getNamesপাশাপাশি মুছে যায়, যাতে এটি কোনও কাঁচা ফেরত দেয় List!
জেএলএস 4.6 নিম্নলিখিতগুলি ব্যাখ্যা করে চলেছে:
টাইপ ইরেজর কোনও কনস্ট্রাক্টর বা পদ্ধতির স্বাক্ষরকে এমন একটি স্বাক্ষরে মানচিত্র করে যার কোনও প্যারামিটারাইজড প্রকার বা টাইপ ভেরিয়েবল নেই। একটি কন্সট্রাকটর বা পদ্ধতি স্বাক্ষর ইরেজিওর sনামেই গঠিত একটি স্বাক্ষর হয় sএবং দেওয়া সমস্ত ফর্ম্যাল প্যারামিটার ধরনের erasures s।
পদ্ধতি বা নির্মাণকারীর স্বাক্ষর মুছে ফেলা হলে কোনও পদ্ধতির রিটার্ন টাইপ এবং জেনেরিক পদ্ধতি বা কনস্ট্রাক্টরের টাইপ পরামিতিগুলিও মুছে ফেলা হয়।
জেনেরিক পদ্ধতির স্বাক্ষরের মুছে ফেলার কোনও ধরণের পরামিতি নেই।
নিম্নলিখিত বাগের প্রতিবেদনে মরিজিও সিমাদামোর, একটি সংকলক দেব, এবং জেএলএস-এর অন্যতম লেখক অ্যালেক্স বাকলির কিছু ধারণা রয়েছে, কেন এই ধরণের আচরণটি হওয়া উচিত: https://bugs.openjdk.java.net/browse / জেডিকে-6400০০১৯৯ । (সংক্ষেপে, এটি স্পেসিফিকেশনকে সহজ করে তোলে))
যদি এটি অনিরাপদ থাকে তবে কেন এটি কোনও কাঁচা ধরণের ব্যবহারের অনুমতি দেওয়া হচ্ছে?
এখানে জেএলএস ৪.৮ এর আরও একটি উদ্ধৃতি দেওয়া হয়েছে:
লিগ্যাসি কোডের সামঞ্জস্যের জন্য ছাড় হিসাবে কেবল কাঁচা ধরণের ব্যবহার অনুমোদিত। জাভা প্রোগ্রামিং ল্যাঙ্গুয়েজে উদারতার প্রবর্তনের পরে রচিত কোডে কাঁচা প্রকারের ব্যবহার দৃ strongly়ভাবে নিরুৎসাহিত। সম্ভবত জাভা প্রোগ্রামিং ভাষার ভবিষ্যতের সংস্করণগুলি কাঁচা ধরণের ব্যবহারকে অস্বীকার করবে।
কার্যকর জাভা 2 য় সংস্করণে এটি যুক্ত করার জন্য রয়েছে:
আপনি যে কাঁচা ধরণের ব্যবহার করবেন না তা দেওয়া হয়েছে, ভাষা ডিজাইনাররা কেন তাদের অনুমতি দিলেন? সামঞ্জস্যতা প্রদান।
জেনারিকস চালু হওয়ার সময় জাভা প্ল্যাটফর্মটি তার দ্বিতীয় দশকে প্রবেশ করতে চলেছিল, এবং প্রচুর পরিমাণে জাভা কোড উপস্থিত ছিল যা জেনেরিকগুলি ব্যবহার করে না। এটি সমালোচনা হিসাবে বিবেচিত হয়েছিল যে এই সমস্ত কোডটি জেনেরিকগুলি ব্যবহার করে এমন নতুন কোডের সাথে আইনী এবং আন্তঃব্যবসায়ী থেকে যায়। প্যারামিটারাইজড ধরণের উদাহরণগুলি সাধারণ পদ্ধতির সাথে ব্যবহারের জন্য তৈরি করা হয়েছে এবং এর বিপরীতে প্যারামিটারাইজড প্রকারের উদাহরণগুলি বৈধ হতে হয়েছিল। এই প্রয়োজনীয়তা, মাইগ্রেশন সামঞ্জস্য হিসাবে পরিচিত , কাঁচা ধরণের সমর্থন করার সিদ্ধান্ত নিয়েছে।
সংক্ষেপে, কাঁচা প্রকারগুলি নতুন কোডে কখনও ব্যবহার করা উচিত নয়। আপনার সর্বদা পরামিতিযুক্ত ধরণের ব্যবহার করা উচিত ।
কোন ব্যতিক্রম আছে?
দুর্ভাগ্যক্রমে, জাভা জেনেরিকগুলি অ-সংশোধিত, এমন দুটি ব্যতিক্রম রয়েছে যেখানে নতুন কোডে কাঁচা প্রকারগুলি ব্যবহার করা উচিত:
- ক্লাস আক্ষরিক, যেমন
List.class, নাList<String>.class
instanceofঅপারেন্ড, যেমন o instanceof Set, নাo instanceof Set<String>
আরো দেখুন