जांचें कि क्या (आदिम) प्रकार C++

Question

में जा सकते हैं? यदि प्रकारों को जाति योग्य (स्पष्ट रूप से या स्पष्ट रूप से) चेक करना संभव है (सी ++ में)? क्या std में कुछ है या क्या यह संभव है कि C# (C# same Question) में कोई फ़ंक्शन लिखें?

मैं इस चेक को प्रकार पर इस प्रकार के उदाहरण नहीं करना चाहता हूं।

मुझे सी ++ में टाइप सिस्टम के बारे में निश्चित नहीं है। क्या सी # या जावा में Type कक्षा की तरह कुछ है? typeid(int) मुझे मिला सबसे नजदीक था। क्या मैं एक प्रकार को एक चर में स्टोर कर सकता हूं? करीब पढ़ने की युक्तियों की सराहना की जाएगी।

उदाहरण में:

bool isCastable(false); 
bool withoutLoss(true); 
isCastable = isCastableFromTo(typeid(int), typeid(__int64), withoutLoss); //true 
isCastable = isCastableFromTo(typeid(int), typeid(short), withoutLoss); //false 
isCastable = isCastableFromTo(typeid(int), typeid(double), withoutLoss); //true 
isCastable = isCastableFromTo(typeid(double), typeid(int), withoutLoss); //false 
isCastable = isCastableFromTo(typeid(string), typeid(int), withoutLoss); //false 

withoutLoss = false; 
isCastable = isCastableFromTo(typeid(int), typeid(__int64), withoutLoss); //true 
isCastable = isCastableFromTo(typeid(int), typeid(short), withoutLoss); //true 
isCastable = isCastableFromTo(typeid(int), typeid(double), withoutLoss); //true 
isCastable = isCastableFromTo(typeid(double), typeid(int), withoutLoss); //true 
isCastable = isCastableFromTo(typeid(string), typeid(int), withoutLoss); //false 

Answer 1

सी ++ 11 में आप उपयोग कर सकते हैं std::is_convertible (reference)। यह जांचता है कि एक अंतर्निहित रूपांतरण संभव है या नहीं। यह नहीं मानता कि रूपांतरण हानिकारक होगा या नहीं।

---

उदाहरण:

#include <type_traits> 
bool f_to_i = std::is_convertible<float,int>::value; // true 
bool i64_to_i = std::is_convertible<int64_t,int>::value; // true 
bool str_to_i = std::is_convertible<std::string,int>::value; // false 

Answer 2

इस तरह:

template <class F, class T, class = T> 
struct is_static_castable : std::false_type 
{}; 

template <class F, class T> 
struct is_static_castable<F, T, decltype(static_cast<T>(std::declval<F>()))> : std::true_type 
{};