কীভাবে পড়বেন:
এই নিবন্ধটি বরং দীর্ঘ। যদি আপনি উভয় সমষ্টি এবং পিওডি (সমান পুরাতন ডেটা) সম্পর্কে জানতে চান তবে সময় নিন এবং এটি পড়ুন। আপনি যদি কেবল সমষ্টিগুলিতে আগ্রহী হন তবে কেবল প্রথম অংশটি পড়ুন। আপনি শুধুমাত্র pods আগ্রহী তারপর আপনি প্রথম সংজ্ঞা, প্রভাব, এবং দলা উদাহরণ পড়তে হবে এবং তারপর আপনি পারে pods ঝাঁপ কিন্তু আমি এখনও তার সম্পূর্ণতা প্রথম অংশ পড়া সুপারিশ করবে। পিওডি সংজ্ঞায়নের জন্য সমষ্টিগুলির ধারণাটি প্রয়োজনীয় essential যদি আপনি কোনও ত্রুটি দেখতে পান (ব্যাকরণ, স্টাইলিস্টিকস, ফর্ম্যাটিং, সিনট্যাক্স ইত্যাদি সহ গৌণও) দয়া করে একটি মন্তব্য করুন, আমি সম্পাদনা করব।
এই উত্তরটি C ++ 03 এ প্রযোজ্য। অন্যান্য সি ++ মানের জন্য দেখুন:
সমষ্টি কী এবং কেন সেগুলি বিশেষ
সি ++ স্ট্যান্ডার্ড ( সি ++ 03 8.5.1 §1 ) থেকে আনুষ্ঠানিক সংজ্ঞা :
সমষ্টিগত হ'ল একটি অ্যারে বা একটি শ্রেণি (ধারা 9) যার সাথে ব্যবহারকারী-ঘোষিত কনস্ট্রাক্টর (12.1) নেই, কোনও ব্যক্তিগত বা সুরক্ষিত অ-স্থিতিশীল ডেটা সদস্য নয় (ধারা 11), কোনও বেস ক্লাস (ধারা 10) এবং কোনও ভার্চুয়াল ফাংশন (10.3) )।
সুতরাং, ঠিক আছে, আসুন এই সংজ্ঞাটি বিশ্লেষণ করুন। প্রথমত, যে কোনও অ্যারে একটি সমষ্টি। একটি ক্লাসও সামগ্রিক হতে পারে যদি… অপেক্ষা করুন! স্ট্রাইক বা ইউনিয়ন সম্পর্কে কিছুই বলা হয় না, তারা কি সমষ্টি হতে পারে না? হ্যা তারা পারে. সি ++ এ শব্দটি classসমস্ত শ্রেণি, স্ট্রাক্ট এবং ইউনিয়নগুলিকে বোঝায়। সুতরাং, একটি শ্রেণি (বা কাঠামো, বা ইউনিয়ন) একটি সামগ্রিক যদি কেবল এবং যদি এটি উপরের সংজ্ঞাগুলি থেকে মানদণ্ডকে সন্তুষ্ট করে তবেই। এই মানদণ্ডগুলি কী বোঝায়?
এর অর্থ এই নয় যে একটি সামগ্রিক শ্রেণীর কনস্ট্রাক্টর থাকতে পারে না, আসলে এটির মধ্যে পূর্বনির্ধারিত কনস্ট্রাক্টর এবং / অথবা একটি অনুলিপি নির্ধারক থাকতে পারে যতক্ষণ না তারা সংকলক দ্বারা সুস্পষ্টভাবে ঘোষণা করা হয়, এবং ব্যবহারকারী দ্বারা স্পষ্টত না হয়
কোনও ব্যক্তিগত বা সুরক্ষিত অ-স্থিতিশীল ডেটা সদস্য নয় । আপনার পছন্দ মতো এবং সামগ্রিক শ্রেণীর নিয়ম লঙ্ঘন না করার মতো অনেকগুলি ব্যক্তিগত এবং সুরক্ষিত সদস্য ফাংশন (তবে নির্মাণকারী নয়) পাশাপাশি অনেকগুলি ব্যক্তিগত বা সুরক্ষিত স্ট্যাটিক ডেটা সদস্য এবং সদস্য ফাংশন থাকতে পারে have
একটি সামগ্রিক শ্রেণিতে একটি ব্যবহারকারী-ঘোষিত / ব্যবহারকারীর সংজ্ঞায়িত অনুলিপি-অনাইনমেন্ট অপারেটর এবং / অথবা ডেস্ট্রাক্টর থাকতে পারে
একটি অ্যারে হ'ল একটি সমষ্টিগত এমনকি এটি অ-সমষ্টিগত শ্রেণির ধরণের অ্যারে হলেও।
এখন কয়েকটি উদাহরণ তাকান:
class NotAggregate1
{
virtual void f() {} //remember? no virtual functions
};
class NotAggregate2
{
int x; //x is private by default and non-static
};
class NotAggregate3
{
public:
NotAggregate3(int) {} //oops, user-defined constructor
};
class Aggregate1
{
public:
NotAggregate1 member1; //ok, public member
Aggregate1& operator=(Aggregate1 const & rhs) {/* */} //ok, copy-assignment
private:
void f() {} // ok, just a private function
};
আপনি ধারণা পেতে। এখন দেখা যাক কীভাবে সমষ্টিগুলি বিশেষ। এগুলি, অ-সমষ্টিগত শ্রেণীর বিপরীতে কোঁকড়া ধনুর্বন্ধনী দিয়ে শুরু করা যেতে পারে {}। এই আরম্ভের বাক্য গঠনটি সাধারণত অ্যারেগুলির জন্য পরিচিত এবং আমরা কেবল শিখেছি যে এগুলি সমষ্টি। সুতরাং, আসুন তাদের দিয়ে শুরু করা যাক।
Type array_name[n] = {a1, a2, …, am};
যদি (মি == ঢ)
আমি তম অ্যারের উপাদান একটি সঙ্গে সক্রিয়া করা হয় আমি
অন্যথায় যদি (মি <ঢ)
অ্যারের প্রথম মি উপাদানের একটি সঙ্গে সক্রিয়া করা হয় 1 , একটি 2 , ..., একটি মিটার এবং অন্যান্যn - mউপাদান যদি সম্ভব হয় তবে মান-আরম্ভ হয় (শব্দটির ব্যাখ্যার জন্য নীচে দেখুন)
অন্যথায় যদি (এম> এন)
সংকলক
অন্য কোনও ত্রুটি জারি করবে (n এর মতো নির্দিষ্টভাবে নির্দিষ্ট না করা হয় তখনint a[] = {1, 2, 3};
এটি আকার হয় ) অ্যারে (এন) মিটার সমান হিসাবে ধরে নেওয়া হয়, তাইint a[] = {1, 2, 3};সমানint a[3] = {1, 2, 3};
যখন স্কালে প্রকার (একটি অবজেক্ট bool, int, char, double, পয়েন্টার, ইত্যাদি) হয় মূল্য সক্রিয়া এটা মানে এটা দিয়ে সক্রিয়া করা হয় 0যে টাইপ জন্য ( falseজন্য bool, 0.0জন্য doubleইত্যাদি)। যখন ব্যবহারকারী-ঘোষিত ডিফল্ট কনস্ট্রাক্টরের সাথে শ্রেণীর ধরণের কোনও অবজেক্টকে মান-আরম্ভ করা হয় তখন তার ডিফল্ট কনস্ট্রাক্টর বলা হয়। যদি ডিফল্ট কনস্ট্রাক্টর সুস্পষ্টভাবে সংজ্ঞায়িত হয় তবে সমস্ত ননস্ট্যাটিক সদস্য পুনরাবৃত্তভাবে মান-আরম্ভ হয় ized এই সংজ্ঞাটি যথার্থ এবং কিছুটা ভুল তবে এটির আপনাকে প্রাথমিক ধারণা দেওয়া উচিত। একটি রেফারেন্স মান-আরম্ভ করা যাবে না। একটি অ-সমষ্টিগত শ্রেণীর জন্য মান-সূচনা ব্যর্থ হতে পারে যদি উদাহরণস্বরূপ, শ্রেণীর উপযুক্ত ডিফল্ট নির্মাতা না থাকে।
অ্যারে প্রারম্ভিককরণের উদাহরণ:
class A
{
public:
A(int) {} //no default constructor
};
class B
{
public:
B() {} //default constructor available
};
int main()
{
A a1[3] = {A(2), A(1), A(14)}; //OK n == m
A a2[3] = {A(2)}; //ERROR A has no default constructor. Unable to value-initialize a2[1] and a2[2]
B b1[3] = {B()}; //OK b1[1] and b1[2] are value initialized, in this case with the default-ctor
int Array1[1000] = {0}; //All elements are initialized with 0;
int Array2[1000] = {1}; //Attention: only the first element is 1, the rest are 0;
bool Array3[1000] = {}; //the braces can be empty too. All elements initialized with false
int Array4[1000]; //no initializer. This is different from an empty {} initializer in that
//the elements in this case are not value-initialized, but have indeterminate values
//(unless, of course, Array4 is a global array)
int array[2] = {1, 2, 3, 4}; //ERROR, too many initializers
}
এখন দেখা যাক কীভাবে ব্রেস দিয়ে সমষ্টিগত ক্লাস শুরু করা যায়। বেশ একইভাবে। অ্যারে উপাদানগুলির পরিবর্তে আমরা অ-স্থিতিশীল ডেটা সদস্যদের শ্রেণি সংজ্ঞাতে তাদের উপস্থিতির ক্রম হিসাবে সূচনা করব (তারা সংজ্ঞা অনুসারে সকলেই প্রকাশ্য)। সদস্যদের তুলনায় যদি কম ইনিশিয়ালাইজার থাকে তবে বাকীগুলি মান-আরম্ভ হয়। সুস্পষ্টভাবে আরম্ভ করা হয়নি এমন কোনও সদস্যের যদি মূল্য-আরম্ভ করা অসম্ভব হয় তবে আমরা একটি সংকলন-সময় ত্রুটি পাই। যদি প্রয়োজনের তুলনায় আরও প্রাথমিকের ব্যবস্থা থাকে তবে আমরা একটি সংকলন-সময় ত্রুটিও পাই।
struct X
{
int i1;
int i2;
};
struct Y
{
char c;
X x;
int i[2];
float f;
protected:
static double d;
private:
void g(){}
};
Y y = {'a', {10, 20}, {20, 30}};
উপরের উদাহরণে y.cসঙ্গে সক্রিয়া করা হয় 'a', y.x.i1সঙ্গে 10, y.x.i2সঙ্গে 20, y.i[0]সঙ্গে 20, y.i[1]সঙ্গে 30এবং y.fমূল্য সক্রিয়া, যে, সঙ্গে সক্রিয়া করা হয় 0.0। সুরক্ষিত স্ট্যাটিক সদস্য dমোটেও আরম্ভ করা হয় না, কারণ এটি static।
সামগ্রিক ইউনিয়নগুলি পৃথক পৃথক যে আপনি কেবল তাদের প্রথম সদস্যকে ধনুর্বন্ধনী দিয়ে শুরু করতে পারেন। আমি মনে করি আপনি ইউনিয়নগুলি ব্যবহারের বিষয়ে বিবেচনা করার জন্য যদি আপনি সি ++ তে যথেষ্ট উন্নত হন (তাদের ব্যবহার খুব বিপজ্জনক হতে পারে এবং সাবধানতার সাথে চিন্তা করা উচিত) তবে আপনি নিজেরাই স্ট্যান্ডার্ডে ইউনিয়নগুলির বিধিগুলি সন্ধান করতে পারেন :)।
এখন আমরা যে সমষ্টি সম্পর্কে বিশেষ কী তা জানি, আসুন আমরা ক্লাসগুলির উপরের বিধিনিষেধগুলি বোঝার চেষ্টা করি; তারা কেন সেখানে আছে। আমাদের বুঝতে হবে যে ধনুর্বন্ধনী দিয়ে সদস্যগত সূচনা বলতে বোঝায় যে শ্রেণি তার সদস্যদের যোগফল ছাড়া আর কিছুই নয়। যদি কোনও ব্যবহারকারী-সংজ্ঞায়িত কনস্ট্রাক্টর উপস্থিত থাকে তবে এর অর্থ হ'ল সদস্যকে আরম্ভ করার জন্য ব্যবহারকারীর কিছু অতিরিক্ত কাজ করা দরকার তাই ব্রেস আরম্ভটি ভুল হবে। ভার্চুয়াল ফাংশন উপস্থিত থাকলে, এর অর্থ এই যে এই শ্রেণীর অবজেক্টগুলির (বেশিরভাগ বাস্তবায়নের উপর) বর্গের তথাকথিত vtable এর পয়েন্টার রয়েছে, যা কনস্ট্রাক্টরে সেট করা আছে, তাই ব্রেস-আরম্ভকরণ অপর্যাপ্ত হবে fficient আপনি ব্যায়াম হিসাবে একইভাবে বাকি নিষেধাজ্ঞাগুলি বুঝতে পারেন :)।
সমষ্টি সম্পর্কে যথেষ্ট। এখন আমরা বুদ্ধিমানের, পিওডিগুলিতে প্রকারের একটি কঠোর সেট সংজ্ঞায়িত করতে পারি
পিওডিগুলি কী এবং সেগুলি কেন বিশেষ
সি ++ স্ট্যান্ডার্ড ( সি ++ 03 9 §4 ) থেকে আনুষ্ঠানিক সংজ্ঞা :
একটি পিওডি-স্ট্রাক্ট একটি সামগ্রিক শ্রেণি যা নন-পিওডি-স্ট্রাক্ট, নন-পড-ইউনিয়ন (বা এই জাতীয় ধরণের অ্যারে) বা রেফারেন্সের কোনও স্থিতিশীল ডেটা সদস্য নেই এবং এর কোনও ব্যবহারকারী-সংজ্ঞায়িত অনুলিপি অ্যাসাইনমেন্ট অপারেটর এবং নেই ব্যবহারকারী-সংজ্ঞায়িত ডেস্ট্রাক্টর। একইভাবে, একটি পড-ইউনিয়ন একটি সামগ্রিক ইউনিয়ন যার কোনও ধরণের নন-পিওডি-স্ট্রাক্ট, নন-পিওডি-ইউনিয়ন (বা এই জাতীয় ধরণের অ্যারে) বা রেফারেন্সের কোনও স্থিতিশীল ডেটা সদস্য নেই এবং এতে কোনও ব্যবহারকারী-সংজ্ঞায়িত অনুলিপি অ্যাসাইনমেন্ট অপারেটর নেই has এবং কোনও ব্যবহারকারী-সংজ্ঞায়িত ডেস্ট্রাক্টর নেই। একটি পিওডি ক্লাস এমন একটি শ্রেণি যা হয় একটি পিওডি-কাঠামো বা একটি পিওডি-ইউনিয়ন।
বাহ, এটি পার্স করা আরও কঠিন, তাই না? :) আসুন ইউনিয়নগুলি ছেড়ে দেওয়া যাক (উপরের মতো একই ভিত্তিতে) এবং কিছুটা পরিষ্কার পদ্ধতিতে পুনরায় প্রতিস্থাপন করুন:
একটি সামগ্রিক শ্রেণিকে পিওড বলা হয় যদি এটির কোনও ব্যবহারকারী-সংজ্ঞায়িত অনুলিপি-অ্যাসাইনমেন্ট অপারেটর এবং ডেস্ট্রাক্টর না থাকে এবং এর ননস্ট্যাটিক সদস্যগুলির মধ্যে কোনওটিই নন-পিওডি ক্লাস, নন-পিওডি অ্যারে বা রেফারেন্স নয়।
এই সংজ্ঞাটি কি বোঝায়? (আমি কি উল্লেখ করেছি যে পিওডির অর্থ সমতল ওল্ড ডেটা ?)
- সমস্ত পিওডি ক্লাসই সমষ্টি, বা এটিকে অন্য উপায়ে রাখার জন্য, যদি কোনও শ্রেণি সমষ্টি না হয় তবে নিশ্চিত যে পিওড নয়
- স্ট্রাক্টের মতো ক্লাসগুলিও পিওডি হতে পারে যদিও উভয় ক্ষেত্রেই স্ট্যান্ডার্ড শব্দটি পিওডি-স্ট্রাক্ট
- যেমন সমষ্টিগুলির ক্ষেত্রে, ক্লাসে স্থির সদস্যরা কী তা বিবেচনা করে না
উদাহরণ:
struct POD
{
int x;
char y;
void f() {} //no harm if there's a function
static std::vector<char> v; //static members do not matter
};
struct AggregateButNotPOD1
{
int x;
~AggregateButNotPOD1() {} //user-defined destructor
};
struct AggregateButNotPOD2
{
AggregateButNotPOD1 arrOfNonPod[3]; //array of non-POD class
};
পিওড-ক্লাস, পিওডি-ইউনিয়ন, স্কেলার প্রকার এবং এ জাতীয় ধরণের অ্যারেগুলিকে সম্মিলিতভাবে পিওডি-প্রকারগুলি বলা হয় ।
পিওডিগুলি বিভিন্ন উপায়ে বিশেষ। আমি কিছু উদাহরণ প্রদান করব।
পিওড-ক্লাসগুলি সি স্ট্রাক্টগুলির নিকটতম। তাদের বিপরীতে, পিওডি-র সদস্য ফাংশন এবং স্বেচ্ছাসেবী স্থিতিশীল সদস্য থাকতে পারে, তবে এই দুজনের কোনওটিরই অবজেক্টের মেমরি লেআউট পরিবর্তন হয় না। সুতরাং আপনি যদি আরও কম সংখ্যক পোর্টেবল ডায়নামিক লাইব্রেরি লিখতে চান যা সি এবং এমনকি নেট থেকেও ব্যবহার করা যায় তবে আপনার সমস্ত রফতানি ফাংশনগুলি কেবলমাত্র পড-পর্বের পরামিতিগুলি গ্রহণ এবং ফেরত দেওয়ার চেষ্টা করা উচিত।
নন-পিওডি শ্রেণীর ধরণের অবজেক্টগুলির জীবনকাল শুরু হয় যখন কনস্ট্রাক্টর শেষ হয়ে যায় এবং ডেস্ট্রাক্টর শেষ হয়ে গেলে শেষ হয়। পিওডি ক্লাসগুলির জন্য, যখন স্টোরেজটি প্রকাশিত বা পুনরায় ব্যবহার করা হয় তখন অবজেক্টের স্টোরেজ দখল করা হয় এবং শেষ হয় তখন জীবনকাল শুরু হয়।
পিওডি ধরণের জিনিসগুলির জন্য এটি স্ট্যান্ডার্ডের দ্বারা গ্যারান্টিযুক্ত যে আপনি যখন memcpyআপনার অবজেক্টের বিষয়বস্তুগুলি চর বা স্বাক্ষরবিহীন চরের একটি অ্যারে রূপান্তর করবেন এবং তারপরে memcpyসামগ্রীগুলি আপনার বস্তুর মধ্যে ফিরে আসবে তখন অবজেক্টটি তার মূল মানটি ধরে রাখবে। নোট করুন যে নন-পিওডি ধরণের জিনিসগুলির জন্য এমন কোনও গ্যারান্টি নেই। এছাড়াও, আপনি নিরাপদে পিওডি অবজেক্টগুলির সাথে অনুলিপি করতে পারেন memcpy। নিম্নলিখিত উদাহরণটি ধরে নিয়েছে টি একটি পড-প্রকার:
#define N sizeof(T)
char buf[N];
T obj; // obj initialized to its original value
memcpy(buf, &obj, N); // between these two calls to memcpy,
// obj might be modified
memcpy(&obj, buf, N); // at this point, each subobject of obj of scalar type
// holds its original value
গেটো স্টেটমেন্ট আপনি জানেন যে, এটি বেআইনী (সংকলকটি একটি ত্রুটি জারি করা উচিত) এমন একটি বিন্দু থেকে গোটোর মাধ্যমে একটি লাফ তৈরি করা যেখানে কিছু ভেরিয়েবল এখনও এমন একটি বিন্দুতে অবধি ছিল না যেখানে এটি ইতিমধ্যে সুযোগে রয়েছে। এই সীমাবদ্ধতাটি কেবল তখনই প্রযোজ্য যখন ভেরিয়েবলটি নন-পিওডি টাইপের হয়। নীচের উদাহরণে f()দূর্গঠিত যেখানে g()সুগঠিত রয়েছে। নোট করুন যে মাইক্রোসফ্ট সংকলক এই নিয়মের সাথে খুব উদার - এটি উভয় ক্ষেত্রেই একটি সতর্কতা জারি করে।
int f()
{
struct NonPOD {NonPOD() {}};
goto label;
NonPOD x;
label:
return 0;
}
int g()
{
struct POD {int i; char c;};
goto label;
POD x;
label:
return 0;
}
এটি গ্যারান্টিযুক্ত যে কোনও পিওডি অবজেক্টের শুরুতে কোনও প্যাডিং থাকবে না। অন্য কথায়, যদি একটি শুঁটি ক্লাসের একজন প্রথম সদস্য টাইপ টি হল, আপনি নিরাপদে পারেন reinterpret_castথেকে A*থেকে T*এবং পয়েন্টার পেতে প্রথম সদস্য এবং তদ্বিপরীত।
তালিকা এবং উপর যায়…
উপসংহার
একটি পিওডি ঠিক কী তা বোঝা গুরুত্বপূর্ণ কারণ অনেকগুলি ভাষা বৈশিষ্ট্য যেমন আপনি দেখেন, তাদের জন্য আলাদা আচরণ করে।