<?php
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;
}
}
Stellungnahme:Der Inhalt dieses Artikels wird freiwillig von Internetnutzern beigesteuert und das Urheberrecht liegt beim ursprünglichen Autor. Diese Website übernimmt keine entsprechende rechtliche Verantwortung. Wenn Sie Inhalte finden, bei denen der Verdacht eines Plagiats oder einer Rechtsverletzung besteht, wenden Sie sich bitte an admin@php.cn