Я с радостью экспериментировал с новыми типами возвращаемых возвратов, где я столкнулся с проблемой с этим (упрощенным) кодом
#include <list>
class MyContainer{
std::list<int> ints;
auto begin( ) -> decltype(ints.begin())
{
return ints.begin();
}
auto begin( ) const -> decltype(ints.begin())
{
return ints.begin();
}
};
Игнорируйте факт того, насколько бессмыслен этот код. Важной частью является ошибка компилятора, созданная при использовании GCC 4.6.1 (с флагом -std=c++0x
):
In member function 'std::list<int>::iterator MyContainer::begin() const':
error: could not convert '((const MyContainer*)this)->MyContainer::ints.std::list<_Tp, _Alloc>::begin [with _Tp = int, _Alloc = std::allocator<int>, std::list<_Tp, _Alloc>::const_iterator = std::_List_const_iterator<int>]()' from 'std::list<int>::const_iterator {aka std::_List_const_iterator<int>}' to 'std::list<int>::iterator {aka std::_List_iterator<int>}'
В случае, если вы не поклонник ошибки с участием шаблонов, рассказ состоит в том, что в теле const
версии MyContainer::begin
выражение ints.begin()
возвращает значение типа std::list<int>::const_iterator
(поскольку ints
есть const
в таком контексте). Однако decltype(ints.begin())
создает тип std::list<int>::iterator
, т.е. decltype
игнорирует квалификатор const
метода begin
при выборе типа выражения. Неудивительно, что результатом является конфликт в типах.
Мне кажется, что это ошибка в компиляторе GCC. Для decltype
было бы разумно соблюдать квалификатор const
и создать тип const_iterator
. Может ли кто-нибудь подтвердить или опровергнуть (может быть, даже объяснить) это? Может быть, я пропущу что-то в механике decltype
, но это выглядит довольно простой сценарий.
Примечание. Насколько я могу судить, такое же поведение имеет место не только для std::list<int>
, но и для любого типа с функциями-членами, перегруженными на const
-ness, которые возвращают несовместимые типы.