在python中的and和or操作符并不是返回true或者false,而是返回相应位置的值,举例如下:
x = 1 or 2 # x == 2
x = 1 and 0 # x == 0
但是在C/C++中是返回bool值,所以就有了下面这个轮子。其实轮子的版本要照顾到and和or两种操作,但是此处仅仅以And作为例子,因为Or的原理是一样的,重复代码很多。
template<typename T>
T ValueAnd()
{
// 为可变参数模版提供一个空参数版本,事实上我们不会用到它。
return T();
}
template<typename T>
T ValueAndFunc(bool(*)(T))
{
// 为可变参数模版提供一个空参数版本,事实上我们不会用到它。
return T();
}
template<typename T, typename... Args>
T ValueAnd(T value, Args... args)
{ // 当value是bool值为false或者当value为最后一个参数时返回
static const size_t argsCount = sizeof...(args);
if (!bool(value) || argsCount == 0)
{
return value;
}
else
{
return ValueAnd<T>(args...); // 自动解包参数,做函数递归
}
}
template<typename T, typename... Args>
T ValueAndFunc(bool(*CompareFunc)(const T),T value, Args... args)
{ // ValueAndFunc与 ValueAnd唯一区别在于有些函数未定义bool行为或者想自定义bool行为所以额外增加了第一个参数,由外界保证传入的函数不能为空。
static const size_t argsCount = sizeof...(args);
if (!CompareFunc(value) || argsCount == 0)
{
return value;
}
else
{
return ValueAndFunc<T>(CompareFunc,args...);
}
}
使用方法如下:
typedef bool (*CompareFunc)(const int);
CompareFunc func = [](const int x) {return x>=2; };
std::cout << ValueAnd(1, 0, 3); // 输出 0
std::cout << ValueAndFunc(func, 2, 3, 1); // 输出1
这个轮子有一点不完美的地方在于ValueAnd其实可以复用ValueAndFunc的代码,因为两者只有比较函数不一样,但是苦于没找到完美转发Args… args而不自动解包的方案。