在 const 函数内检查成员 std::array 的问题

Question

使用以下代码使用 mingw (gcc 4.7.0) 检查成员 std::array 时遇到奇怪的行为界限

#include <iostream>
#include <array>

class testClass
{
    std::array<int, 2> testArray;

    public:
        testClass();
        void func() const;

};

testClass::testClass() : testArray({{1, 2}})
{
}

void testClass::func() const
{
    for (int i = 0; i < 2; ++i)
        std::cout << testArray.at(i) << '\n' << testArray[i] << '\n';       
}


int main()
{
    testClass test;
    test.func();
}

输出是

0
1
0
2

该错误似乎与优化有关，因为它仅在使用-O 编译时才会出现，我尝试了-O 启用的各个标志，但无法进一步缩小范围。使函数非常量也解决了这个问题。这可能是一个错误还是我错过了什么？

*编辑

缩小范围，看起来像是.at() 的const 版本中的一个错误

#include <iostream>
#include <array>

int main()
{
    std::array<int, 2> const testArray = {1, 2};

    for (int i = 0; i < 2; ++i)
        std::cout << testArray.at(i) << '\n' << testArray[i] << '\n';       
}

在 Windows Xp sp3 和 Windows 7 sp1 上使用 mingw 4.7.0 使用 -std=c++11 -O 编译的相同输出。

*编辑 2

再次输出相同的输出

#include <iostream>
#include <array>

int main()
{
    typedef std::array<int, 2> Tarray;
    Tarray test = {1, 2};

    for (int i = 0; i < 2; ++i)
        std::cout << const_cast<Tarray const*>(&test)->at(i) << '\n' << test.at(i) << '\n';     
}

Answer 1

这是数组头的一部分

#ifdef __EXCEPTIONS
  constexpr const_reference
  at(size_type __n) const
  {
return __n < _Nm ? 
       _M_instance[__n] : throw out_of_range(__N("array::at"));
  }
#else
  const_reference
  at(size_type __n) const
  {
if (__n >= _Nm)
  std::__throw_out_of_range(__N("array::at"));
return _M_instance[__n];
  }
#endif

主文件中的Undef __EXCEPTIONS（或将数组中的#ifdef 更改为#ifndef）会导致正确的输出。我不知道，这是否是正确的解决方案，但它有效。

UPD：我将数组标题中的代码更改为

#ifdef __EXCEPTIONS
  constexpr const_reference
  at(size_type __n) const
  {
return __n < _Nm ? 
       _M_instance[__n] : (throw out_of_range(__N("array::at"))),
                          _M_instance[__n];
   /*return __n < _Nm ? 
            _M_instance[__n] : throw out_of_range(__N("array::at"));*/
  }
#else
  const_reference
  at(size_type __n) const
  {
if (__n >= _Nm)
  std::__throw_out_of_range(__N("array::at"));
return _M_instance[__n];
  }
#endif

现在一切正常