查看GNU g ++ 4.8.4 type_traits标头代码，我找到了std::is_function模板的定义。它包括一些模板专业化，例如：
template<typename _Res, typename... _ArgTypes>
struct is_function<_Res(_ArgTypes...) const>
: public true_type { };
volatile和const volatile功能的专业化也在那里。
众所周知，只有成员函数才能被声明为cv-qualified。那么这些专业化会匹配什么呢？这是GNU扩展吗？