Недавно я наткнулся на Почему вывод аргументов шаблона здесь не работает?, и ответы можно свести к «Это невыводимый контекст».
В частности, первый говорит, что это так, а затем перенаправляет на стандарт для "подробностей", а второй цитирует стандарт, что, мягко говоря, загадочно.
Может кто-нибудь объяснить простым смертным, таким как я, что такое невыведенный контекст, когда он возникает и почему он возникает?
Подробнее здесь: https://stackoverflow.com/questions/252 ... ed-context