কোইনিগ লুকআপ বা তর্ক নির্ভরতা অবলম্বন বর্ণনামূলকভাবে বর্ণনা করে যে সি ++ তে সংকলক দ্বারা কীভাবে অযোগ্য নামগুলি সন্ধান করা হয়।
সি ++ 11 স্ট্যান্ডার্ড § 3.4.2 / 1 বলেছেন:
যখন কোনও ফাংশন কলের (5.2.2) পোস্টফিক্স-এক্সপ্রেশনটি একটি অযোগ্য-আইডি হয়, তখন সাধারণ অসমর্থিত অনুসন্ধানের (3.4.1) সময় বিবেচনা করা হয়নি এমন অন্যান্য নেমস্পেসগুলি অনুসন্ধান করা যেতে পারে এবং সেই নামের জায়গাগুলিতে, নেমস্পেস-স্কোপ বন্ধু ফাংশন ঘোষণা ( ১১.৩) অন্যথায় দৃশ্যমান নয় এমনটি পাওয়া যেতে পারে। অনুসন্ধানে এই পরিবর্তনগুলি আর্গুমেন্টের ধরণের (এবং টেমপ্লেট টেম্পলেট আর্গুমেন্টগুলির জন্য, টেমপ্লেট আর্গুমেন্টের নামের জায়গার উপর) নির্ভর করে।
সহজ কথায় নিকোলাই জোসুটিস 1 বলেছেন :
ফাংশনের নেমস্পেসে যদি এক বা একাধিক আর্গুমেন্টের ধরণ সংজ্ঞায়িত করা হয় তবে আপনাকে ফাংশনগুলির জন্য নেমস্পেসের যোগ্যতা অর্জন করতে হবে না।
একটি সাধারণ কোড উদাহরণ:
namespace MyNamespace
{
class MyClass {};
void doSomething(MyClass);
}
MyNamespace::MyClass obj; // global object
int main()
{
doSomething(obj); // Works Fine - MyNamespace::doSomething() is called.
}
উপরের উদাহরণে তন্ন তন্ন একটি আছে using-declaration অথবা একটি using-directive কিন্তু এখনও কম্পাইলার সঠিকভাবে অযোগ্য নাম চিহ্নিত doSomething()ফাংশন নামস্থান ঘোষণা যেমন MyNamespaceপ্রয়োগের দ্বারা Koenig লুকআপ ।
এটা কিভাবে কাজ করে?
অ্যালগরিদম কম্পাইলারকে কেবল স্থানীয় সুযোগের দিকে নজর না দিয়ে আর্গুমেন্টের টাইপযুক্ত নেমস্পেসগুলি দেখতে বলে। সুতরাং, উপরের কোডে, সংকলকটি আবিষ্কার করে যে বস্তুটি obj, যা ফাংশনটির আর্গুমেন্ট doSomething(), নাম স্পেসের সাথে সম্পর্কিত MyNamespace। সুতরাং, এটি ঘোষণাপত্রটি সনাক্ত করতে সেই নামস্থানটি দেখছে doSomething()।
কোয়েনিগ দেখার সুবিধা কী?
উপরের সরল কোড উদাহরণ হিসাবে দেখানো হয়েছে, কোনিগ লুকআপ প্রোগ্রামারটিকে সুবিধার্থে এবং ব্যবহারের সহজতা সরবরাহ করে। কোয়েনিগ অনুসন্ধান ব্যতীত প্রোগ্রামারটিতে একটি ওভারহেড থাকবে, সম্পূর্ণরূপে usingযোগ্যতার নামগুলি বারবার নির্দিষ্ট করতে বা পরিবর্তে, অসংখ্য- বিবরণী ব্যবহার করতে হবে ।
কেন কোনিগের খোঁজ নিয়ে সমালোচনা?
কোয়েনিগ লুকের উপর অতিরিক্ত নির্ভরতা অর্থপূর্ণ সমস্যার কারণ হতে পারে এবং কখনও কখনও প্রোগ্রামারকে রক্ষা করতে পারে।
উদাহরণটি বিবেচনা করুন std::swap, যা দুটি মান অদলবদল করার জন্য একটি আদর্শ গ্রন্থাগার অ্যালগরিদম। কোনিগ লুকআপের সাথে এই অ্যালগরিদমটি ব্যবহার করার সময় কাউকে সতর্ক থাকতে হবে কারণ:
std::swap(obj1,obj2);
এর মতো আচরণটি নাও দেখাতে পারে:
using std::swap;
swap(obj1, obj2);
এডিএল দিয়ে, swapফাংশনের কোন সংস্করণটি কল হয় এটি আর্গুমেন্টের পাস করা যুক্তির নামের জায়গার উপর নির্ভর করবে।
একটি নামস্থান অস্তিত্ব থাকে Aএবং যদি A::obj1, A::obj2& A::swap()অস্তিত্ব তারপর দ্বিতীয় উদাহরণ একটি কল পরিণাম ডেকে আনবে A::swap(), যা কি ব্যবহারকারী চেয়েছিলেন নাও হতে পারে।
তদ্ব্যতীত, যদি কোনও কারণে উভয় কারণে A::swap(A::MyClass&, A::MyClass&)এবং std::swap(A::MyClass&, A::MyClass&)সংজ্ঞায়িত হয় তবে প্রথম উদাহরণটি কল করবে std::swap(A::MyClass&, A::MyClass&)তবে দ্বিতীয়টি সংকলন করবে না কারণ swap(obj1, obj2)এটি অস্পষ্ট।
তুচ্ছ বস্তু:
কেন এটি "কোনিগ লুকআপ" বলা হয়?
কারণ এটি প্রাক্তন এটিএন্ডটি এবং বেল ল্যাবস গবেষক এবং প্রোগ্রামার, অ্যান্ড্রু কোয়েনিং তৈরি করেছিলেন ।
আরও পড়া:
1 জোসেট্টিসের বই, দ্য সি ++ স্ট্যান্ডার্ড লাইব্রেরি: একটি টিউটোরিয়াল এবং রেফারেন্সে কোনেইগ লুকের সংজ্ঞাটি সংজ্ঞায়িত হয়েছে।