আমি পার্থক্যটি যেভাবে বুঝি তা হ'ল মালিকানার প্রকারগুলি বস্তুর গ্রাফের আকারকে বাধা দেয় এবং কাঠামোগত সিস্টেমগুলি (পৃথকীকরণ যুক্তির মতো) গাদা অ্যাক্সেসের অনুমতিগুলি পরিচালনা করে ।
ণঘণঘণঘণঘ
বিপরীতে, কাঠামোগত সিস্টেমগুলি যেমন লিনিয়ার প্রকার এবং পৃথকীকরণ যুক্তি সম্পদগুলির ধারণার উপর নির্ভর করে । স্তূপের প্রতিটি অঞ্চলই একটি সংস্থান এবং আপনার যদি সংস্থান না থাকে তবে আপনি এটি স্পর্শ করতে পারবেন না। এটি ফ্রেমের শর্তগুলি খুব সহজ করে তোলে: তারা সর্বদা ধরে রাখে।
একটি অতিমাত্রায় পার্থক্য (যা তবুও দীর্ঘকাল আমাকে বিভ্রান্ত করেছিল) তা হ'ল মালিকানার প্রকারগুলি প্রকারভেদ ছিল এবং বিচ্ছেদ যুক্তি ছিল একটি প্রোগ্রাম যুক্তি। ভাগ্যক্রমে, মালিকানার প্রকারগুলি একটি টাইপ-তাত্ত্বিক সেটিংয়ে জন্মগ্রহণ করার সময়, লোকেরা এই ধারণাগুলি প্রোগ্রাম লজিকগুলিতেও প্রয়োগ করেছে।
আমি এটিতে যে দুটি তাত্ত্বিক কাজের জানি তা হ'ল গতিশীল ফ্রেমগুলিতে ক্যাসিওসের কাজ , যা ব্যানার্জি এবং নওমান (এবং তাদের শিক্ষার্থীরা) আঞ্চলিক যুক্তিতে তাদের কাজগুলিতে পদ্ধতিগতভাবে কাজে লাগিয়েছিলেন ।
আমি এটি বুঝতে পেরে, তাদের প্রাথমিক পদ্ধতির নাম হোয়ের যুক্তি গ্রহণ করা এবং তারপরে:
- নতুন ধরণের অঞ্চল ভেরিয়েবল যুক্ত করুন, যা আপনি বস্তু এবং অঞ্চলগুলিকে সংযুক্ত করতে ব্যবহার করেন।
- অঞ্চলগুলি পড়তে এবং লেখার স্পর্শগুলি ট্র্যাক করতে Hoare যুক্তিতে একটি এফেক্ট সিস্টেম যুক্ত করুন।
- প্রভাবগুলি দৃ -়-সম্মানজনক কিনা তা নির্ধারণ করতে ব্যবহার করুন Use যদি এটি হয় তবে আপনি এটি ফ্রেম করতে পারেন এবং যদি তা না হয় তবে আপনি পারবেন না।
প্রতিটি পদ্ধতির সুবিধা এবং দুর্বলতা রয়েছে।
মালিকানা কাঠামোগত পদ্ধতির চেয়ে ফ্রেমের বৈশিষ্ট্যগুলি উল্লেখযোগ্যভাবে কম সুবিধাজনক করে তোলে, যেহেতু আপনাকে ফ্রেমের শর্তগুলি গণনা করতে হবে।
অন্যদিকে, ডিএজিগুলিতে অ্যালগোরিদমগুলি মালিকানার শৈলীতে প্রাক্টিয়র ইন্ডাকটিভ প্রুফকে সমর্থন করে, যেহেতু আপনি পয়েন্টার কাঠামো থেকে পদচিহ্নটি ডিকুয়াল করতে পারেন। বিচ্ছেদ-শৈলীর বৈশিষ্ট্যে, প্রাকৃতিক জিনিসটি হল একটি বিস্তৃত গাছে একটি ইন্ডাকটিভ ইনগ্রেন্টেট দেওয়া। তবে বিস্তৃত গাছ যদি অ্যালগোরিদম গণনাগুলি আপনার আক্রমণকারীের চেয়ে আলাদা হয় তবে আপনি আঘাতের জগতে রয়েছেন।
আমার সাধারণ বোধগম্যতা হ'ল মালিকানার চেয়ে বিচ্ছেদটি ব্যবহার করা সহজ, যেহেতু একটি অত্যাবশ্যক প্রোগ্রামে আমাদের প্রায় প্রতিটি কমান্ডের জন্য ফ্রেমের বৈশিষ্ট্য প্রয়োজন। (ডেভ নওমান যুক্তি দেখিয়েছেন যে অঞ্চল যুক্তিটি অটোমেশনের জন্য আরও কার্যকর is
সম্পাদনা: আমি সবেমাত্র ম্যাট পার্কিনসন এবং অ্যালেক্স সামার্সের নীচের কাগজটি পেয়েছি, বিচ্ছেদ লজিক এবং ইম্পিলিটিট ডায়নামিক ফ্রেমের মধ্যে সম্পর্ক , যেখানে তারা দুটি পদ্ধতির মিলকে যুক্তি দেওয়ার দাবি করেছে।