展开宏后得到的如下代码，望高手帮忙,该如何处理

展开宏后得到的如下代码，望高手帮忙
((void) ((!((void *)((elt)->link.prev) != (void *)(-1))) || ((isc_assertion_failed)(__FILE__, __LINE__,isc_assertiontype_insist,"!((void *)((elt)->link.prev) != (void *)(-1))"), 0)))

以上我是展开宏后得到的 但是怎么理解呢 后面多了个 ,0 这又是如何解释？高手帮忙？

------解决方案--------------------

探讨

((void) ((!((void *)((elt)->link.prev) != (void *)(-1))) || ((isc_assertion_failed)(__FILE__, __LINE__,isc_assertiontype_insist,"!((void *)((elt)->link.prev) != (void *)(-1))"), 0)))

以上我是展开宏后得到的 但是……

------解决方案--------------------
1. 若断言“((void *)((elt)->link.prev) != (void *)(-1))”，不成立，则取 ! 后为真，后面不再执行。
2. 后面可简化看作一个逗号表达式 (func, 0)，所以永远为假，不会影响到 || 前面的条件。只有在前面的条件为假是才会走到后面执行一下那个func函数
------解决方案--------------------
直接看宏 ISC_INSIST 就行了，后面不也是带着个0吗？带0的目的是不想让 || 后面的结果影响到前面条件的结果。 || 后面只是为了在前面不成立时执行一个函数进行打印，但又不能影响真个表达式结果
 
#define ISC_INSIST(cond) \
((void) ((cond) || \
((isc_assertion_failed)(__FILE__, __LINE__, \
isc_assertiontype_insist, \
#cond), 0)))

------解决方案--------------------
因为逗号表达式 (a, b) 的意思就是顺序执行，但最后只返回最后一个表达式 b 的值，若b为0，(a, b)肯定只能为假(0)了，但是a仍然执行了。

整个宏的意思应该是

if (!cond)
{
isc_assertion_failed();
return false;
}
else
{
return true;
}