我用的是phpstudy本地windows环境，php7.2版本
1.下载redis
选择 Redis-x64-3.2.100.zip 下载，下载结束后解压。
在解压的文件夹中打开cmd窗口或者终端：
./redis-server
会出现redis的图形
这时候另外再开一个终端，原来的不要关闭：
./redis-cli -h 127.0.0.1 -p 6379
这时候就可以使用redis了。
不使用终端，鼠标双击 redis-server.exe 和 redis-cli.exe 也可以使用redis。
2.下载phpredis
这个地址找了很久才找到：
下载前先看看自己的 phpinfo()
注意php版本和 我的版本信息：
Architecture
x86
Zend Extension Build
API320170718,NTS,VC15
PHP Extension Build
API20170718,NTS,VC15
然后选择相对应的下载文件：
php_igbinary-3.1.6-7.2-nts-vc15-x86.zip
php_redis-5.3.1-7.2-nts-vc15-x86.zip
下载好后解压，将php_redis.dll和php_igbinary.dll拷贝至php的ext目录下。
修改php.ini文件，加入：
; php_redis
extension=php_igbinary.dll
extension=php_redis.dll
重启php，查看phpinfo()中有没有redis的信息。
3.使用php代码连接redis测试（别忘了打开redis-server.exe）
<?php
$redis = new Redis();
$redis->connect('127.0.0.1', 6379);
$redis->set("test", "123123");
echo $redis->get("test");
?>
