更具体地说,如果我有以下函数指针类型:
typedef void (*callback_type) (intptr_t context,void* buffer,size_t count);
我可以安全地,没有“未定义的行为”做:
callback_type func_ptr = (callback_type)write; intptr_t context = fd; func_ptr(context,some_buffer,buffer_size);
?
其中write()是系统调用(编辑:具有签名ssize_t write(int fd,const void * buf,size_t count);因此将int作为第一个参数),并且fd是一个int文件描述符.我假设C和C的答案是相同的,所以我正在标记两者.