定义一个函数和指向该函数的指针,然后判断函数指针解引用之后是否为函数void test1() {}int main(){ void(*t1)() = test1; std::cout << std::is_function<decltype(*t1)>::value << std::endl; std::cout << std::is_function<decltype(test1)>::value << std::endl; std::cout << (typeid(decltype(test1)).hash_code() == typeid(decltype(*t1)).hash_code()) << std::endl;
return 0;
}最后输出为:011直接比较*t1和test1的类型,结果表明类型一致,但第一个输出为什么为0已知道使用函数名调用函数时会被转化为函数函数指针想不明白这里为什么不对是模板匹配参数的规则造成的吗?is_function的部分实现:template<typename> struct is_function
: public false_type { }; template<typename _Res, typename... _ArgTypes> struct is_function<_Res(_ArgTypes...)>
: public true_type { };
1 回答
![?](http://img1.sycdn.imooc.com/5333a207000118af02200220-100-100.jpg)
宝慕林4294392
TA贡献2021条经验 获得超8个赞
因为指针本来就不是函数,所谓函数,在编译的时候,会写入对应的符号表,而指针把函数的所有信息都丢了,只是一个入口地址而已。如果std::is_function判断指针为一个函数,那么可以认为是一个bug,从语义还是逻辑上这个结果都是正确的。
- 1 回答
- 0 关注
- 140 浏览
添加回答
举报
0/150
提交
取消