正如当年Dijakstra号称程序都应该证明其正确性一样。不同的是，STL现在成了流行时尚。