1
00:00:00,000 --> 00:00:02,000
[Powered by Google Translate] [PHP Sessies]

2
00:00:02,000 --> 00:00:04,000
[Tommy MacWilliam, Harvard University]

3
00:00:04,000 --> 00:00:07,000
[Dit is CS50.] [CS50.TV]

4
00:00:07,000 --> 00:00:10,920
Sessies in PHP kan worden gebruikt voor het implementeren functionaliteit,

5
00:00:10,920 --> 00:00:13,440
zoals logins, in uw web app.

6
00:00:13,440 --> 00:00:16,920
PHP sessies kunt u informatie associëren

7
00:00:16,920 --> 00:00:19,680
met hele sessie van de gebruiker

8
00:00:19,680 --> 00:00:22,290
in plaats van gewoon een enkele pagina.

9
00:00:22,290 --> 00:00:27,330
Dus dat betekent dat als de gebruiker verschillende PHP-pagina's van uw website bezoekt,

10
00:00:27,330 --> 00:00:30,630
alle informatie in de sessie zal blijven bestaan.

11
00:00:30,630 --> 00:00:34,770
Dat betekent dat gegevens die in de zitting door een pagina

12
00:00:34,770 --> 00:00:37,580
kan later worden geopend door een andere pagina.

13
00:00:37,580 --> 00:00:40,080
Het opslaan van informatie in een sessie is eenvoudig,

14
00:00:40,080 --> 00:00:48,790
en dat doen we via het dollarteken, onderstrepen, hoofdstad sessie variabele.

15
00:00:48,790 --> 00:00:52,620
Dollarteken, underscore, sessie-net als dollarteken, onderstrepen, GET

16
00:00:52,620 --> 00:00:54,710
en dollarteken, underscore, POST-

17
00:00:54,710 --> 00:00:58,690
is een associatieve array die bestaat uit de belangrijkste waarde paren.

18
00:00:58,690 --> 00:01:07,980
Dus we kunnen syntax-achtige dollarteken gebruiken, onderstrepen, sessie,

19
00:01:07,980 --> 00:01:16,000
bracket, citaat, foo, citaat, beugel, evenaart, citaat, bar, citaat-

20
00:01:16,000 --> 00:01:20,440
op de waarde "bar" op te slaan in de "foo".

21
00:01:20,440 --> 00:01:24,030
Echter, voordat we kunnen schrijven of lezen uit de sessie array,

22
00:01:24,030 --> 00:01:26,770
we moeten een speciale functie-bellen

23
00:01:26,770 --> 00:01:34,690
sessie, onderstrepen, start, () -

24
00:01:34,690 --> 00:01:37,060
en dit zal de sessie initialiseren.

25
00:01:37,060 --> 00:01:39,850
Dus laten we eens kijken naar een voorbeeld.

26
00:01:39,850 --> 00:01:46,570
Onze eerste bladzijde hello.php gebruikt de sessie output bepaalde gegevens aan de gebruiker.

27
00:01:46,570 --> 00:01:53,920
Vergeet niet, we moeten session_start gebruiken voordat we elke sessie toegang tot de gegevens.

28
00:01:53,920 --> 00:01:59,010
Nu zijn we met behulp van PHP's isset om te bepalen of een sleutel bestaat

29
00:01:59,010 --> 00:02:03,230
in de $ _SESSION associatieve array.

30
00:02:03,230 --> 00:02:07,250
Als die sleutel bestaat, dat betekent dat de gebruiker zich heeft aangemeld,

31
00:02:07,250 --> 00:02:10,410
dus we zullen de naam van de gebruiker weer te geven.

32
00:02:10,410 --> 00:02:14,110
Als die sleutel niet is ingesteld, dat betekent dat de gebruiker heeft nog niet ingelogd,

33
00:02:14,110 --> 00:02:17,880
dus we zullen een link naar login.php geven.

34
00:02:17,880 --> 00:02:21,380
Dus laten we eens een kijkje nemen op login.php.

35
00:02:21,380 --> 00:02:26,260
Hier beneden hebben we een HTML-formulier met een enkele input.

36
00:02:26,260 --> 00:02:32,720
Actie attribuut van het formulier is $ _SERVER ['PHP_SELF'],

37
00:02:32,720 --> 00:02:37,440
en dit betekent gewoon dat we willen dat de vorm aan het huidige bestand te worden ingediend,

