Информация об изменениях

Сообщение Re[8]: Хитрый оператор преобразования типа от 29.06.2022 14:37

Изменено 29.06.2022 14:40 σ

Re[8]: Хитрый оператор преобразования типа
R>>>А разве согласно (1.3) 'operator type_t' не является зависимым именем?

σ>>Посмотри в грамматику template-id


R>По здравому смыслу, это должно бы соответствовать operator-function-id, хотя, я вижу, что в списке операторов подходящего варианта для conversion function нет


operator T это conversion-function-id, оно вообще не может быть template-id
Re[8]: Хитрый оператор преобразования типа
R>>>А разве согласно (1.3) 'operator type_t' не является зависимым именем?

σ>>Посмотри в грамматику template-id


R>По здравому смыслу, это должно бы соответствовать operator-function-id, хотя, я вижу, что в списке операторов подходящего варианта для conversion function нет


operator T это conversion-function-id = `operator` conversion-type-id, оно вообще не может быть template-id, в смысле конструкция "conversion-function-id < template-argument-list[opt] >" невозможна, "< template-argument-list[opt] >" ушло бы в conversion-type-id