কিছু সাধারণ ক্ষেত্রে যেখানে মূল্যায়ন আদেশ এখনও পর্যন্ত অনির্ধারিত ছিল , নির্দিষ্ট এবং এর সাথে বৈধ C++17। কিছু অপরিজ্ঞাত আচরণ এখন পরিবর্তে অনির্ধারিত।
i = 1;
f(i++, i)
অপরিবর্তিত ছিল, কিন্তু এটি এখন অনির্ধারিত। বিশেষত, যা নির্দিষ্ট করা হয়নি তা হ'ল প্রতিটি আদেশটি fঅন্যটির সাথে তুলনামূলকভাবে মূল্যায়ন করা হয়। i++আগে মূল্যায়ন করা যেতে পারে i, বা তদ্বিপরীত। প্রকৃতপক্ষে, এটি একই সংকলকের অধীনে থাকা সত্ত্বেও এটি একটি দ্বিতীয় ক্রমে দ্বিতীয় কলকে মূল্যায়ন করতে পারে।
তবে, প্রতিটি যুক্তি মূল্যায়ন করা হয় প্রয়োজনীয় অন্য কোন যুক্তি সঞ্চালনের আগে সব পার্শ্ব প্রতিক্রিয়া সাথে সম্পূর্ণরূপে চালানো,। সুতরাং আপনি পেতে পারেন f(1, 1)(দ্বিতীয় যুক্তি প্রথমে মূল্যায়ন করা) বা f(1, 2)(প্রথম যুক্তিটি প্রথমে মূল্যায়ন করা)। তবে আপনি কখনও পাবেন না f(2, 2)বা সেই প্রকৃতির আর কিছু পাবেন না ।
std::cout << f() << f() << f();
অনির্ধারিত ছিল, তবে এটি অপারেটর প্রাধান্যের সাথে সামঞ্জস্যপূর্ণ হবে যাতে এর প্রথম মূল্যায়নটি fপ্রথম প্রবাহে আসে (নীচে উদাহরণগুলি)।
f(g(), h(), j());
এখনও জি, এইচ এবং জ এর অনির্দিষ্ট মূল্যায়ন আদেশ রয়েছে। নোট যে জন্য getf()(g(),h(),j()), বিধি মতে getf()আগে মূল্যায়ন করা হবে g, h, j।
প্রস্তাবিত পাঠ্য থেকে নীচের উদাহরণটিও নোট করুন:
std::string s = "but I have heard it works even if you don't believe in it"
s.replace(0, 4, "").replace(s.find("even"), 4, "only")
.replace(s.find(" don't"), 6, "");
উদাহরণটি সি ++ প্রোগ্রামিং ল্যাঙ্গুয়েজ , চতুর্থ সংস্করণ, স্ট্রাস্ট্রাপ থেকে এসেছে এবং অনির্দিষ্ট আচরণ হিসাবে ব্যবহৃত হয়েছিল, তবে সি ++ 17 দিয়ে এটি প্রত্যাশার মতো কাজ করবে। পুনরায় শুরুযোগ্য ফাংশনগুলির সাথে একই সমস্যা ছিল ( .then( . . . ))।
অন্য উদাহরণ হিসাবে, নিম্নলিখিত বিবেচনা করুন:
#include <iostream>
#include <string>
#include <vector>
#include <cassert>
struct Speaker{
int i =0;
Speaker(std::vector<std::string> words) :words(words) {}
std::vector<std::string> words;
std::string operator()(){
assert(words.size()>0);
if(i==words.size()) i=0;
auto word = words[i] + (i+1==words.size()?"\n":",");
++i;
return word;
}
};
int main() {
auto spk = Speaker{{"All", "Work", "and", "no", "play"}};
std::cout << spk() << spk() << spk() << spk() << spk() ;
}
সি ++ এর সাথে এবং এর আগে আমরা ফলাফল পেতে পারি (এবং করব) এর আগেও
play
no,and,Work,All,
পরিবর্তে
All,work,and,no,play
নোট করুন যে উপরেরটি কার্যকর হিসাবে একই
(((((std::cout << spk()) << spk()) << spk()) << spk()) << spk()) ;
তবে তবুও, সি ++ 17 এর আগে এমন কোনও গ্যারান্টি ছিল না যে প্রথম কলগুলি প্রথম প্রবাহে আসবে।
তথ্যসূত্র: গৃহীত প্রস্তাবনা থেকে :
পোস্টফিক্স এক্সপ্রেশনগুলি বাম থেকে ডানে মূল্যায়ন করা হয়। এর মধ্যে ফাংশন কল এবং সদস্য নির্বাচনের এক্সপ্রেশন রয়েছে।
অ্যাসাইনমেন্ট এক্সপ্রেশনগুলি ডান থেকে বামে মূল্যায়ন করা হয়। এর মধ্যে যৌগিক কার্যভার অন্তর্ভুক্ত রয়েছে।
অপারেটর থেকে শিফট অপারেটরগুলি বাম থেকে ডানে মূল্যায়ন করা হয়। সংক্ষেপে, নিম্নলিখিত ক্রিয়াকলাপটি ক, খ, তারপর সি, তারপরে ক্রমে মূল্যায়ন করা হয়:
- আব
- a-> খ
- a -> * খ
- ক (বি 1, বি 2, বি 3)
- খ @ = ক
- একটি [খ]
- ক << খ
- a >> খ
তদুপরি, আমরা নিম্নলিখিত অতিরিক্ত নিয়মটি পরামর্শ দিই: একটি ওভারলোডেড অপারেটর জড়িত একটি এক্সপ্রেশন মূল্যায়নের ক্রমটি সংশ্লিষ্ট বিল্ট-ইন অপারেটরের সাথে সম্পর্কিত আদেশ দ্বারা নির্ধারিত হয়, ফাংশন কলের নিয়ম নয়।
সম্পাদনা দ্রষ্টব্য: আমার মূল উত্তরটি ভুল ব্যাখ্যা করা হয়েছে a(b1, b2, b3)। ক্রম b1, b2, b3এখনও অনির্দিষ্ট হয়। (আপনাকে ধন্যবাদ সমস্ত মন্তব্যকারী @ কেবিওসনোনাউল্ট।)
যাইহোক, (@Yakk পয়েন্ট আউট হিসাবে) এবং এই গুরুত্বপূর্ণ: এমনকি যখন b1, b2, b3, অ-তুচ্ছ এক্সপ্রেশন হয় তাদের প্রতিটি সম্পূর্ণরূপে মূল্যায়ন করা হয় এবং নিজ নিজ ফাংশন প্যারামিটার বাঁধা অন্যান্য বেশী মূল্যায়ন করা শুরু হয় আগে। স্ট্যান্ডার্ড এটিকে এভাবে বলে:
§5.2.2 - ফাংশন কল 5.2.2.4:
। । । পোস্টফিক্স-এক্সপ্রেশনটি এক্সপ্রেশন-তালিকার প্রতিটি অভিব্যক্তির আগে এবং কোনও ডিফল্ট আর্গুমেন্টের অনুক্রম হয়। একটি পরামিতি আরম্ভের সাথে যুক্ত প্রতিটি মান গণনা এবং পার্শ্ব প্রতিক্রিয়া এবং নিজেই সূচনাটি পরবর্তী মানগুলির প্রাথমিককরণের সাথে যুক্ত প্রতিটি মান গণনা এবং পার্শ্ব প্রতিক্রিয়াটির আগে ক্রমযুক্ত হয়।
যাইহোক, এই নতুন বাক্যগুলির মধ্যে একটি গিটহাব খসড়া থেকে অনুপস্থিত :
একটি পরামিতি আরম্ভের সাথে যুক্ত প্রতিটি মান গণনা এবং পার্শ্ব প্রতিক্রিয়া এবং নিজেই সূচনাটি পরবর্তী মানগুলির প্রাথমিককরণের সাথে যুক্ত প্রতিটি মান গণনা এবং পার্শ্ব প্রতিক্রিয়াটির আগে ক্রমযুক্ত হয়।
উদাহরণস্বরূপ হয় না। এটি কয়েক দশকের পুরানো সমস্যাগুলি ( যেমন হার্ব সটার ব্যাখ্যা করেছেন ) ব্যতিক্রমী সুরক্ষার সাথে সমাধান করে যেখানে জিনিস পছন্দ করে
f(std::unique_ptr<A> a, std::unique_ptr<B> b);
f(get_raw_a(), get_raw_a());
get_raw_a()অন্য কোনও কাঁচা পয়েন্টারটির স্মার্ট পয়েন্টার প্যারামিটারের সাথে যুক্ত হওয়ার আগে যদি কলগুলির মধ্যে একটি ছুটে যায় তবে তা ফাঁস হবে।
টিসি দ্বারা নির্দেশিত হিসাবে, উদাহরণটি ত্রুটিযুক্ত যেহেতু কাঁচা পয়েন্টার থেকে অনন্য_পিট্রিক নির্মাণ স্পষ্ট, এটি সংকলন থেকে রোধ করে।
এই ধ্রুপদী প্রশ্নটিও নোট করুন (ট্যাগ করা সি , সি ++ নয় ):
int x=0;
x++ + ++x;
এখনও অপরিজ্ঞাত।