🌈 搜索
📅  最后修改于: 2022-03-11 14:54:08.476000             🧑  作者: Mango
$num = "3.14"; $int = (int)$num;