38
00:02:37,440 --> 00:02:41,040
die in dit geval is login.php.

39
00:02:41,040 --> 00:02:43,010
Dus laten we terug naar de top van dit bestand gaan.

40
00:02:43,010 --> 00:02:50,100
Als de gebruiker het formulier ingediend, toen $ _POST ['naam'] moet worden ingesteld.

41
00:02:50,100 --> 00:02:53,750
Voor meer informatie over HTML-formulieren en post,

42
00:02:53,750 --> 00:02:56,510
kijk op de PHP Web Development video.

43
00:02:56,510 --> 00:02:59,330
In het geval dat de gebruiker wel te weten,

44
00:02:59,330 --> 00:03:03,970
willen we de waarde die ze getypt in in de sessie te schrijven.

45
00:03:03,970 --> 00:03:08,540
Nu kunnen we de gebruiker om hello.php omleiden.

46
00:03:08,540 --> 00:03:11,800
Omdat we invoer van de gebruiker opgeslagen in de sessie,

47
00:03:11,800 --> 00:03:18,240
hello.php staat zal zijn om toegang te krijgen tot de waarde die is ingesteld in login.php.

48
00:03:18,240 --> 00:03:21,010
Dus laten we dit zien in een webbrowser.

49
00:03:21,010 --> 00:03:27,520
Eerst zullen we navigeren naar http://localhost/hello.php.

50
00:03:27,520 --> 00:03:30,220
We kunnen hier zien dat we nog niet hebben aangemeld,

51
00:03:30,220 --> 00:03:35,040
dus laten we op de login-link, die ons zal leiden naar login.php.

52
00:03:35,040 --> 00:03:41,760
Oke, ik zal het type in mijn naam, die vervolgens zal worden opgeslagen in de sessie.

53
00:03:41,760 --> 00:03:48,950
Geweldig! Nu kunnen we mijn inbreng zien van login.php op hello.php via de sessie.

54
00:03:48,950 --> 00:03:52,270
Dus, hoe zit het met het loggen van de gebruiker uit?

55
00:03:52,270 --> 00:03:58,510
Nou, om de gebruiker te melden, we gewoon opgeslagen en een waarde in naam sessie.

56
00:03:58,510 --> 00:04:03,040
Dus om de gebruiker uit te loggen, we moeten gewoon die naam sleutel te verwijderen

57
00:04:03,040 --> 00:04:05,040
uit de sessie array.

58
00:04:05,040 --> 00:04:09,130
Dus laten we eens een kijkje nemen op deze laatste bestand, logout.php.

59
00:04:09,130 --> 00:04:12,080
Nogmaals, we moeten session_start bellen ()

60
00:04:12,080 --> 00:04:15,260
voordat we iets sessie gerelateerd kunnen doen.

61
00:04:15,260 --> 00:04:19,240
Nu kunnen we gewoon session_destroy noemen (),

62
00:04:19,240 --> 00:04:22,460
die zorg zal dragen voor het wegwerken van alle gegevens in de sessie

63
00:04:22,460 --> 00:04:26,790
en leid de gebruiker terug naar hello.php.

64
00:04:26,790 --> 00:04:30,700
Dus als ik klik op de link Log Out,

65
00:04:30,700 --> 00:04:34,690
kunnen we zien dat de server is vergeten wie ik ben,

66
00:04:34,690 --> 00:04:36,970
en ik ben niet meer ingelogd

67
00:04:36,970 --> 00:04:39,910
Dus wat is hier aan de hand onder de motorkap?

68
00:04:39,910 --> 00:04:42,250
Om het gedrag dat we net zagen komen,

69
00:04:42,250 --> 00:04:44,760
onze server moet 2 dingen doen.

70
00:04:44,760 --> 00:04:48,980
Ten eerste moet de server of andere manier de gegevens in de sessie opgeslagen.

71
00:04:48,980 --> 00:04:51,910
De verschillende PHP-bestanden die een website bestaan

72
00:04:51,910 --> 00:04:56,500
worden uitgevoerd als afzonderlijke aanroepen van de PHP-interpreter

73
00:04:56,500 --> 00:05:00,550
zodat lokale variabele kan niet gedeeld worden tussen hen.

74
00:05:00,550 --> 00:05:04,030
In plaats daarvan moet de server onze sessie op te slaan

75
00:05:04,030 --> 00:05:08,440
in een plaats die meerdere. php-bestanden kunt openen.

