实质正义和程序正义有什么区别？？

1、属性的区别

程序正义：英美法系的一种法律传统。

实质正义：实质正义是正义实现的理想状态。

2、含义的区别

程序正义：这源于一句人所共知的法律格言：“正义不仅应得到实现，而且要以人们看得见的方式加以实现”（Justice must not only be

done, but must be seen to be

done.）。

所谓的“看得见的正义”，实质上就是指裁判过程（相对于裁判结果而言）的公平，法律程序（相对于实体结论而言）的正义。

实质正义：也就是善人(或善行)应该得到善报,恶人(或恶行)必须得到恶报。如果司法制度或公共政策无法体现实质正义,就会被视为欠缺正当性。

3、意义的区别

程序正义：它旨在表达一种最基本的思想：一个人在国家裁判机构作出对其利益有利或者不利的裁判时，应当至少能够处于一种可与裁判者就如何对待他的问题进行理性地协商的地位。

即强调尊重程序参与者作为自主、负责和理性主体的地位，要求裁判机构与他一起参与裁判结果的形成过程，向他论证裁判结果的合理性和正当性，从而使他成为裁判制作过程中的协商者、对话者、辩论者和被说服者，其作为人的尊严和价值得到充分的尊重。

实质正义：意味着追求结果上的公正与公平，不论过程程序如何，实质正义是正义的归宿。

参考资料来源：百度百科-实质正义

参考资料来源：百度百科-程序正义

我去年的毕业论文就是写这个问题的，后来在中山大学拿了个良。楼上是在网上抓，我不想说太多，这里推荐一本我去年受益匪浅的书 厦门大学齐树洁教授的《程序正义与司法改革》，厦门大学出版社2004年11月版，定价45元。如果需要其他帮助，可以向我进一步联系。当然，要赏点分给我咯。。。

大兄弟：肯定程序员好呀，这样分析，网管需要熬夜身体吃得消才行，职业路线要么转行，要么自己开网吧，程序员就不一样了，坐写字楼，白领哦，职业路线是：程序员-软件工程师-主管-经理-老板。下面是学习软件开发部分知识，希望能帮到你。

1.内部使用 C 的 longjmp 机制让出一个协程。 因此，如果一个 C 函数 foo 调用了一个 API 函数， 而这个 API 函数让出了（直接或间接调用了让出函数）。 由于 longjmp 会移除 C 栈的栈帧， Lua 就无法返回到 foo 里了。

2.为了回避这类问题， 碰到 API 调用中调用让出时，除了那些抛出错误的 API 外，还提供了三个函数： lua_yieldk， lua_callk，和 lua_pcallk 。 它们在让出发生时，可以从传入的 延续函数 （名为 k 的参数）继续运行。

3.我们需要预设一些术语来解释延续点。 对于从 Lua 中调用的 C 函数，我们称之为 原函数。 从这个原函数中调用的上面所述的三个 C API 函数我们称之为 被调函数。 被调函数可以使当前线程让出。 （让出发生在被调函数是 lua_yieldk， 或传入 lua_callk 或 lua_pcallk 的函数调用了让出时。）

4.假设正在运行的线程在执行被调函数时让出。 当再次延续这条线程，它希望继续被调函数的运行。 然而，被调函数不可能返回到原函数中。 这是因为之前的让出 *** 作破坏了 C 栈的栈帧。 作为替代品，Lua 调用那个作为被调函数参数给出的 延续函数 。 正如其名，延续函数将延续原函数的任务。

5.注意这里那个额外的显式的对延续函数的调用：Lua 仅在需要时，这可能是由错误导致的也可能是发生了让出而需要继续运行，才会调用延续函数。 如果没有发生过任何让出，调用的函数正常返回， 那么 lua_pcallk （以及 lua_callk）也会正常返回。 （当然，这个例子中你也可以不在之后调用延续函数， 而是在原函数的调用后直接写上需要做的工作。）

6.Lua 会把延续函数看作原函数。 延续函数将接收到和原函数相同的 Lua 栈，其接收到的 lua 状态也和 被调函数若返回后应该有的状态一致。 （例如， lua_callk 调用之后， 栈中之前压入的函数和调用参数都被调用产生的返回值所替代。） 这时也有相同的上值。 等到它返回的时候，Lua 会将其看待成原函数的返回去 *** 作。

7.我们需要预设一些术语来解释延续点。 对于从 Lua 中调用的 C 函数，我们称之为 原函数。 从这个原函数中调用的上面所述的三个 C API 函数我们称之为 被调函数。 被调函数可以使当前线程让出。 （让出发生在被调函数是 lua_yieldk， 或传入 lua_callk 或 lua_pcallk 的函数调用了让出时。）

8.假设正在运行的线程在执行被调函数时让出。 当再次延续这条线程，它希望继续被调函数的运行。 然而，被调函数不可能返回到原函数中。 这是因为之前的让出 *** 作破坏了 C 栈的栈帧。 作为替代品，Lua 调用那个作为被调函数参数给出的 延续函数 。 正如其名，延续函数将延续原函数的任务。

希望能帮到你，谢谢！

---