mysql 把int转换为varchar怎么实现呢？

Cast(fn_GetMaxIndex('TypeTreeId') as varchar(8))
我用的Cast方法，但是varchar下面出现了一条难看的小红线~~~
查了一下，貌似Cast转换的时候不能转换成varchar...
我该怎么实现呢？

mysql> select cast(1 as char(8));  
+--------------------+
| cast(1 as char(8)) |
+--------------------+
| 1 | 
+--------------------+
1 row in set (0.00 sec)