C标准是否要求标准库qsort()函数提供特定性能保证？

• C标准并未强制规定qsort()函数必须达到特定的性能级别或时间复杂度。标准仅明确了该函数的核心功能：依据用户提供的比较函数，完成对目标数组的排序操作。
• 尽管函数名包含"quick"字样，容易让人联想到快速排序这类O(n log n)级别的算法，但这只是命名上的暗示，并非标准对实现方式的约束。
• 从标准合规性角度来说，符合要求的标准库完全可以选择插入排序（O(n²)）这类算法实现qsort()；甚至理论上，使用猴子排序（O(n!)）也不违反标准——只要最终能正确完成排序功能即可。不过实际工程中，没有哪个正经库会采用猴子排序这种极端低效的实现，这只是从标准规则层面的可能性。

内容的提问来源于stack exchange，提问作者Mark