76
00:05:08,440 --> 00:05:13,940
Ten tweede, de server nodig heeft om de sessie gegevens aan alleen mijn sessie.

77
00:05:13,940 --> 00:05:15,940
Als ik inlog op Facebook,

78
00:05:15,940 --> 00:05:20,460
er zijn waarschijnlijk miljoenen andere mensen ook aangemeld bij Facebook tegelijk.

79
00:05:20,460 --> 00:05:24,200
Maar de server heeft een manier nodig associëren mijn gegevens

80
00:05:24,200 --> 00:05:28,340
met mijn huidige sessie en de gegevens van iemand anders met een andere sessie.

81
00:05:28,340 --> 00:05:32,380
Gelukkig, de auteurs van PHP dacht over dit alles voor ons,

82
00:05:32,380 --> 00:05:35,170
dus we hebben geen behoefte aan een van deze zelf te implementeren.

83
00:05:35,170 --> 00:05:39,540
Maar laten we eens kijken naar wat PHP doet standaard.

84
00:05:39,540 --> 00:05:44,070
Als ik naar een PHP-pagina met session_start voor de eerste keer,

85
00:05:44,070 --> 00:05:47,930
PHP zal een grote willekeurige waarde te genereren.

86
00:05:47,930 --> 00:05:53,970
Tot session_destroy heet-of ik geen PHP pagina's op die site te bezoeken voor een tijdje-

87
00:05:53,970 --> 00:05:59,050
dat willekeurige en waarschijnlijk unieke waarde zal geassocieerd worden met mij.

88
00:05:59,050 --> 00:06:02,780
Op die manier de server heeft een aantal manier van identificeren mijn sessie

89
00:06:02,780 --> 00:06:05,710
in tegenstelling tot iemand anders.

90
00:06:05,710 --> 00:06:08,780
We kunnen een kijkje nemen op de huidige sessie ID te nemen

91
00:06:08,780 --> 00:06:12,380
met behulp van de PHP functie, session_id.

92
00:06:12,380 --> 00:06:17,250
Hier zijn we gewoon uitvoeren van de waarde van onze sessie-id.

93
00:06:17,250 --> 00:06:20,580
Dus als we opnieuw in te loggen om het voorbeeld web app,

94
00:06:20,580 --> 00:06:25,530
en nu navigeren naar sessid.php,

95
00:06:25,530 --> 00:06:27,850
zullen we deze lange reeks tekens te zien,

96
00:06:27,850 --> 00:06:31,180
en dat is de huidige identifier voor mijn sessie,

97
00:06:31,180 --> 00:06:35,410
en dat is hoe de server is het bijhouden van wie ik ben.

98
00:06:35,410 --> 00:06:37,670
Oke, maar we hebben alleen opgelost helft van het probleem.

99
00:06:37,670 --> 00:06:40,910
Tuurlijk, de server heeft nu een manier van identificeren mij,

100
00:06:40,910 --> 00:06:46,060
maar als ik naar een andere pagina, moet de server die dezelfde identificatie hergebruiken

101
00:06:46,060 --> 00:06:48,910
in plaats van het genereren van een nieuwe.

102
00:06:48,910 --> 00:06:52,760
Vergeet niet, als ik verklaar een lokale variabele in foo.php

103
00:06:52,760 --> 00:06:55,190
en ga daarna naar bar.php,

104
00:06:55,190 --> 00:07:00,980
bar.php heeft geen manier om te weten wat er is gebeurd in foo.php.

105
00:07:00,980 --> 00:07:07,450
Dus de sessie uitvoering standaard php vereist dat de browser herinneren de server

106
00:07:07,450 --> 00:07:09,740
welke sessie ID te gebruiken.

107
00:07:09,740 --> 00:07:12,710
Dit wordt geïmplementeerd in de vorm van een cookie.

108
00:07:12,710 --> 00:07:15,370
Een cookie-naast het feit dat een heerlijke snack-

109
00:07:15,370 --> 00:07:18,630
is gewoon een klein tekstbestand op uw computer

110
00:07:18,630 --> 00:07:21,780
dat een server kan schrijven om via de webbrowser.

111
00:07:21,780 --> 00:07:27,300
Dus na PHP genereert mijn unieke sessie-id via session_start,

112
00:07:27,300 --> 00:07:34,210
het gaat om de webbrowser te vertellen dat identifier op te slaan in een lokaal tekstbestand of een cookie.

