История изменений

именно за счет этого оно и работает? А насколько нужен declvar ?

Да. Именно из-за наинизшего приоритета это и работает.

declvar нужен чтобы в контексте decltype появилась переменная типа T. Если есть ещё условия, например, тип T обязан также иметь конструктор по-умолчанию, то можно declvar заменить на T{}(поэтому чтобы ввести переменную типа double, я просто написал 1.0, а не через declvar<double>()), но тогда для типа T, который имеет оператор * с double но не имеет конструктора по-умолчанию вернётся false.

я не понимаю зачем вводить U (почему нельзя везде просто написать T), но без него не работает;-(

Если у нас будет только один тип T, то тип typename enable_if<has_double_multiply<U>(nullptr), int>::type будет использован во время инстанциирования A. enable_if работает только когда тип выводится компилятором. https://en.cppreference.com/w/cpp/language/template_argument_deduction

именно за счет этого оно и работает? А насколько нужен declvar ?

Да. Именно из-за наинизшего приоритета это и работает.

declvar нужен чтобы в контексте decltype появилась переменная типа T. Если есть ещё условия, например, тип T обязан также иметь конструктор по-умолчанию, то можно declvar заменить на T{}, но тогда для типа T, который имеет оператор * с double но не имеет конструктора по-умолчанию вернётся false.

я не понимаю зачем вводить U (почему нельзя везде просто написать T), но без него не работает;-(

Если у нас будет только один тип T, то тип typename enable_if<has_double_multiply<U>(nullptr), int>::type будет использован во время инстанциирования A. enable_if работает только когда тип выводится компилятором. https://en.cppreference.com/w/cpp/language/template_argument_deduction