C++ enable_if

csuzhucong

已于 2022-12-16 00:30:08 修改

阅读量2.8k

点赞数 4

文章标签： c++

于 2022-06-11 11:32:25 首次发布

本文链接：https://blog.csdn.net/nameofcsdn/article/details/125232528

版权

is_integral_v

is_integral_v判断一个类型是不是整型

is_same_v

is_same_v判断两个类型是不是相同的类型

enable_if

enable_if就是通过模板偏特化实现重载，从而用来控制参数类型。

自定义版本：

template<typename T, bool flag>
struct enable {
	//
};
template<typename T>
struct enable<T, true> {
	typedef T type;
};

template<typename T>
typename enable < string, is_integral_v<T>>::type ToString(T t)
{
	return to_string(t);
}

int main()
{
	cout << ToString(123);
	//cout << ToString("123"); //编译失败
	return 0;
}

ToString函数只接受整数类型的参数，否则会编译报错type。

使用库的版本：

template<typename T>
typename enable_if<is_integral_v<T>, string>::type ToString(T t)
{
	return to_string(t);
}

int main()
{
	cout << ToString(123);
	//cout << ToString("123"); //编译失败
	return 0;
}

enable_if实现条件编译

template<typename T>
typename enable_if<is_same_v<T, string>, string>::type ToString(T t)
{
	return t;
}
template<typename T>
typename enable_if<!is_same_v<T, string>, string>::type ToString(T t)
{
	return to_string(t);
}

int main()
{
	cout << ToString(1234567890);
	cout << ToString(string("123"));
	return 0;
}

这个代码实现了，如果是string类型的参数就直接返回，否则就调用to_string函数再返回。

应用示例：UpperType

把整数类型变成long long，非整型不变

template<typename T, bool flag>
struct enable {
	typedef T type;
};
template<typename T>
struct enable<T, true> {
	typedef long long type;
};
#define UpperType(T) typename enable<T, is_integral_v<T>>::type

   	template<typename T>
	static UpperType(T) getSum(const vector<T>& v)
	{
		UpperType(T) ans = v[0];
		for (int i = 1; i < v.size(); i++)ans += v[i];
		return ans;
	}