I need to make a copy of an existing .txt file and save it under a different name. The original file needs to be preserved so a simple "rename" can't do the trick. I've been searching on the web and the only way I found was to read the existing file into some sort of a data structure, e.g. vector<string>, then dump the whole thing into a new .txt file.
I'm a bit concerned that the files are pretty big so is there a better way of doing this, please? Many thanks.