ধরুন আমার একটি টেম্পলেট ফাংশন এবং দুটি ক্লাস রয়েছে
class animal {
}
class person {
}
template<class T>
void foo() {
if (T is animal) {
kill();
}
}
আমি কীভাবে টি এর চেক করব তা প্রাণী? আমি রান সময় সময় যাচাই করে এমন কিছু পেতে চাই না। ধন্যবাদ
উত্তর:
ব্যবহার is_same:
#include <type_traits>
template <typename T>
void foo()
{
if (std::is_same<T, animal>::value) { /* ... */ } // optimizable...
}
সাধারণত, এটি সম্পূর্ণ অকার্যকর নকশা, যদিও এবং আপনি সত্যই বিশেষজ্ঞ করতে চান :
template <typename T> void foo() { /* generic implementation */ }
template <> void foo<animal>() { /* specific for T = animal */ }
এও লক্ষ্য করুন যে স্পষ্টত (অ-অনুমিত) যুক্তিযুক্ত ফাংশন টেম্পলেটগুলি হওয়া অস্বাভাবিক। এটি শোনা যায় না, তবে প্রায়শই আরও ভাল পন্থা থাকে।
Tহয়নি, তাই আপনি করার মতো খুব বেশি কিছু নেই। আপনি প্রাথমিক টেম্পলেটটি অযৌক্তিকভাবে ছেড়ে দিতে পারেন এবং একটি বিশেষীকরণ তৈরি করতে পারেন, বা আপনি একটি স্ট্যাটিক প্রতিস্থাপন যুক্ত করতে পারেন is_same।
আমার মনে হয় আজকের দিনগুলি ব্যবহার করা আরও ভাল তবে কেবল সি ++ 17 দিয়ে।
#include <type_traits>
template <typename T>
void foo() {
if constexpr (std::is_same_v<T, animal>) {
// use type specific operations...
}
}
আপনি যদি কিছু প্রকারের নির্দিষ্ট ক্রিয়াকলাপগুলি ব্যবহার করেন তবে constexprএই কোডটি সংকলন করবে না expression
std::is_same<T, U>::valueআপনি খাটো ব্যবহার করতে পারেন:std::is_same_v<T, U>
সি ++ 17 এ, আমরা রূপগুলি ব্যবহার করতে পারি ।
ব্যবহার করতে std::variant, আপনাকে শিরোনাম অন্তর্ভুক্ত করতে হবে:
#include <variant>
এর পরে, আপনি আপনার কোডটিতে এটি যুক্ত করতে পারেন std::variant:
using Type = std::variant<Animal, Person>;
template <class T>
void foo(Type type) {
if (std::is_same_v<type, Animal>) {
// Do stuff...
} else {
// Do stuff...
}
}
typeযা প্রকারের মান Typeবা কোনও টেম্পলেট যা এখানে is_same_vবোঝা যায় না ) এর প্রসঙ্গে অর্থবোধক নয় variant। সম্পর্কিত "বৈশিষ্ট্য" হয় holds_alternative।
std::variantএখানে সম্পূর্ণ অপ্রয়োজনীয়
আপনি তাদের টেমপ্লেটগুলিকে এই জাতীয় পরামিতিগুলিতে যা পেরেছে তার উপর ভিত্তি করে বিশেষায়িত করতে পারেন:
template <> void foo<animal> {
}
মনে রাখবেন যে এটি যে ধরণের পাস হয়েছে তার উপর ভিত্তি করে এটি সম্পূর্ণ নতুন ফাংশন তৈরি করে T। এটি সাধারনত পছন্দনীয় কারণ এটি বিশৃঙ্খলা হ্রাস করে এবং মূলত আমাদের টেমপ্লেটগুলি প্রথম স্থানে রাখে।