恐怕不是這樣的

OS報告的75G是指用戶可用容量，也就是實際可容納的文件總容量。
80G是指硬盤總容量，其中5G被分區表/分配表/文件係統等消耗掉了，剩下75G可用，所以OS和硬盤廠家都沒錯。