113
00:07:34,210 --> 00:07:38,490
Dan zal de browser bevatten die identificatie in elk verzoek

114
00:07:38,490 --> 00:07:40,780
dat maakt het naar de server.

115
00:07:40,780 --> 00:07:44,280
Dus echt, de webserver niet herinneren wie ik ben.

116
00:07:44,280 --> 00:07:48,780
In plaats daarvan wordt de webbrowser gewoon onthouden van de unieke identificatie

117
00:07:48,780 --> 00:07:52,730
dat werd gegenereerd door PHP en vervolgens voortdurend herinneren de server

118
00:07:52,730 --> 00:07:55,120
wat dat identifier is.

119
00:07:55,120 --> 00:08:00,760
Op die manier informatie zoals mijn gebruikersnaam wordt opgeslagen op de server niet mijn web browser.

120
00:08:00,760 --> 00:08:05,190
De browser gewoon vertelt de server waar PHP opgeslagen die informatie

121
00:08:05,190 --> 00:08:07,750
dus PHP kan halen.

122
00:08:07,750 --> 00:08:12,150
Dus dat roept de vraag op, waar PHP is eigenlijk het opslaan van deze informatie?

123
00:08:12,150 --> 00:08:14,910
Door gebrek, zal PHP uw sessie gegevens op te slaan

124
00:08:14,910 --> 00:08:19,540
in een bestand binnen van / tmp, of de 'temp' map.

125
00:08:19,540 --> 00:08:24,450
De naam van dat bestand zal de sessie-ID, zodat PHP kan bepalen

126
00:08:24,450 --> 00:08:28,620
welk bestand lezen en schrijven van alleen via de sessie-ID.

127
00:08:28,620 --> 00:08:32,280
Oke. Dus laten we het openstellen van het tabblad Netwerk in Chrome debugger

128
00:08:32,280 --> 00:08:34,890
via de sleutel icoon rechtsboven.

129
00:08:34,890 --> 00:08:38,409
Nu op naar weer hello.php.

130
00:08:38,409 --> 00:08:42,270
Laten we op het HTTP-verzoek naar hello.php

131
00:08:42,270 --> 00:08:44,680
en klik vervolgens op Headers.

132
00:08:44,680 --> 00:08:50,390
Hier kunnen we zien dat het cookie header bevat een sleutel genaamd PHPSESSID,

133
00:08:50,390 --> 00:08:55,980
of PHP sessie-ID met een waarde die dezelfde lange reeks zagen

134
00:08:55,980 --> 00:08:59,290
toen wij er waren sessid.php.

135
00:08:59,290 --> 00:09:04,660
Dit is hoe de browser herinnert de server welke sessie ID te gebruiken.

136
00:09:04,660 --> 00:09:08,180
Het is het op te nemen in een HTTP-header.

137
00:09:08,180 --> 00:09:10,500
Oke. Laten we terug naar de terminal.

138
00:09:10,500 --> 00:09:16,450
Laten we navigeren naar / tmp, waar PHP de sessie-informatie opslaat standaard.

139
00:09:16,450 --> 00:09:19,160
En ja hoor, de binnenkant van deze tijdelijke map,

140
00:09:19,160 --> 00:09:23,550
hier is een bestand dat precies dezelfde sessie-ID bevat.

141
00:09:23,550 --> 00:09:28,990
Als we openen dit bestand, kunnen we zien hoe PHP vertegenwoordigt mijn sessie op de schijf.

142
00:09:28,990 --> 00:09:32,870
Hier de string "Tommy" wordt opgeslagen voor de sleutel 'naam'

143
00:09:32,870 --> 00:09:35,750
dat is precies wat we verwacht hadden.

144
00:09:35,750 --> 00:09:38,850
En dat is een overzicht van de sessies in PHP.

145
00:09:38,850 --> 00:09:42,590
Wat we net zagen was alleen de standaard uitvoering van de sessies.

146
00:09:42,590 --> 00:09:45,600
In feite zijn veel websites te veranderen dit standaard gedrag

147
00:09:45,600 --> 00:09:48,280
PHP sessies efficiënter opslaan

148
00:09:48,280 --> 00:09:50,390
in het belang van het verbeteren van de prestaties.

149
00:09:50,390 --> 00:09:52,800
Mijn naam is Tommy, en dit is CS50.

150
00:09:52,800 --> 00:09:56,000
[CS50.TV]