这是由于固态硬盘内部存在OP预留空间。
512GB固态硬盘的格式化后实际可用容量为476.6GB。
出现标称容量和格式化容量差异的根本原因在于标称容量计数采用的是10进制，而格式化容量计数采用的2进制。标称容量的1GB=1，000，000，000B，而格式化容量的1GB=2的30次方=1，073，741，824B，这两者的比例为1，000，000，000/1，073，741，824=0.931，对于任何容量的硬盘，都可以用此比例计算格式化容量。对于512GB固态硬盘，格式化容量即为512GB*0.931=476.6GB。
