Здравствуйте, σ, Вы писали:

σ>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

Да, я понимаю, возразить мне нечего. В то же время, то, что конструкция 'operator T' не является зависимой от 'T', не укладывается у меня в голове. То ли это упущение, то ли это закопано где-то в пластах формулировок, х.з.

Здравствуйте, σ, Вы писали:

σ>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

Да, я понимаю, возразить мне нечего. В то же время, то, что конструкция 'operator T' не является зависимой от 'T', не укладывается у меня в голове. То ли это упущение, то ли это закопано где-то в пластах формулировок, х.з.

P.S. Блин, че-то я тормознул, ты же ссылку дал на фикс, только сейчас обратил внимание. Т.е. dependent, все-таки. Спасибо.