Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
将字符串转换为红色整数的推荐方法是什么?
我发现的一种方法是:
load "123" == 123
load从红色字符串中获取整数的最佳方法是什么?
load
load如果字符串来自未经验证的来源,那么以这种方式使用是否有任何危险?
目前,这是唯一的方法,因为to尚未采取行动。使用 是安全的load,因为它不进行任何类型的评估,并且构造语法支持非常基本(仅涵盖 none 和逻辑值)。
to
编辑:to现在可以从 v0.6.2 开始使用操作,因此to-integer "123"也可以使用。
to-integer "123"