Type traits for function arguments and return types in C++.