php代码:
<?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; } }