1.apt-get的时候,这两个版本有什么区别

php7就是php7软件本身,提供php脚本执行的运行时环境(runtime)。

php7-dev是用来开发php扩展的,提供一些用来开发、编译php7扩展程序的必要php组件,一般是一些php源码的头文件和依赖库。

如果需要通过源码方式安装一些php module,比如php7-mysql,gd等,就需要安装php7-dev,如果你需要的php扩展都可以通过apt-get直接安装,大可不必安装php7-dev。

2.安装之后 ,来查看这个包里面包含哪些文件

dpkg-query -L php7-dev

感觉像是PHP7是保证所有的目前还没发现bug的稳定版,PHP7-dev就是在7之后的开发者版本。