Несколько частей стандарта указывают, что руководство по выводам не может иметь явный-спецификатор , но может иметь только явное ключевое слово, предшествующее ему.
как:
in temp.deduct.duide
дедукция-гид:
явное opt имя-шаблона ( условие-объявления-условия ) -> простой-идентификатор-шаблона ;
обратите внимание, что стандарт гласит: явный opt , а не явный-спецификатор .
или dcl.fct.spec
явный спецификатор должен использоваться только в объявлении конструктора или функции преобразования в пределах своего определения класса; ...
но стандарт также говорит в over.match.class.deduct
Если функция или шаблон функции были сгенерированы из конструктора или руководство по выводу , которое имело явный-спецификатор , каждый считается, что такой условный конструктор имеет тот же явный спецификатор .
эта цитата подразумевает, что направляющие вычеты могут иметь явный спецификатор .
Я не вижу какой-либо конкретной причины, по которой руководство по выводам не может иметь явный спецификатор .
Проблема в моем понимании стандарта или в самом стандарте?
Может ли Руководство по дедукции иметь спецификатор явный (bool) ?