对不可行的函数模板进行类型扣除
在他的回答 此问题和评论部分， Johannes Schaub 说，有一个“匹配错误”，当尝试对需要比已经传递的参数更多的参数的模板类型扣除： template（int，int）不可行 另一个问题，相关的是函数模板的类型扣除是否成功（并且发生替换）：
..
argument-deduction相关内容
了解SFINAE
据我所知，SFINAE意味着替换失败不会导致编译错误，但只是从可能的重载列表中删除原型。 我做什么不明白：为什么是这个SFINAE： template struct enable_if {}; template struct enable_if {typedef T type; };
..
什么是的＆QUOT点;提高:: MPL ::身份＆LT; T＆GT; ::类型＆QUOT;这里？
我检查 钳 在升压： 模板＆LT; typename的T，typename的preD＆GT; ŧ常量和放大器;钳（T＆const的放大器; VAL， 类型名的boost :: MPL ::身份＆LT; T＆GT; ::类型为const＆安培;不料， 类型名的boost :: MPL ::身份＆LT; T＆GT; ::类型为const＆安培;嗨，preD P） { //断言
..