3 ms·
If user is a string, then #toString() is a trivial method, will inline, and become a no-op.
by chrisseaton 5y ago
If user is a string, then #toString() is a trivial method, will inline, and become a no-op.
- alserio 5y agoHowever, if user happened be an user-defined User object it would be hard to guarantee that it could be inlined
- chrisseaton 5y agoYes