字符串中变量替换的方法
我想做在字符串中替换变量，比如：
$a = "12345";
echo "a=$a"; 就会打印出 a = 12345;
这个是我想要的结果。但是现在有个问题，就是我把a=$a这个字符串存在数据库里后再取出来，同样的语句打印出来的就是
a=$a，我想问一下，如果我仍然想实现上边的效果应该怎么做？
------解决方案--------------------
用Eval来实现。
------解决方案--------------------
$str = 12345;
eval("\$s = \"a=$str\";");
echo $s;
![[Web front-end] Node.js quick start](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
