- <?php
- /**
- * Created by PhpStorm.
- * User: zerodeng
- * Date: 15-5-12
- * Time: 下午3:09
- */
- class session {
- const SESSION_STARTED = TRUE;
- const SESSION_NOT_STARTED = FALSE;
- private $session_state = self::SESSION_NOT_STARTED;
- private static $instance;
- public static function get_instance(){
- if(!isset(self::$instance)){
- self::$instance = new self;
- }
- self::$instance->start_session();
- return self::$instance;
- }
- public function start_session(){
- if($this->session_state == self::SESSION_NOT_STARTED){
- $this->session_state = session_start();
- }
- return $this->session_state;
- }
- public function __set($name,$value){
- $_SESSION[$name] = $value;
- }
- public function __get($name){
- if(isset($_SESSION[$name])){
- return $_SESSION[$name];
- }
- }
- public function __isset($name){
- return isset($_SESSION[$name]);
- }
- public function __unsset($name){
- unset($_SESSION[$name]);
- }
- public function destroy(){
- if($this->session_state == self::SESSION_STARTED){
- $this->session_state = !session_destroy();
- unset($_SESSION);
- return !$this->session_state;
- }
- return false;
- }
- }
- //该片段来自于http://www.codesnippet.cn/detail/1609201513692.html
来源: http://www.codesnippet.cn/detail/1609201513692.html