字符串中变量替换的方法

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

回复讨论(解决方案)

我查了一下，说php只处理在双引号字符串中的解析， 也就是说我从数据库里取出来的东西不一定当做是字符串是吗？

 "a=".$a;           这样?

 "a=".$a;           这样?

为什么要在数据库中存变量，你的例子说明直接存a字段值为12345，echo $a['a'];不是更好

为什么要在数据库中存变量，你的例子说明直接存a字段值为12345，echo $a['a'];不是更好

用Eval来实现。

$str = 12345;
eval("\$s = \"a=$str\";");
echo $s;

用Eval来实现。

$str = 12345;
eval("\$s = \"a=$str\";");
echo $s;