Дефект отчет 1207

Question

Я не понимаю причину this defect report 1207, более конкретно со ссылкой на следующее предложение (выделено мною):

Поскольку преобразование имени элемента в выражение члена класса доступа (9.3.1 [class.mfct.non-static], абзац 3) возникает только внутри тела нестатической функции-члена, Тип v в trailing-return-type не является константой, но является const в обратном выражении , что приводит к несоответствию типа между обратным выражением и возвратом t ype функции.

Редактировать

То есть, я не понимаю, почему тип V в типе возвращаемого трейлинг выводится как неконстантная.

Answer 1

vector v; 
auto end() const -> decltype(v.begin()) { return v.begin(); } 

decltype(v.begin()), в задней-возвратного типа, является iterator - потому что v имеет тип vector, видно из внешнего.

Но Внутри корпуса функций рассматривается конструктор-константа функции-члена end(). Тип v - это тип this->v, который, в свою очередь, зависит от константы this.

this 'pointee является const (из-за вышеупомянутой сопзЬ-спецификатора), таким образом, тип this внутри функции члена является block const*.

Поэтому тип this->v внутри функции члена является vector const (из-за доступа к константным-пути), и v.begin() - которая на самом деле (this->v).begin() - вызывает const -overload чей возвращаемый тип const_iterator. С другой стороны, v.begin() в обратном-возвратном типе «вызывает» неконстантную перегрузку, которая возвращает iterator.

Этот тип несоответствие - проблема.

Answer 2

Это говорит, что, когда трейлинг-возвратный тип разобран, член v ищется в достаточно иметь смысл v.begin() .. но фактический доступ к v в контексте сославшейся end() не считается , поэтому ни тот факт, что end() (и, следовательно, его доступ к v) равен const.