我们看到往往都是讲这些技术的好处，那我们能不能讨论一下类的封装性，继承性，多态性的缺陷是什么呢？

只能说损失也一部分效率吧

这些东西不一定会损失效率的。而且，每当它们需要损失效率的时候，你即使用别的方法实现也会损失效率。
我觉得和最原始的结构化编程相比，它们没有什么缺陷。但是和更先进的语法特性相比，它们的缺陷在于还不够完善，描述能力还不够强。