写段代码验证哥德巴赫猜想之二：验证（附：关于下标值应该定义为有符号数）。

昨天在写Primes的时候，把下标值定义成无符号整型（size_t），结果在一次反向for循环（循环变量从大递减到小）中出现错误：

for (size_t i=0; i<primes.getCount(); ++i)
for (size_t j=primes.getCount()-1; j>=0; --j)

第一行的循环可以正确运行，但第二行的循环将会出错，因为循环条件永远为真（size_t类型的值永远不会小于0），当循环变量为0时，循环一轮，执行自减运算，由于是个(32位)无符号整数，所以其值变成了0xffffffff，立刻引起无效内存访问错。这是一个教训，今后一定要记住，下标值应该定义为有符号类型（难怪在DELPHI里，下标值都定义为Integer :)

---

class Goldbach {
public:
 bool check(int even, int & prime1, int & prime2) {
  if (even<=2 || 0!=(even % 2))
   throw std::logic_error("要求大于２的偶数");
  primes_.generate(even);
  for (int i=0; i<primes_.getCount(); ++i) {
   for (int j=primes_.getCount()-1; j>=0; --j) {
    if (primes_[i]+primes_[j]==even) {
     prime1 = primes_[i];
     prime2 = primes_[j];
     return true;
    }
   }
  }
  return false;
 }
private:
 Primes primes_;
};