很想写一个C++技巧的系列,但是苦于没有时间。嗯...我承认,说没有时间是借口,没有积累才是真的。就把这里当作垃圾堆,想到什么,就吐点什么吧。可别指望吐出来的都是什么好东西。
C++新手常常会写这样的代码:
if ( i < x < j) { ....}
很不幸,通常编译器都不会报错,有些甚至连警告都没有,包括著名的GCC.
程序员的目标其实是这样的:
if (i < x && x < j)
但是,很显然,正确的写法很啰嗦,第一种写法更符合数学上自然的表达。想不想让自然的表达方法行为正确呢?我们可以尝试一下如何实现。有人把这种好处称做语法糖,以示不屑。可是,语法糖有什么不好呢?进而,有什么不是语法糖?
代码如下:
template<typename T>
strUCt compare
{
bool result;
const T& rsh;
compare(bool res, const T& v): result(res), rsh(v){}
template<typename U>
inline friend compare<U> operator < (const compare& lsh, const U& rsh)
{
return compare<U>(lsh.result && lsh.rsh < rsh, rsh);
}
bool operator!() const
{
return !result;
}
operator bool() const
{
return result;
}
};
代码很简单,首先要声明的是,这不是一个严谨的实现,这里面有毒药,那位看官要是吃错了药中毒身亡,于我无关。这里只大概解释一下技巧的本质。
这里最关键的地方就在于operator<并不是返回一个bool结果,而是返回一个结果的代理,这个代理可以自然地转换成bool型。我重载了operator!和operator bool,这里重载operator bool而不是unspecificial_bool完全是合理的。不直接提供结果,而是返回一个代理作为间接层,然后在间接层插入我们需要的处理,这是一个常见的也是重要的处理问题的思路。但是有个重要的方面没有实现,就是对const, volatile的支持没有做好。另外,对于参数,应该通过calltraits来选择。
另一个方面,当然,这里只实现了<,实际上,还需要其他操作符:
>,>=, <=, ==, !=
以至于混合使用。小心别栽倒在优先级脚下。测试代码如下:
using namespace std;
int main()
{
int i = 30;
int j = 40;
if ( compare<int>(true, 2) < i < j < 50)
{
cout << "OK." << endl;
}
if ( compare<int>(true, 2) < i < 35 < 38 < j < 42)
{
cout << "OK." << endl;
}
if ( compare<int>(true, 2) < i < j < 40)
{
cout << "ooo." << endl;
}
return 0;
}