/src/rt/msvc/typeof.h

http://github.com/jruderman/rust · C Header · 97 lines · 46 code · 17 blank · 34 comment · 1 complexity · ceb4922594a9141d07fe70cf9e585056 MD5 · raw file

  1. // This piece of magic brought to you by:
  2. // http://www.nedproductions.biz/blog/
  3. // implementing-typeof-in-microsofts-c-compiler
  4. #ifndef MSVC_TYPEOF_H
  5. #define MSVC_TYPEOF_H
  6. #if defined(_MSC_VER) && _MSC_VER>=1400
  7. namespace msvc_typeof_impl {
  8. /* This is a fusion of Igor Chesnokov's method (http://rsdn.ru/forum/src/1094305.aspx)
  9. and Steven Watanabe's method (http://lists.boost.org/Archives/boost/2006/12/115006.php)
  10. How it works:
  11. C++ allows template type inference for templated function parameters but nothing else.
  12. What we do is to pass the expression sent to typeof() into the templated function vartypeID()
  13. as its parameter, thus extracting its type. The big problem traditionally now is how to get
  14. that type out of the vartypeID() instance, and here's how we do it:
  15. 1. unique_type_id() returns a monotonically increasing integer for every unique type
  16. passed to it during this compilation unit. It also specialises an instance of
  17. msvc_extract_type<unique_type_id, type>::id2type_impl<true>.
  18. 2. vartypeID() returns a sized<unique_type_id> for the type where
  19. sizeof(sized<unique_type_id>)==unique_type_id. We vector through sized as a means
  20. of returning the unique_type_id at compile time rather than runtime.
  21. 3. msvc_extract_type<unique_type_id> then extracts the type by using a bug in MSVC to
  22. reselect the specialised child type (id2type_impl<true>) from within the specialisation
  23. of itself originally performed by the above instance of unique_type_id. This bug works
  24. because when MSVC calculated the signature of the specialised
  25. msvc_extract_type<unique_type_id, type>::id2type_impl<true>, it does not include the
  26. value of type in the signature of id2type_impl<true>. Therefore when we reselect
  27. msvc_extract_type<unique_type_id>::id2type_impl<true> it erroneously returns the one
  28. already in its list of instantiated types rather than correctly generating a newly
  29. specialised msvc_extract_type<unique_type_id, msvc_extract_type_default_param>::id2type_impl<true>
  30. This bug allows the impossible and gives us a working typeof() in MSVC. Hopefully Microsoft
  31. won't fix this bug until they implement a native typeof.
  32. */
  33. struct msvc_extract_type_default_param {};
  34. template<int ID, typename T = msvc_extract_type_default_param> struct msvc_extract_type;
  35. template<int ID> struct msvc_extract_type<ID, msvc_extract_type_default_param>
  36. {
  37. template<bool> struct id2type_impl;
  38. typedef id2type_impl<true> id2type;
  39. };
  40. template<int ID, typename T> struct msvc_extract_type : msvc_extract_type<ID, msvc_extract_type_default_param>
  41. {
  42. template<> struct id2type_impl<true> //VC8.0 specific bugfeature
  43. {
  44. typedef T type;
  45. };
  46. template<bool> struct id2type_impl;
  47. typedef id2type_impl<true> id2type;
  48. };
  49. template<int N> class CCounter;
  50. // TUnused is required to force compiler to recompile CCountOf class
  51. template<typename TUnused, int NTested = 0> struct CCountOf
  52. {
  53. enum
  54. {
  55. __if_exists(CCounter<NTested>) { count = CCountOf<TUnused, NTested + 1>::count }
  56. __if_not_exists(CCounter<NTested>) { count = NTested }
  57. };
  58. };
  59. template<class TTypeReg, class TUnused, int NValue> struct CProvideCounterValue { enum { value = NValue }; };
  60. // type_id
  61. #define unique_type_id(type) \
  62. (CProvideCounterValue< \
  63. /*register TYPE--ID*/ typename msvc_extract_type<CCountOf<type >::count, type>::id2type, \
  64. /*increment compile-time Counter*/ CCounter<CCountOf<type >::count>, \
  65. /*pass value of Counter*/CCountOf<type >::count \
  66. >::value)
  67. // Lets type_id() be > than 0
  68. class __Increment_type_id { enum { value = unique_type_id(__Increment_type_id) }; };
  69. // vartypeID() returns a type with sizeof(type_id)
  70. template<int NSize> class sized { char m_pad[NSize]; };
  71. template<typename T> typename sized<unique_type_id(T)> vartypeID(T&);
  72. template<typename T> typename sized<unique_type_id(const T)> vartypeID(const T&);
  73. template<typename T> typename sized<unique_type_id(volatile T)> vartypeID(volatile T&);
  74. template<typename T> typename sized<unique_type_id(const volatile T)> vartypeID(const volatile T&);
  75. }
  76. #define typeof(expression) msvc_typeof_impl::msvc_extract_type<sizeof(msvc_typeof_impl::vartypeID(expression))>::id2type::type
  77. #endif
  78. #endif