CPP 基于模板的类型相同判断[CPP template-8]

今天的代码是今年早些时候写的，std库中也有类似的方法。这里我们把思路理一下，写一个自己的类型相同判断模板♪(´▽｀)

在python中

//Type comparison


//基本操作写于24/5/2
//功能是通过模板元编程进行两个变量类型的对比
//（没错,python中易如反掌的事情，在CPP中需要不一般的技巧来完成）
//我们CPP使用者真是太有实力了
  /&
    
    var1 = 10
    var2 = 20
    
    if type(var1) == type(var2):
       print("两个变量的类型相同")
    else:
    print("两个变量的类型不同")
    
    
  &/
  //事毕，觉得这是这段时间写的最好的代码。于是分享

---

---

$$非常满意的模板元编程程序$$

在CPP中

#include <iostream>

template <typename T, typename U>
struct Type_Comparsion
{
	static constexpr bool same = false;
};

template <typename T>
struct Type_Comparsion<T, T>
{
	static constexpr bool same = true;
};


//这是模板变量哦，C++17引入的，高级吧，
//可以非常方便的调用模板元编程的匹配结果
template<typename T, typename U>
bool typesame = Type_Comparsion<T, U>::same;

using std::cout;
using std::endl;

//下面是第一阶段的使用

//int main()
//{
//	cout << std::boolalpha;
//	cout << typesame<int, int> << endl;
//	cout << typesame<int, double> << endl;
//	return 0;
//}
/*
输出结果是
true
false
*/


//下面我们来做一些更高级的自动化判断
template <class T1,class T2>
bool typesamefun(T1 t1, T2 t2)
{
	return typesame<T1, T2>;
}

int main()
{
	cout << std::boolalpha;
	cout << typesamefun(1, 1.0) << endl;
	cout << typesamefun("hello cpp template world", "i'm  cpptemplate  master");
	return 0;
}

/*
输出的结果是
false
true
//因为第二个调用的两个参数都是const char[25]类型
*/

详解

具体化≠特化

其实在上面，我们把模板的实现分类（为具体化和实例化），又直接把具体化分为模板完全特化，和模板的偏特化的分类是不完全正确的。在一般情况下，这样的分类没有什么大问题，毕竟具体化是把类中的未定类型具体化，这和模板特化好像一个道理。不过在这个例子总，我们容易发现，其实大不相同

template <typename T, typename U>
struct Type_Comparsion
{
	static constexpr bool same = false;
};

template <typename T>
struct Type_Comparsion<T, T>
{
	static constexpr bool same = true;
};

这里的第二个模板并不是第一个模板的具体化（它没有带入具体类型）但是它却对类型信息做了进一步的说明（T=U）这其实是特化，所以具体化和特化不完全相同。

匹配优先级

在匹配的优先级上，特化的越具体，调用等级越高

通用模板

你也许注意到了，第一个模板写的好像不是这么正规，它没有<>进行具体的类型匹配，为什么？

struct Type_Comparsion...

struct Type_Comparsion<T, T>...

第一个模板其实是一个通用类型模板，为所有类型提供至少一个匹配，通用模板声明通常不对类型做具体实现，因此在这种情况下没有必要指定类型（就是<…>中的东西,叫指定类型），而CPP也知道你想做什么，会把它作为通用模板进行匹配，但是如果你想加指定类型，也是可以加的。