那肯定的。
实际上在没有分区之前,原硬盘的容量也不可能是是512G。
因为硬盘厂商采用的是“1000”进制,而电脑系统采用的是1024进制,而512GB硬盘出厂的容量是512000000000B,按照1024进制换算,约等于475.83GB,所以512GB的硬盘分区后,加起来不是512GB空间是正常现象。