php - isset() 的快捷方式和赋值

Question

有没有一种快捷方式可以将$_GET['values']赋值给变量？

我现在和其他人一样:

if(isset($_GET['type'],$_GET['case'])
   $type = $_GET['type'];
   $case = $_GET['case'];

是否有更简洁的方法来执行此操作，而不是单独执行以下操作。

 $type = $_GET['type'];
 $case = $_GET['case'];

Answer 1

http://docs.php.net/extract

我认为您正在寻找extract 函数。


提取物($_GET)；//现在，所有函数都在当前符号表中