我想到了一个我看不到重大缺陷的 GC，我想知道为什么它没有更普遍地使用，或者为什么我没有听说过它的使用。
该系统是：
- 所有对象都附有一个 4 字节的无符号整数计数器。（可能是 2 个字节，我不知道。
- 每当构造一个对象时，它的计数器从 1 开始。
- 当一个对象作为参数发送到函数时，它的计数器会增加。
- 当一个对象到达不再在函数中使用的点时（可能是范围的最后），它的计数器会递减。
- 当对象的计数器达到零时，它将被删除，因为在代码中没有任何位置引用它。
是否存在计数器出现故障的边缘情况？有什么缺点，优点是什么？
预先感谢您的协助。