আমি "এটি নিজেই করা" এর সুস্পষ্ট সমাধানটির পুনরাবৃত্তি করব। এটি কোডটির সংযোগ সি ++ 11 সংস্করণ, যা সাধারণ ক্লাস এবং শ্রেণি টেম্পলেট উভয়ই নিয়ে কাজ করে:
#define DECLARE_SELF(Type) \
typedef Type TySelf; /**< @brief type of this class */ \
/** checks the consistency of TySelf type (calling it has no effect) */ \
void self_check() \
{ \
static_assert(std::is_same<decltype(*((TySelf*)(0))), \
decltype(*this)>::value, "TySelf is not what it should be"); \
} \
enum { static_self_check_token = __LINE__ }; \
static_assert(int(static_self_check_token) == \
int(TySelf::static_self_check_token), \
"TySelf is not what it should be")
আপনি এটি আদর্শে ক্রিয়াতে দেখতে পারেন । উত্সাহ, এই ফলাফলের দিকে পরিচালিত নীচে:
#define DECLARE_SELF(Type) typedef Type _TySelf; /**< @brief type of this class */
struct XYZ {
DECLARE_SELF(XYZ)
};
কোডটি অন্য কোনও ক্লাসে কপি-পেস্ট করা এবং এক্সওয়াইজেড পরিবর্তন করতে ভুলে এখানে স্পষ্ট সমস্যা রয়েছে:
struct ABC {
DECLARE_SELF(XYZ) // !!
};
আমার প্রথম পদ্ধতির খুব আসল ছিল না - একটি ফাংশন তৈরি করে:
/**
* @brief namespace for checking the _TySelf type consistency
*/
namespace __self {
/**
* @brief compile-time assertion (_TySelf must be declared the same as the type of class)
*
* @tparam _TySelf is reported self type
* @tparam _TyDecltypeThis is type of <tt>*this</tt>
*/
template <class _TySelf, class _TyDecltypeThis>
class CSELF_TYPE_MUST_BE_THE_SAME_AS_CLASS_TYPE;
/**
* @brief compile-time assertion (specialization for assertion passing)
* @tparam _TySelf is reported self type (same as type of <tt>*this</tt>)
*/
template <class _TySelf>
class CSELF_TYPE_MUST_BE_THE_SAME_AS_CLASS_TYPE<_TySelf, _TySelf> {};
/**
* @brief static assertion helper type
* @tparam n_size is size of object being used as assertion message
* (if it's a incomplete type, compiler will display object name in error output)
*/
template <const size_t n_size>
class CStaticAssert {};
/**
* @brief helper function for self-check, this is used to derive type of this
* in absence of <tt>decltype()</tt> in older versions of C++
*
* @tparam _TyA is reported self type
* @tparam _TyB is type of <tt>*this</tt>
*/
template <class _TyA, class _TyB>
inline void __self_check_helper(_TyB *UNUSED(p_this))
{
typedef CStaticAssert<sizeof(CSELF_TYPE_MUST_BE_THE_SAME_AS_CLASS_TYPE<_TyA, _TyB>)> _TyAssert;
// make sure that the type reported as self and type of *this is the same
}
/**
* @def __SELF_CHECK
* @brief declares the body of __self_check() function
*/
#define __SELF_CHECK \
/** checks the consistency of _TySelf type (calling it has no effect) */ \
inline void __self_check() \
{ \
__self::__self_check_helper<_TySelf>(this); \
}
/**
* @def DECLARE_SELF
* @brief declares _TySelf type and adds code to make sure that it is indeed a correct one
* @param[in] Type is type of the enclosing class
*/
#define DECLARE_SELF(Type) \
typedef Type _TySelf; /**< @brief type of this class */ \
__SELF_CHECK
} // ~self
এটি একপ্রকার দীর্ঘ, তবে দয়া করে এখানে আমাকে সহ্য করুন। এতে সি ++ 03 ছাড়াই কাজ করার সুবিধা রয়েছে decltypeকারণ __self_check_helperফাংশনটি ধরণের ধরণের নিযুক্ত করার জন্য নিযুক্ত করা হয় this। এছাড়াও, নেই static_assert, তবে sizeof()কৌশলটি পরিবর্তে নিযুক্ত করা হয়েছে। আপনি এটি C ++ 0x এর জন্য আরও খাটো করতে পারেন। এখন এটি টেমপ্লেটগুলির জন্য কাজ করবে না। এছাড়াও, ম্যাক্রোটি শেষদিকে সেমিকোলনের প্রত্যাশা না করে একটি ছোটখাটো সমস্যা রয়েছে, পেডেন্টিকের সাথে সংকলন করা হলে এটি একটি অতিরিক্ত অপ্রয়োজনীয় সেমিকোলন সম্পর্কে অভিযোগ করবে (বা আপনি একটি অদ্ভুত দেখাচ্ছে ম্যাক্রোটি ছেড়ে দেবেন এবং এর শরীরে সেমিকোলনে শেষ হবে না XYZand ABC)।
Typeযেটি পাস হয়েছে তাতে একটি চেক করা DECLARE_SELFকোনও বিকল্প নয়, কারণ এটি কেবল XYZক্লাসটি পরীক্ষা করবে (যা ঠিক আছে), ABC(যা ত্রুটি রয়েছে) থেকে অবজ্ঞাত । অতঃপর এটা আমাকে আঘাত করল। টেমপ্লেটগুলির সাথে কাজ করে এমন কোনও অতিরিক্ত সঞ্চয়স্থান শূন্য-ব্যতীত সমাধান:
namespace __self {
/**
* @brief compile-time assertion (_TySelf must be declared the same as the type of class)
* @tparam b_check is the asserted value
*/
template <bool b_check>
class CSELF_TYPE_MUST_BE_THE_SAME_AS_CLASS_TYPE2;
/**
* @brief compile-time assertion (specialization for assertion passing)
*/
template <>
class CSELF_TYPE_MUST_BE_THE_SAME_AS_CLASS_TYPE2<true> {};
/**
* @def DECLARE_SELF
* @brief declares _TySelf type and adds code to make sure that it is indeed a correct one
* @param[in] Type is type of the enclosing class
*/
#define DECLARE_SELF(Type) \
typedef Type _TySelf; /**< @brief type of this class */ \
__SELF_CHECK \
enum { __static_self_check_token = __LINE__ }; \
typedef __self::CStaticAssert<sizeof(CSELF_TYPE_MUST_BE_THE_SAME_AS_CLASS_TYPE2<int(__static_self_check_token) == int(_TySelf::__static_self_check_token)>)> __static_self_check
} // ~__self
এটি কেবল একটি অনন্য এনাম মানের উপর স্থিতিশীল দৃ makes়তা তোলে (অথবা আপনি যদি আপনার সমস্ত কোড একক লাইনে না লিখে থাকেন তবে কোনও ধরণের তুলনা করার কৌশল ব্যবহার করা হয় না, এমনকি এটি টেমপ্লেটগুলিতেও স্ট্যাটিক দৃsert় হিসাবে কাজ করে) । এবং একটি বোনাস হিসাবে - চূড়ান্ত সেমিকোলন এখন প্রয়োজন :)।
আমাকে একটি ভাল অনুপ্রেরণা দেওয়ার জন্য আমি ইয়াককে ধন্যবাদ জানাতে চাই। আমি প্রথমে তার উত্তর না দেখে এটি লিখব না।
ভিএস ২০০৮ এবং জি ++ ৪.6.৩ এর সাথে পরীক্ষিত। প্রকৃতপক্ষে, XYZএবং ABCউদাহরণ সহ, এটি অভিযোগ করে:
ipolok@ivs:~$ g++ self.cpp -c -o self.o
self.cpp:91:5: error: invalid application of âsizeofâ to incomplete type â__self::CSELF_TYPE_MUST_BE_THE_SAME_AS_CLASS_TYPE2<false>â
self.cpp:91:5: error: template argument 1 is invalid
self.cpp: In function âvoid __self::__self_check_helper(_TyB*) [with _TyA = XYZ, _TyB = ABC]â:
self.cpp:91:5: instantiated from here
self.cpp:58:87: error: invalid application of âsizeofâ to incomplete type â__self::CSELF_TYPE_MUST_BE_THE_SAME_AS_CLASS_TYPE<XYZ, ABC>â
এখন আমরা যদি এবিসিকে একটি টেম্পলেট তৈরি করি:
template <class X>
struct ABC {
DECLARE_SELF(XYZ); // line 92
};
int main(int argc, char **argv)
{
ABC<int> abc;
return 0;
}
আমরা পাব:
ipolok@ivs:~$ g++ self.cpp -c -o self.o
self.cpp: In instantiation of âABC<int>â:
self.cpp:97:18: instantiated from here
self.cpp:92:9: error: invalid application of âsizeofâ to incomplete type â__self::CSELF_TYPE_MUST_BE_THE_SAME_AS_CLASS_TYPE2<false>â
কেবলমাত্র লাইন-নম্বর চেকটি ট্রিগার করেছিল, কারণ ফাংশন চেকটি সংকলিত হয়নি (আশানুরূপ হিসাবে)।
সি ++ 0x (এবং অশুভ আন্ডারস্কোর ছাড়াই) দিয়ে আপনার কেবল প্রয়োজন হবে:
namespace self_util {
/**
* @brief compile-time assertion (tokens in class and TySelf must match)
* @tparam b_check is the asserted value
*/
template <bool b_check>
class SELF_TYPE_MUST_BE_THE_SAME_AS_CLASS_TYPE;
/**
* @brief compile-time assertion (specialization for assertion passing)
*/
template <>
class SELF_TYPE_MUST_BE_THE_SAME_AS_CLASS_TYPE<true> {};
/**
* @brief static assertion helper type
* @tparam n_size is size of object being used as assertion message
* (if it's a incomplete type, compiler will display object name in error output)
*/
template <const size_t n_size>
class CStaticAssert {};
#define SELF_CHECK \
/** checks the consistency of TySelf type (calling it has no effect) */ \
void self_check() \
{ \
static_assert(std::is_same<TySelf, decltype(*this)>::value, "TySelf is not what it should be"); \
}
#define DECLARE_SELF(Type) \
typedef Type TySelf; /**< @brief type of this class */ \
SELF_CHECK \
enum { static_self_check_token = __LINE__ }; \
typedef self_util::CStaticAssert<sizeof(SELF_TYPE_MUST_BE_THE_SAME_AS_CLASS_TYPE<int(static_self_check_token) == int(TySelf::static_self_check_token)>)> static_self_check
} // ~self_util
আমি বিশ্বাস করি যে CStaticAssert বিটটি দুঃখজনকভাবে এখনও প্রয়োজনীয় কারণ এটি একটি প্রকার তৈরি করে, যা টেম্পলেট বডিতে টাইপডেফ-এড হয় (আমি মনে করি এটি দিয়ে সম্পন্ন করা যায় না static_assert)। এই পদ্ধতির সুবিধাটি এখনও এটির শূন্য ব্যয়।
this_tনিয়মিত সি ++ নামকরণের সাথে সম্ভবত আরও সংযুক্ত হবে।