File size

[harakim]

On Monday, 21 August 2023 at 11:05:36 UTC, FeepingCreature wrote:
> Can you print some of the wrong sizes? D's DirEntry iteration 
> code just calls `FindFirstFileW`/`FindNextFileW`, so this 
> *shouldn't* be a D-specific issue, and it should be possible to 
> reproduce this in C.

Thanks for the suggestion. I was working on getting the list for 
you when I decided to first try and reproduce this on Linux. I 
was not able to do so. Then I opened the Linux File Explorer and 
went to one of the files. There were two files by that name, with 
names differing only by case.

In windows, I only saw one, because Windows Explorer only 
supports one file with an identical case-insensitive name per 
directory. Unsurprisingly, that is also the one that was selected 
by getSize(filename). The underlying windows functions must 
ignore case as well and select the same way as Explorer (which 
makes sense). That explains why Windows Explorer reported the 
same size as getsize(name) in every case, while DirEntry.size 
would match for the file with the same case as windows recognized 
and not for the file with a different case. I was able to get 
into this state because I copied the files (merged directories) 
in Linux.

It was interesting to look into. It seems everything is working 
as designed. It shouldn't be an issue for me going forward either 
as I move more and more towards Linux.