EEPW论坛

关于void型指针，我参考的这里：

http://bbs.chinaunix.net/thread-225624-1-1.html

基本上能搞明白。但是，现在的这种用法却搞不明白了。

自己这么分析，不知道对错。求鉴定

明白了，这个东西是给内核用的。咱不用管。只管按照例子那样写就行了

PS:两位一线工程师亲自回答俺的问题，受宠若惊啊！

在uTenux论坛找到了更详细的介绍

http://www.tecoss.org/viewthread.php?tid=4617&extra=page%3D1

之前http://www.tecoss.org/viewthread.php?tid=4180&extra=page%3D1这个帖子提到过邮箱机制。接下来再重点说一下邮箱中用到的指针结构。
在邮箱机制中有一个特殊的结构——T_MSG，他只有一个成员变量msgque[1]（为什么是数组形式的变量，看着真奇怪，先不管它！），msgque[1] 是一个VP也就是void *类型。T_MSG可以看做是一个邮箱消息头的标准结构，还有一个带优先级的T_MSG_PRI，可以称为邮箱消息头的带有优先级信息的特殊结构，当然用 户也可以自定义其他结构，比如例程中的U_MSG，但是这些结构都有一个共同点，就是它作为消息头必须位于一条消息的开始的区域，而且它必须以T_MSG 作为开始，用户不能对其进行任何修改，因为T_MSG要由OS亲自维护，这样邮箱中的所有消息才能成为一个队列的形式整体存在。

对于一个void*类型的指针来讲，如果你用到别人给它赋值或者类似的操作，编译器就会因为不知道它所指定的空间大小而报错，我们看看内核中哪里涉及到这 些操作，void*在什么地方被强制转换了。以tk_mbximpl.c中的tk_snd_mbx_impl(ID mbxid, T_MSG *pk_msg)函数为例：
SYSCALL ER tk_snd_mbx_impl( ID mbxid, T_MSG *pk_msg )/*此处无论传入的是什么类型的pk_msg指针，说白了就是要消息的起始地址。如果在此函数中你想添加一条操作将消息打印输出，你可能做不到，想想为什么？：）*/
{
MBXCB *mbxcb;/*这是一个MBXCB类型的指针变量，mbxcb可以用来存放一个指向MBXCB类型的指针*/
TCB *tcb;/*这是一个TCB类型的指针变量，tcb可以用来存放一个指向TCB类型的指针*/
ER ercd = E_OK;/*这是一个错误代号变量，默认为‘正确’*/

CHECK_MBXID(mbxid);/*检查一下邮箱ID是否合法，即大于等于1，小于配置的最大值*/

mbxcb = get_mbxcb(mbxid);/*取当前的邮箱控制块*/

BEGIN_CRITICAL_SECTION;/*进入临界区，关中断*/
if (mbxcb->mbxid == 0) {/*检查邮箱控制块中的mbxid是否非法*/
ercd = E_NOEXS;
goto error_exit;
}

if ( (mbxcb->mbxatr & TA_MPRI) != 0 ) {/*检查邮箱控制块中的mbxatr是否支持优先级*/
if ( ((T_MSG_PRI*)pk_msg)->msgpri <= 0 ) {/*如果支持优先级，检查pk_msg的优先级是否合法，注意这里有一个强制类型转换，如果这里没有使用T_MSG_PRI类型的消息头，可能会出现未知错误*/
ercd = E_PAR;
goto error_exit;
}
}

if ( !knl_queue_isempty(&mbxcb->wait_queue) ) {/*如果有任务在队列中等待邮箱消息，那么直接将邮箱消息挂到任务控制块中去，然后释放该任务*/
/* Directly send to receive wait task */
tcb = (TCB*)(mbxcb->wait_queue.next);
*tcb->winfo.mbx.ppk_msg = pk_msg; /*推了一下，感觉这里有问题，回头再看，也可能我错了*/
knl_wait_release_ok(tcb);

} else {/*否则，将消息放到等待队列*/
/* Connect message to queue */
if ( (mbxcb->mbxatr & TA_MPRI) != 0 ) {/*如果支持优先级，那么根据优先级将消息插入到合适的位置中去*/
/* Connect message to queue following priority */
knl_queue_insert_mpri((T_MSG_PRI*)pk_msg, &mbxcb->mq_head);
} else {
/* Connect to end of queue */
nextmsg(pk_msg) = NULL;
if ( headmsg(mbxcb) == NULL ) {/*如果不支持优先级，那么将消息放到邮箱消息队列的末尾*/
headmsg(mbxcb) = pk_msg;
} else {
nextmsg(mbxcb->mq_tail) = pk_msg;
}
mbxcb->mq_tail = pk_msg;
}
}

error_exit:
END_CRITICAL_SECTION;

return ercd;
}
观察一下，不难发现，只有pk_msg强制类型转换赋值给其他成员的操作，而没有别人赋值给pk_msg或者使用pk_msg传递消息的操作，想想为什么？