C++ enable_if

原创已于 2022-12-16 00:30:08 修改 · 2.9k 阅读

5 ·

CC 4.0 BY-SA版权

文章标签：

#c++

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

本文探讨了C++中的is_integral_v用于判断类型是否为整型，is_same_v比较类型是否相同，以及enable_if实现基于类型条件的模板编译。通过实例演示了如何使用这些特性来创建UpperType函数，仅接受整数并转换为long long，展示了条件编译在模板设计中的实用价值。

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;
	}