字符串中变量轮换的方法

字符串中变量替换的方法
我想做在字符串中替换变量，比如：
$a = "12345";
echo "a=$a"; 就会打印出 a = 12345;
这个是我想要的结果。但是现在有个问题，就是我把a=$a这个字符串存在数据库里后再取出来，同样的语句打印出来的就是
a=$a，我想问一下，如果我仍然想实现上边的效果应该怎么做？
------解决方案--------------------
用Eval来实现。
------解决方案--------------------
$str = 12345;
eval("$s = "a=$str";");
echo $s;