int型→sｔｒｉｎｇ型のキャストについて

[hokada]

私は、xxx & ""を使いますね。

ちなみに、formatよりこっちの方が相当高速です。ただ、コードが汚なくなるかもしれないですが・・。

Code:

def xxx:int = 123
def s1 = xxx & ""
def s2 = {format "%d", xxx}
def s3 = {String xxx}
|| s1, s2, s3は一緒の文字列。