如何从Redis到php变量获取值？

Question

这是我的源代码。我想从redis到$ check变量获取username的值吗？和iam初学者学习php＆redis。

$username = $_POST['username'];
$redis = new Redis(); 
$redis->connect('127.0.0.1', 6379);
$redis->set( $username , 1);
$redis->exists( $username ); 
$check = $redis->get( $username );