Сообщение 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
σ>>Посмотри в грамматику 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
σ>>Посмотри в грамматику 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