第三十二條 奇形怪狀
下面程序的輸出是什么？
#include <iostream>
int _tmain(int argc, _TCHAR* argv[])
{ int x = 1;
// 下面這行代碼你確認(rèn)在遞增嗎??/
++x;
std::cout << x << std::endl;
return 0;
}
“輸出 2”，如果你無(wú)須思索的回答道。那么，恭喜你。。。。答錯(cuò)了。不相信？請(qǐng)你將這段程序一字不差的復(fù)制到Visual Studio中（本人環(huán)境VS2008），然后Ctrl+F5，正確答案會(huì)立即顯示在眼前：輸出居然是 1！
最好在你親自試驗(yàn)了后，我們來(lái)一起揭曉原因：
注意到“// 下面這行代碼你確認(rèn)是遞增嗎??/”這行注釋了嗎？注釋中結(jié)尾的“??/”會(huì)被轉(zhuǎn)換成“\”，而后者放在一行的末尾作用相當(dāng)于將接下來(lái)的一行“粘貼”到這一行的末尾！這太令人詫異了！本例中，它將接下來(lái)的“++x”粘貼到了注釋行的末尾，這樣“++x”就成了注釋的一部分，不會(huì)被實(shí)際實(shí)行了。
為什么會(huì)這樣？因?yàn)镃++從C語(yǔ)言繼承了一個(gè)“三字符組”的特性。所謂三字符組（trigraph）是指三個(gè)字符組成的轉(zhuǎn)義符，比如“??/”=“\”，“??!”=“~”等。
風(fēng)格案例研究
以下代碼展示了在已有容器中創(chuàng)建索引表的一種慣用法。
// 代碼展示：索引表
#include <vector>
#include <map>
#include <algorithm>
// Solution1
namespace Solution1 { template<class Iter>
class sort_idxtbl_pair { public:
void set(const Iter& it, int i) { it_ = it; i_ = i; } bool operator<(const sort_idxtbl_pair& other) const
{ return *it_ < *other.it_; } operator int() const { return i_; } private:
Iter it_;
int i_;
};
template<class IterIn, class IterOut>
void sort_idxtbl(IterIn first, IterIn last, IterOut out) { std::vector<sort_idxtbl_pair<IterIn> > v(last - first);
for (int i = 0; i < last - first; ++i)
v[i].set(first + i, i);
std::sort(v.begin(), v.end());
std::copy(v.begin(), v.end(), out);
}
}
// Solution2：使用std::pair而不是重新發(fā)明一個(gè)類似pair的輔助類。
namespace Solution2 { template<class T, class U>
struct ComparePair1stDeref { bool operator()(const std::pair<T,U>& a, const std::pair<T,U>& b) const
{ return *a.first < *b.first; } };
template<class IterIn, class IterOut>
void sort_idxtbl(IterIn first, IterIn last, IterOut out) { std::vector<std::pair<IterIn, int> > s(last - first);
for (int i = 0; i < s.size(); ++i)
s[i] = std::make_pair(first + i, i);
std::sort(s.begin(), s.end(), ComparePair1stDeref<IterIn,int>());
for (int i = 0; i < s.size(); ++i, ++out)
*out = s[i].second;
}
}
測(cè)試用例：
#include <iostream>
int _tmain(int argc, _TCHAR* argv[])
{ int a[10] = {8, 9, 1, 3, 5, 7, 6, 4, 2, 0}; std::vector<int> idxtbl(10);
Solution2::sort_idxtbl(a, a + 10, idxtbl.begin());
for (int i = 0; i < 10; ++i)
std::cout << "i = " << i
<< ", idxtbl[i] = " << idxtbl[i]
<< ", a[idxtbl[i]] = " << a[idxtbl[i]]
<< std::endl;
return 0;
}
以下代碼展示了一個(gè)用于外覆回調(diào)函數(shù)的慣用手法。
class CallbackBase {public:
virtual void operator()() const {}; virtual ~CallbackBase() = 0;
};
CallbackBase::~CallbackBase() {}
template<typename T>
class Callback : public CallbackBase {public:
typedef void (T::*F)();
Callback(T& t, F t) : t_(&t), f_(f) {} void operator()() const { (t_->*f_)(); }
private:
T* t_;
F f_;
};
template<typename T>
Callback<T> make_callback(T& t, void(T::*f)()) { return Callback<t>(t, f);
}
你需要支持const成員函數(shù)？支持非void類型的返回值？支持不同參數(shù)類型或數(shù)目的回調(diào)函數(shù)？別急、別急，敬請(qǐng)期待我即將發(fā)布的《基于C++的多播委托》，如果你實(shí)在等不及，Loki庫(kù)的'functors'將為你帶來(lái)頂級(jí)大師的盛宴。