模板特化与类型萃取-第3部分第4课
3.4.11.类型萃取的另一种可能实现