refactor: Use trailing return types for void functions; Use auto to simplify type declarations in the touched files.

refactor: Use trailing return types for void functions; Use auto to simplify type declarations in the touched files. #800