php给字符串加上双引号,PHP将字符串用双引号引起来

I'm attempting to wrap a user-inputted string in double quotes for output but I want to make sure I don't end up with double double quotes on either side of the string. For example, if a user posts

"Hello"

I don't want to turn it into

""Hello""

I can do this fairly easily using the code below, however I'm concerned that this may get slow if I'm looping through lots of strings.

$string = '"'.trim($string,'"').'"';

If anyone has a better way of doing this, that'd be great. Equally, if anybody can confirm that my way is fine, I'll be happy.

Thanks

解决方案

This is exactly how I would solve this problem. It's only worth worrying about the code being slow if you have a problem with the application being slow, and you can trace it down to the trim statements.

A well known programming quote is "Premature Optimisation is the root of all evil" - see the wikipedia article linked for more on this.