<< a ++ << a ;? এর জন্য সঠিক উত্তর কী?

Question 1

সম্প্রতি একটি সাক্ষাত্কারে নিম্নলিখিত উদ্দেশ্যমূলক প্রশ্ন ছিল।

int a = 0;
cout << a++ << a;

উত্তর:

ক। 10
খ। 01
গ। অপরিবর্তিত আচরণ

আমি পছন্দ করলাম উত্তর, অর্থাৎ আউটপুট "01" হবে।

তবে আমার অবাক হওয়ার পরে পরে আমাকে একজন সাক্ষাত্কারকারীর দ্বারা বলা হয়েছিল যে সঠিক উত্তরটি সি সি: অপরিজ্ঞাত।

এখন, আমি সি ++ এর সিকোয়েন্স পয়েন্টগুলির ধারণাটি জানি। আচরণটি নিম্নলিখিত বিবৃতিটির জন্য অপরিবর্তিত:

int i = 0;
i += i++ + i++;

কিন্তু আমার বিবৃতি জন্য বুঝতে অনুযায়ী cout << a++ << a, ostream.operator<<()দুইবার প্রথম সাথে কল করা হবে, ostream.operator<<(a++)এবং পরবর্তী ostream.operator<<(a)।

আমি ভিএস 2010 সংকলকটিতে ফলাফলও পরীক্ষা করেছিলাম এবং এর ফলাফলও '01' is

Question 2

আপনি চিন্তা করতে পারেন:

cout << a++ << a;

যেমন:

std::operator<<(std::operator<<(std::cout, a++), a);

সি ++ গ্যারান্টি দেয় যে পূর্ববর্তী মূল্যায়নের সমস্ত পার্শ্ব প্রতিক্রিয়া ক্রম বিন্দুতে সম্পাদিত হবে । ফাংশন আর্গুমেন্ট মূল্যায়নের মধ্যে কোনও সিকোয়েন্স পয়েন্ট নেই যার অর্থ যুক্তির aআগে std::operator<<(std::cout, a++)বা পরে যুক্তির মূল্যায়ন করা যেতে পারে । সুতরাং উপরের ফলাফলটি অপরিজ্ঞাত।

সি ++ 17 আপডেট

সি ++ 17 এ নিয়ম আপডেট করা হয়েছে। নির্দিষ্টভাবে:

একটি শিফট অপারেটর এক্সপ্রেশন E1<<E2এবং E1>>E2, প্রতিটি মান গণনা এবং পার্শ্ব-প্রভাব E1প্রতিটি মান গণনা এবং এর পার্শ্ব প্রতিক্রিয়া আগে ক্রমযুক্ত হয় E2।

যার অর্থ এটি ফলাফলের জন্য কোডের প্রয়োজন b, যা ফলাফল দেয় 01।

দেখুন কথ্য সি ++ জন্য P0145R3 বিশোধক এক্সপ্রেশন মূল্যায়ন অর্ডার আরো বিস্তারিত জানার জন্য।

Question 3

প্রযুক্তিগতভাবে, সামগ্রিকভাবে এটি অনির্ধারিত আচরণ ।

তবে, উত্তরের দুটি গুরুত্বপূর্ণ দিক রয়েছে।

কোড বিবৃতি:

std::cout << a++ << a;

হিসাবে মূল্যায়ন করা হয়:

std::operator<<(std::operator<<(std::cout, a++), a);

মান কোনও ক্রিয়ায় আর্গুমেন্টের মূল্যায়নের ক্রম সংজ্ঞায়িত করে না।
সুতরাং হয়:

std::operator<<(std::cout, a++) প্রথমে মূল্যায়ন করা হয় বা
aপ্রথমে মূল্যায়ন করা হয় বা
এটি কোনও বাস্তবায়ন সংজ্ঞায়িত আদেশ হতে পারে।

এই অর্ডারটি অনির্ধারিত ^{[রেফ 1]} ।

^{[রেফার 1]}সি ++ 03 5.2.2 ফাংশন কল করুন
প্যারা 8

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

আরও একটি ফাংশনে আর্গুমেন্টের মূল্যায়নের মধ্যে কোনও সিকোয়েন্স পয়েন্ট নেই তবে সমস্ত আর্গুমেন্ট ^{[রেফ 2]} এর মূল্যায়ন করার পরেই একটি সিকোয়েন্স পয়েন্ট বিদ্যমান ।

^{[রেফ 2)}সি ++ 03 1.9 প্রোগ্রাম কার্যকরকরণ [অন্তঃসারণ]:
অনুচ্ছেদ 17:

কোনও ফাংশন কল করার সময় (ফাংশনটি ইনলাইন হোক বা না থাকুক), ফাংশন শরীরে কোনও অভিব্যক্তি বা বিবৃতি কার্যকর করার আগে ঘটে যাওয়া সমস্ত ফাংশন আর্গুমেন্টের (যদি থাকে) মূল্যায়নের পরে একটি ক্রম বিন্দু থাকে।

