У меня есть следующий бит кода:
#include <iostream>
#include <list>
#include <algorithm>
#include <iterator>
template<typename Iterator>
void foo(Iterator begin, Iterator end)
{
typedef typename std::iterator_traits<Iterator>::value_type type;
type smallest = (*std::min_element(begin,end));
std::cout << smallest << std::endl;
}
int main()
{
std::list<int> l;
l.push_back(1);
l.push_back(2);
foo(l.begin(),l.end());
return 0;
}
, когда я компилирую его следующим образом:
g++ -pedantic -ansi -Wall -Werror -O2 -o test test.cpp
Я получаю следующую ошибку:
cc1plus: warnings being treated as errors
In function ‘int main()’:
cc1plus: error: dereferencing pointer ‘pretmp.163’ does break strict-aliasing rules
cc1plus: note: initialized from here
Эта ошибка наблюдается с O3, но не с O1.Я скомпилировал код, используя онлайн-компилятор comeau, MS VC9.0 и icc v11, и во всех случаях код компилируется без проблем.
Код отлично работает с std::vector
, std::deque
, std::set
, char*
, int*
итераторами, кажется, что-то очень специфичное для реализации std :: list.
Я надеялся, что кто-нибудь сможет дать некоторое представление о том, что означает эта конкретная ошибка (предупреждение) и как ее устранить.
Примечание. Версия GCC:
gcc (Ubuntu 4.4.1-4ubuntu9) 4.4.1
Copyright (C) 2009 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.