补一个牙洞要多长时间

补一个牙洞的时间取决于洞的大小和位置，以及所采用的修复方法。通常来说，牙洞修复需要一至两个小时的时间。术后可能会感觉麻木，咀嚼食物时也可能有不同程度的不适。

如果是常见的牙洞修复，步骤通常包括：
1. 清洁洞附近的牙齿和龈（牙龈）组织。
2. 使用药物麻醉牙周组织以及牙洞附近的牙齿。
3. 使用牙钻或其他工具清除坏死组织、蛀牙等。
4. 填充牙洞。填充材料通常包括树脂复合材料或金属银（汞）合金。
5. 确保填充材料与牙齿的形状和咬合相匹配。
6. 最后，修复的牙齿需要进行调整和抛光，以确保舒适和自然的外观。

需要注意的是，有时候补牙需要多次的诊疗过程。首次诊疗主要是清除蛀牙组织，临时填充牙洞，等待牙齿康复，恢复健康后再进行最终的确定型修复。

总体而言，牙洞补填是一个相对简单的牙科过程，通常可以在一次或数次诊疗的情况下完成。具体情况还需根据牙洞的特点和牙医的建议来决定。