মনে রাখবেন যে, এখানে মান cহ'ল কোনও হস্তক্ষেপের ক্রম বিন্দু ছাড়াই একাধিকবার অ্যাক্সেস করা হচ্ছে, এ সম্পর্কে মানটি বলে:

^{[রেফ 3)}সি ++ 03 5 এক্সপ্রেশন [এক্সপ্রেস]:
প্যারা 4:

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

কোডটি cসিকোয়েন্স পয়েন্টকে হস্তক্ষেপ না করে একাধিকবার সংশোধন করে এবং সঞ্চিত বস্তুর মান নির্ধারণের জন্য এটি অ্যাক্সেস করা হচ্ছে না। এই উপরে দফা সুস্পষ্ট লঙ্ঘন এবং অত: পর ফলে মান দ্বারা বাধ্যতামূলক হয় অনির্ধারিত আচরণ ^{[সূত্র 3]} ।

Question 4

সিকোয়েন্স পয়েন্টগুলি কেবল একটি আংশিক ক্রম সংজ্ঞায়িত করে । আপনার ক্ষেত্রে, আপনার একবার (ওভারলোড রেজোলিউশন হয়ে গেলে):

std::cout.operator<<( a++ ).operator<<( a );

এর মধ্যে একটি ক্রম বিন্দু নেই a++এবং প্রথম কল std::ostream::operator<<, এবং দ্বিতীয় মধ্যে একটি ক্রম বিন্দু আছে aএবং দ্বিতীয় কল std::ostream::operator<<, কিন্তু মধ্যে কোনো ক্রম বিন্দু a++এবং a; কেবলমাত্র আদেশের সীমাবদ্ধতাগুলি হ'ল a++প্রথম কল করার আগে পুরোপুরি মূল্যায়ন (পার্শ্ব প্রতিক্রিয়া সহ) operator<<এবং aদ্বিতীয় কল করার আগে দ্বিতীয়টি সম্পূর্ণ মূল্যায়ন করা operator<<। (কার্য্যক্রমিক ক্রম সীমাবদ্ধতাগুলিও রয়েছে: দ্বিতীয় কলটি operator<<প্রথমটির আগে আসতে পারে না, কারণ এটি আর্গুমেন্ট হিসাবে প্রথমটির ফলাফলের প্রয়োজন)) §5 / 4 (সি ++ 03) বলেছেন:

যেখানে উল্লিখিত হয়েছে ব্যতীত পৃথক অপারেটরগুলির অপারেশনগুলির মূল্যায়নের ক্রম এবং স্বতন্ত্র এক্সপ্রেশনগুলির subexpressions এবং যে ক্রমে পার্শ্ব প্রতিক্রিয়া হয় সেটিকে নির্ধারিত। পূর্ববর্তী এবং পরবর্তী সিকোয়েন্স পয়েন্টের মধ্যে একটি স্কেলার অবজেক্টের তার সঞ্চিত মানটি একবারে অভিব্যক্তির মূল্যায়নের মাধ্যমে একবারে পরিবর্তিত হবে। তদ্ব্যতীত, পূর্বের মানটি কেবলমাত্র সংরক্ষণ করা হবে তা নির্ধারণের জন্য অ্যাক্সেস করা উচিত। এই অনুচ্ছেদের প্রয়োজনীয়তা একটি সম্পূর্ণ এক্সপ্রেশন এর subexpresstions প্রতিটি অনুমতিযোগ্য ক্রম জন্য পূরণ করা হবে; অন্যথায় আচরণটি সংজ্ঞায়িত।

আপনার মত প্রকাশের মঞ্জুরিযোগ্য orderings মধ্যে একজন হল a++, a, এর প্রথম কল operator<<করার পরে, দ্বিতীয় কল operator<<; এটি a( a++) এর সঞ্চিত মানটি সংশোধন করে এবং নতুন মান (দ্বিতীয় a) নির্ধারণ করা ব্যতীত অন্যকে এটি অ্যাক্সেস করে , আচরণটি সংজ্ঞায়িত।

Question 5

সঠিক উত্তরটি প্রশ্নটি করা question বিবৃতিটি অগ্রহণযোগ্য কারণ কোনও পাঠক সুস্পষ্ট উত্তর দেখতে পাচ্ছেন না। এটি দেখার আরেকটি উপায় হ'ল আমরা পার্শ্ব-প্রতিক্রিয়া (সি ++) প্রবর্তন করেছি যা বিবৃতিটি ব্যাখ্যা করতে আরও শক্ত করে তোলে। সংক্ষিপ্ত কোডটি দুর্দান্ত, এর অর্থ পরিষ্কার করে দেওয়া।