-
Notifications
You must be signed in to change notification settings - Fork 4
/
121.txt
2865 lines (2218 loc) · 156 KB
/
121.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
[135]
[DFN[[RUBYB[素片識別子] [fragment identifier]]]]は、
[[URL]] の一部分であり、[[素片識別子]]''以外''の部分により識別される[[資源]]の一部分、
あるいは[[表現]]の一種を識別するために使われます。
[349] [[URL]] に現れる [CODE[#]] とそれ以降の部分が[[素片識別子]]です。
[EG[
[560] <https://www.example.com/foo#hello> では、 [CODE[#hello]]
の部分が[[素片識別子]]です。
]EG]
* 仕様書
[REFS[
- [318] '''[CITE@en-US[URL Standard]] ([TIME[2014-07-28 16:26:47 +09:00]] 版) <http://url.spec.whatwg.org/#concept-url-fragment>'''
- [320] [CITE@en-US[URL Standard]] ([TIME[2014-07-28 16:26:47 +09:00]] 版) <http://url.spec.whatwg.org/#writing>
- [319] [CITE@en-US[URL Standard]] ([TIME[2014-07-28 16:26:47 +09:00]] 版) <http://url.spec.whatwg.org/#fragment-state>
- [146] [CITE@en-GB-x-hixie[HTML Standard]] ([TIME[2014-09-02 22:35:05 +09:00]] 版) <http://www.whatwg.org/specs/web-apps/current-work/#the-indicated-part-of-the-document>
- [392] [CITE@en[Best Practices for Fragment Identifiers and Media Type Definitions]] ([TIME[2013-04-29 23:11:19 +09:00]] 版) <http://www.w3.org/2001/tag/doc/mimeTypesAndFragids>
-- [388] [CITE@en[Best Practices for Fragment Identifiers and Media Type Definitions]] ([TIME[2013-04-29 23:11:19 +09:00]] 版) <http://www.w3.org/2001/tag/doc/mimeTypesAndFragids#dfn-fragid>
-- [391] [CITE@en[Best Practices for Fragment Identifiers and Media Type Definitions]] ([TIME[2013-04-29 23:11:19 +09:00]] 版) <http://www.w3.org/2001/tag/doc/mimeTypesAndFragids#h-registrations>
-- [297] [CITE@en[Best Practices for Fragment Identifiers and Media Type Definitions]] ([TIME[2013-04-29 23:11:19 +09:00]] 版) <http://www.w3.org/2001/tag/doc/mimeTypesAndFragids#h-structures>
-- [358] [CITE@en[Best Practices for Fragment Identifiers and Media Type Definitions]] ([TIME[2013-04-29 23:11:19 +09:00]] 版) <http://www.w3.org/2001/tag/doc/mimeTypesAndFragids#authors>
- [467] [CITE@en[RFC 6838 - Media Type Specifications and Registration Procedures]] ([TIME[2015-02-11 00:35:08 +09:00]] 版) <http://tools.ietf.org/html/rfc6838#section-4.11>
- [257] [CITE@en[RFC 6839 - Additional Media Type Structured Syntax Suffixes]] ([TIME[2013-06-28 00:23:48 +09:00]] 版) <http://tools.ietf.org/html/rfc6839#section-3>
- [387] [CITE@en[RFC 7049 - Concise Binary Object Representation (CBOR)]] ([TIME[2014-12-30 16:14:51 +09:00]] 版) <http://tools.ietf.org/html/rfc7049#section-7.5>
- [592] [CITE@en[RFC 8091 - A Media Type Structured Syntax Suffix for JSON Text Sequences]] ([TIME[2017-02-23 00:58:07 +09:00]]) <https://tools.ietf.org/html/rfc8091#section-4>
]REFS]
* 呼称
[512] [[URL]] の現行仕様である [[URL Standard]] は、
「[DFN[[F[[RUBYB[[[素片]]]@en[fragment]]]]]]」と呼んでいます。
[513] 一般的には、単に[[素片]]だけでは文脈上意味が明確でないこともあるので、
[RUBYB[素片識別子]@en[fragment identifier]]や[RUBYB[URL素片]@en[URL fragment]]などと修飾して呼ぶこともあります。
[136] '''俗称''':
[[DOM]] では、[[素片識別子]]を表す[[属性名]]として「[CODE(DOMa)@en[[[hash]]]]」
を使っています。これは、[[素片識別子]]の先頭を表す[[文字]]「[CODE(char)[#]]」
の俗称に由来しています。
[137] 特に [[HTML]] [[文書]]の[[素片識別子]]については、「[[アンカー]]」や
「[[アンカー名]]」と呼ばれることもあります。
[389] >>388 は [DFN[[[fragid]]]] と呼んでいます。
[21] '''日本語訳''':
「[[素片識別子]]」 (fragment identifier) は、
[DFN[フラグメント識別子]]、[DFN[断片識別子]]などとも訳されます。
[462] [DFN[[[hash fragment]]]] と呼ぶこともあります [SRC[>>461]]。
[REFS[
- [461] [CITE[Yahoo OAuth 2.0 Guide - Yahoo Developer Network]] ([TIME[2015-03-06 08:55:41 +09:00]] 版) <https://developer.yahoo.com/oauth2/guide/>
]REFS]
* 意味
[503] [[URL]] (を表す[[データ構造]]) は、[[素片]]を持ちます。
[DFN[[RUBYB[[[素片]]]@en[fragment]]]]は、
[[null]] か、
[[URL]] の他の部分が識別する[[資源]]の更なる処理に使うことができるデータを保持する[[文字列]]のいずれかです
[SRC[>>318]]。
[516] [[URL]] 一般に対しては、[[素片識別子]]の意味はこのように抽象的なもので、
構文もほとんど何でもありになっています。 [[URL]] が表す[[資源]]の形式
([[MIME型]]) によっては構文上の制限を規定したり、意味や処理方法を規定したりしています。
[EG[
[517] 例えば [[HTML]] ([CODE(MIME)@en[[[text/html]]]]) では[[要素]]の
[CODE(HTMLa)@en[[[id]]]] [[属性値]]と一致するなら、その[[要素]]を表すと規定されています。
]EG]
[518] 歴史的には [[MIME型]]によって解釈が定められるというのが仕様書の「正式」
な[[素片識別子]]の意味でしたが、実際には徐々に意味が拡大し、
色々な用法が存在しています。
[FIG(list)[
- [519] [[資源]]の一部分の識別に使い、その構文と意味が [[MIME型]]により決まる場合
- [520] [[URL scheme]] に依存して構文と意味が決まる場合
- [521] [[資源]]の[[スクリプト]]の処理に使われる場合
- [522] [[資源]]についての情報を予め提示するために使われる場合
]FIG]
;; 詳細は後述。
* 構文
[504] [[素片]]は、0個[[以上]]の[[URL符号位置]]の列でなければ[['''なりません''']] [SRC[>>320]]。
;; [509] 定義上、最初の [CODE[#]] は[[素片]]の一部ではありません。
;; [510] [[空文字列]]でも構いません。長さの上限はありません。
;; [511] [[非ASCII文字]]が含まれることがあります。
[FIG(railroad)[
= [CODE[#]]
= *
== [[URL符号位置]]
]FIG]
[628] [[URL構文解析器]]は、[[素片識別子]]を[[正準形]]に変換します。
この時[[パーセント符号化]]では[[素片パーセント符号化集合]]が使われます。
* 文脈
[8] [[素片識別子]]は、 [[URL]] の一部として使うことができます。
[[素片識別子]]のみで構成される [[URL]] もあります (それを特に[[同文書参照]]ということがあります)。
** 素片識別子だけを使うプロトコル要素
[17] [[SMIL]] の [CODE(XMLa)[[[fragment]]]] 属性は、
[[HTML]] の [CODE(HTMLa)[[[name]]]] 属性や [CODE(HTMLa)[[[id]]]]
属性や、 [[XML]]
の素片識別子を使ってある資源の一部を識別するために使うことができます。
[18] [[XInclude]] の [CODE(XMLa)[[[xpointer]]]] 属性は、
[[XPointer]] を使って XML の一部を識別するために使うことができます。
[586] [[Web Annotation]] の [DFN[[CODE[FragmentSelector]]]]
も[[素片識別子]]の [CODE[#]] の後 ([CODE[#]] は含まない。)
を使っています [SRC[>>585]]。
[HISTORY[
[529] [[HTML]] の [CODE(HTMLa)@en[[[usemap]]]] [[属性値]]は、元々は [[URL]]
でした。現在では [CODE[#]] と [CODE(HTMLa)@en[[[name]]]]
[[属性値]]を指定するものと再定義されています。
]HISTORY]
[REFS[
- [585] [CITE@en[Web Annotation Data Model]] ([TIME[2017-02-24 02:14:26 +09:00]]) <https://w3c.github.io/web-annotation/model/wd2/#h-fragment-selector>
]REFS]
* 構文解析
[505] [[URL構文解析器]]は、最初の [CODE[#]] の後を[[素片]]として扱います。
基本的には、 [CODE[#]] よりも後に記述された[[文字列]]がそのまま[[素片]]となります。 [SRC[>>319]]
;; [[パーセント復号]]は行われません。
[506] [CODE[[[U+0000]]]]、[CODE[[[U+0009]]]]、[CODE[[[U+000A]]]]、[CODE[[[U+000D]]]]
は、無視されます [SRC[>>319]]。
[507] [CODE[#]] がなければ、[[素片]]は [[null]] です [SRC[>>318, >>319]]。
[508] 次の場合は、[[構文解析誤り]]です。
[FIG(list)[
- [[URL符号位置]]以外が含まれる場合
- [CODE[%]] の後に[[16進数]]が2桁指定されたいない場合
]FIG]
* 処理
[FIG(short list)[
- [[素片識別子へのスクロール]]
]FIG]
** 誤り
[414] [[素片識別子]]は、それが[[文書]]中の何らかの部分を示す場合の他に、
構文的に誤りがある場合、構文的に誤ってはいないが指すものが存在しない場合があります。 [SRC[>>391]]
[415] しかし、そのような誤りであっても、
[FIG(list)[
- [416] [[文書]]中の何かではなく、[[文書]]が説明する何かを表す場合 ([[Semantic Web]] での用法)
- [417] [[活性内容]]が解釈する場合
- [418] [[内容折衝]]の他の[[表現]]では意味を持つ場合
]FIG]
... のように正当な理由があることもあります [SRC[>>391]]。
;; [419] >>418 が正当な理由と言えるのかは怪しいですが...
[420] ですから、[[MIME型]]の[[素片識別子]]の規定は構文の制約を設けるものではなく、
認識できる[[素片識別子]]をどう解釈するかを決めるものとなります [SRC[>>391]]。
解決できない[[素片識別子]]を与えられた[[応用]]の動作は、[[実装定義]]とするべきです
[SRC[>>391]]。
;; [421] >>415 のような理由があるから[[実装定義]]だと >>391 は言っていますが、
そうであるからこそ[[実装定義]]ではなく処理モデルを明確に決めないと[[相互運用性]]に問題が出る気がしますが...
* API
[FIG(short list)[
- [CODE(JS)@en[[[location.hash]]]]
- [CODE(DOMe)@en[[[hashchange]]]]
- [CODE(CSS)@en[[[:target]]]]
]FIG]
* 素片識別子と URI scheme
[23] URI の素片識別子と scheme 以外の部分の構文は、
[WEAK[(URI 全体の規定の範囲内で)]]
使用している [[URI scheme]] によって規定されています。
古くは素片識別子も URI scheme に依存すると考えられたこともあり、
古い URI scheme の中には素片識別子の扱いについて触れているものもあります。
しかし、現在では素片識別子は URI によって識別される[[資源]]の性質に依存するものであり、
'''URI scheme とは独立'''であると考えられています。
[142] [[URI scheme]] によっては、歴史的、その他の理由により、
構文的に[[素片識別子]]と矛盾する規定・実装がなされていることがあります。
詳しくは >>95 を参照してください。
[480] [CODE(URI)@en[[[ws:]]]]/[CODE(URI)@en[[[wss:]]]] では[[素片識別子]]が禁止されています
[SRC[>>479]]。
[REFS[
- [479] [CITE@en[RFC 6455 - The WebSocket Protocol]] ([TIME[2015-03-11 20:42:50 +09:00]] 版) <http://tools.ietf.org/html/rfc6455#section-3>
]REFS]
* 文書形式と素片識別子
** 素片識別子と MIME 型
[468] [[素片識別子]]の解釈は、当該 [[URL]] を[[解決]]して得られる[[文書]]の種別によって異なります。
[469] [[MIME型]]に関する[[IANA登録簿]]への登録の際には、
当該[[MIME型]]における[[素片識別子]]の解釈を規定できます [SRC[>>467]]。
;; [470] しかしこれは義務ではなく、規定していない[[MIME型]]が大多数です。
[24] URI の仕様書によれば、素片識別子の構文はその URI
参照による[[取出し]]行為
[WEAK[([[RDF]] のように仮想的な[Q[取出し]]行為も含まれます。)]]
の結果得られる[[資源]]の[[媒体型]]に依存するとされています。
[Q[取出し]]が行われなければ、素片識別子の構文と解釈はできず、
実質無制約になります [SRC[WebArch 3.2.1]]。
[25] URI 参照によって識別される資源は[[内容折衝]]の対象になっているかもしれません。
そうでなくても、一つの URI 参照に対応する資源を取出す手段
[WEAK[(仮想的なものかもしれません。)]] が複数あれば、
それぞれによって違うものが取出されるかもしれません。
動的表現 (>>26) をも一つの URI 参照に対応する[[資源]]の[[表現]]の一種と考えることもできます。
取出された資源の媒体型が異なると、同じ素片識別子であっても異なるものを指し得ます。
あるいは、一方に対しては構文や意味が定義されていなかったり正しくなかったりすることも起こり得ます。
実際に識別されるものが意味的に異なっている場合は、
鯖の設定の誤りと考えられます。構文や意味が未定義であるのは、
すべての媒体型が同じ機能を提供していないのですから仕方が無いことです。
[SRC[WebArch 3.2.2]]
このような問題をできるだけ避けるために、
各媒体型で素片識別子の構文や意味論は大きく変えてしまわないことが好ましいと考えられています。
[HISTORY[
[29] 素片識別子を媒体型から独立したものにしようという提案もありますが、
今のところ広く受け入れられてはいません。
[REFS[
- [561] [CITE[A generic fragment identifier syntax]]
<http://www.rddl.org/fragment-syntax>,
<urn:ietf:id:draft-borden-frag-00>
]REFS]
]HISTORY]
[96]
[[URI]]が単なる所在指示子としてだけではなく、[[識別子]]として重要性を帯びてからは、
[[素片識別子]]もが[[取出し]]を伴わない文脈で用いられるようになりました。
仕様の側もそれを容認すると明記しています。
構文と[[素片識別子]]単体での意味も事実上不定になります。
(>>24, [WebArch], [RFC 3986])
[97]
この問題に遭遇した[[RDF]]は、
(当時の[[URI]]仕様である[[RFC 2396]]との整合性のため)
[Q[[[RDF URI参照]]における[[素片識別子]]は、[CODE(MIME)@en[[[application/rdf+xml]]]]で解釈することとする]]とのやや無理のある規定を設けています。
[104] '''[CODE(URI)@en[xmpp:]] URI scheme''':
[CODE(URI)@en[[[xmpp]]:]] [[URI scheme]]
では、 [[XMPP]] においては[[資源]]が[[表現]]を持たないので、
[[媒体型]]もなく、 [[RFC 3986]] にある通り実質無制約になり、
[[XMPP]] [[応用]]は好きに使って良い、とされています。
[SRC@en[[[RFC 4622]] 2.6, >>543]]
[REFS[
- [543] [CITE@en[RFC 5122 - Internationalized Resource Identifiers (IRIs) and Uniform Resource Identifiers (URIs) for the Extensible Messaging and Presence Protocol (XMPP)]] ([TIME[2015-07-26 16:55:44 +09:00]] 版) <https://tools.ietf.org/html/rfc5122#section-2.6>
]REFS]
[98]
[[名前空間URI]]では[[局所名]]と結合した時に[[素片識別子]]付き[[URI]]となることを期待して[CODE(URI)[#]]で終わらせた[[URI]]を使うことがよくありますが、
これも[[取出し]]て得られる[[表現]]とは (あったとしても)
なんら関係がなく、単に形式的なものです。
[390] [[MIME型]]の [[IANA登録簿]]への登録には、[[素片識別子]]の情報を含められることになっています。
しかし登録時期が古い [[MIME型]]のほとんどには、[[素片識別子]]の情報が含まれていません。
[393] [[MIME型]]の[[素片識別子]]の解釈を定義するに当っては、
次の目標を念頭に調整しなければならない [SRC[>>391]] とされています。
[FIG(list)[
- [394] 特定の[[MIME型]]に対応している[[応用]]による処理と、
[[メタ書式]]がある場合にはその[[共通処理器]]による処理とが一貫した形にできること。
- [395] 同じ[[資源]]の[[表現]]で使う可能性のある他の [[MIME型]]の[[文書]]との[[内容折衝]]を促進すること。
- [396] [[スクリプト]]に対応している場合、[[著者]]が適宜[[応用]]の状態を[[素片識別子]]に[[符号化]]できること。
]FIG]
[483] [[IETF]] は [[MIME型]]によって[[素片識別子]]の解釈が決まると言っていますが、
実際には [[MIME型]]そのものによらないで決まる場合もあります。
[FIG(list)[
- [484] [[プロトコル]]上で [[MIME型]]が現れない場合。例えば
[[ファイルシステム]]上の[[HTML文書]]は [[MIME型]]によって識別されないかもしれませんが、
[[素片識別子]]は使われます。
-- [485] もっともこのケースは、仮想の [[MIME型]]が [CODE(MIME)@en[[[text/html]]]]
と ([[拡張子]]などに基づき) 指定されたと考えることができます。 [[fetch]]
などはそのような立場をとっています。
- [486] データ形式特有の [[MIME型]]が定義されていない場合。
専用の [[MIME型]]のない [[XML]] [[マーク付け言語]]で、独自の[[素片識別子]]を使うものも含みます。
- [487] [[URL scheme]] や利用される文脈によって[[素片識別子]]が解釈される場合。
[CODE(URI)@en[[[irc:]]]] [[URL]] などが該当します。
- [488] [[URL]] が不透明な識別子として使われ、[[素片識別子]]が解釈されることが無い場合。
[[XML名前空間]]や [[RDF]] の [[URL]] などが該当します。
]FIG]
** 構造化構文と素片識別子
[403] [[XML]] や [[JSON]] のような[[構造化構文]]に関しては、
[[XPointer]] や [[JSON Pointer]] のように構文一般に適用される[[素片識別子]]の仕組みもありますし、
特定の[[応用]]で必要な[[素片識別子]]を規定することもあります。
[471] 一般に[[MIME型]]は意味的に似た[[MIME型]]が使っている[[素片識別子]]の形式を採用することを[RUBYB[推奨]@en[encourage]]されています [SRC[>>467]]。
[472] 特に登録された[[構造化構文接尾辞]]を使う場合には、
[[構造化構文接尾辞]]における[[素片識別子]]の規則に従わなければ[['''なりません''']]
[SRC[>>467]]。
[397] [[構造化構文]]の場合には、特定の[[MIME型]]の知識を持った[[応用]]と、
そうでない[[共通処理器]]とで[[素片識別子]]は同じものを識別する
[WEAK[(ように[[素片識別子]]の構文と意味が規定される)]] べきです [SRC[>>391]]。
;; [404] 特定の[[応用]]のみの[[素片識別子]]の構文と意味を規定してはいけないということではなく、
共通の構文と意味に矛盾しない形で拡張するべきだということです。
[398] これは[[構造化構文]]のみならず、 [CODE(MIME)@en[[[text/*]]]] や
[CODE(MIME)@en[[[image/*]]]] のような[[最上位型]]など、
[[共通処理器]]によって処理されるもの一般に適用される [SRC[>>391]] とされています。
[402] [[構造化構文]]の[[共通処理器]]による処理と[[最上位型]]の[[共通処理器]]による処理とが両方適用される場合、
両者で[[素片識別子]]の処理が衝突してしまうことが無いように規定するべきですが、
それができない場合には[[構造化構文接尾辞]]を使わないべきです [SRC[>>391]]。
[256] [[構造化構文接尾辞]] ([CODE(MIME)@en[[[+xml]]]] や [CODE(MIME)@en[[[+json]]]] のような接尾辞)
は [[IANA]] 登録時に[[素片識別子]]についての欄があります。
[FIG(list)[
- [[RFC 6839]] で登録されている接尾辞
([CODE(MIME)@en[[[+json]]]]、[CODE(MIME)@en[[[+ber]]]]、[CODE(MIME)@en[[[+der]]]]、
[CODE(MIME)@en[[[+fastinfoset]]]]、[CODE(MIME)@en[[[+wbxml]]]]、[CODE(MIME)@en[[[+zip]]]])
[SRC[>>257]]
- [[RFC 7049]] の [CODE(MIME)@en[[[+cbor]]]] [SRC[>>387]]
- [[RFC 8091]] の [CODE(MIME)@en[+json-seq]] [SRC[>>592]]
- [CODE[+tlv]]
]FIG]
... に関しては、次のように規定があります。
[FIG(steps)[
= [258] [[構造化構文接尾辞]]の[[素片識別子]]の構文と意味は、
相当する単体の [[MIME型]] ([CODE[+tlv]] の場合、 [CODE[application/vnd.oma.lwm2m+tlv]])
の[[素片識別子]]の構文と意味と同じとする
= [259] 所属する[[MIME型]]の[[素片識別子]]の構文と意味は、
== [260] [[構造化構文接尾辞]]で定義されている場合、
=== [573] それにより解決できる場合は、それによる
=== [261] 解決できない場合は、[[MIME型]]による
== [262] [[構造化構文接尾辞]]で定義されていない場合は、[[MIME型]]による
]FIG]
[EG[
[574] この規定は、 [CODE[+tlv]] の [CODE[application/vnd.oma.lwm2m+tlv]]
のように、参照先で[[素片識別子]]の構文と意味が規定されていない場合にも存在しています。
実質的に[[MIME型]]によると言っているのと同じなのですが、将来の改訂で[[構造化構文接尾辞]]全体の[[素片識別子]]を追加できる余地を最初から設けておくという趣旨なのでしょうか。
]EG]
** 内部参照に使う URI 参照としての素片識別子
[50] 同じ[[文書]]内で参照を行うためには [[SGML]]
の [CODE(SGML)[[[IDREF]]]]
のように専用の機構を用意しているものもありますが、
[[URI参照]]や [[IRI参照]]を採用して外部への参照と兼用していることもよくあります。
その場合、当然[[素片識別子]]が使われることになります。
素片識別子の構文と意味は、
その参照先の[[資源]]の[[表現]]の[[媒体型]]によります (>>24)。ですから、
そのような使い方をする文書形式では[[素片識別子]]の構文と意味が陽に定義されている必要があります。
[51] ところが、特に [[XML]] 系の文書形式の仕様で、 [CODE(XML)[ID]]
属性を参照先として使っている場合には自明なためか明確に規定されることがあまりありません。
[[XML]] の場合、[[名前空間]]を使って複数の[[語彙]]を混在させられるのですから、
[[素片識別子]]の解釈が異なる[[語彙]]が共存するとき、どう処理されるのかが問題となります
(>>538)。そうでなくても、 [[XML]] には多くの文脈でそれぞれの [CODE(XML)[ID]]
の定義が用意されており、どれに従うべきかを本来は明確に規定しなければならないはずですが、
おざなりにされています。
;; [CODE[ID]] も参照。
[575] また、[[基底URL]]を指定できる時、内部参照のつもりの[[素片識別子]]のみの [[URL]]
をどう解釈するかが問題となることもあります。
;; [[同文書参照]]も参照。
** MIME 型のない形式と素片識別子
[52] [[HTTP]] や [[MIME]] での利用を想定していない (他のプロトコルを使う、プロトコルで転送せずメモリー上のみ存在するなど。)、
[[マーク付け言語]]の汎用の[[MIME型]] ([CODE(MIME)@en[[[text/xml]]]] など) を使う、
といったような理由で専用の [[MIME型]]を持たない文書形式も存在します。
中には、にも関わらず、独自の[[素片識別子]]を (明示的または暗示的に) 規定するものもあります。
** 複合文書との関係
[538] [[XML]] のように複数の[[語彙]]を組み合わせることができる[[マーク付け言語]]では、
それぞれの[[語彙]]が[[素片識別子]]の解釈を持っている時、その組み合わせで[[素片識別子]]をどう解釈するべきかが問題となります。
[539] [[XML]] としてはその解決方法を持っておらず、
本来なら[[語彙]]を組み合わせた[[マーク付け言語]]の側で明確に規定する必要があるのですが、
実際には曖昧なままにされていることがほとんどです。
[540] 特に [[XML署名]] (>>49) や [[XML Events]] (>>53)
のように他の[[語彙]]と組み合わせることが想定された[[語彙]]では問題となります。
[[RDF/XML]] (>>13) も、他の[[語彙]]と組み合わせた時に意味が衝突する例です。
[EG[
[53]
例: [[XML事象]]は [CODE(XMLa)[[[handler]]]] 属性などで
[[URI参照]]を使っていますが、
それが[[同文書参照]]である時の意味を特に規定していません。
意味的には [CODE(XML)[[[IDREF]]]] として扱われることが期待されていますが、
[[XML事象]]は[[ホスト言語]]と組合せて使うものですから、
その組合せの[[プロファイル]]でこれと矛盾しないように[[素片識別子]]の規定を行わなければなりません。
(その例: [[SVG 1.2]])
[CITE[XML Events]] <http://www.w3.org/TR/2003/REC-xml-events-20031014/>
]EG]
[EG[
[482] [[XHTML+Voice]] の仕様書は、 [[XML Events]] と[[同文書参照]]を使う例を示しています。
[[X+V]] 本体仕様書は [[MIME型]]には言及していないのですが、 [[MIME型]]
[CODE(MIME)@en[[[application/xv+xml]]]] (>>103) を規定する [[RFC]] では、
[[ID]] を指すと解釈することが規定されています。
]EG]
[541] 理論上は、[[MIME型]]によって[[素片識別子]]の解釈は変わるはずで、
規定がなければ何を表すか不明になってしまいます。しかし、
特に同じ[[文書]]内の他の[[要素]]を指している場合には、
[[著者]]にとって難解で、実装も複雑になってしまいます。
[542] 実際上は、[[平名前素片識別子]] ([[XPointer]] [[速記指示子]])
によって他の[[要素]]の [CODE(XML)@en[[[ID]]]] を指すことがほとんどで、
それ以外の方法は実装もほぼされていないので、あまり問題とはなりません。
[[MIME型]]で明確に[[素片識別子]]が規定されていない [[XML]]
系[[マーク付け言語]]でも、 ([[素片識別子]]を使うなら) そう実装されているのが普通です。
** 内容折衝との関係
[399] [[内容折衝]]により同じ [[URL]] で違う[[表現]]が返される可能性がある場合、
[[素片識別子]]は同等のものを指していることもあれば、
一方でしか存在しないものを指している場合や、一方ではエラーになる場合もあります。
同じ[[素片識別子]]が異なるものを指す場合もあり得ます。
;; [400] これは[[内容折衝]]を使うのが好ましくない理由の一つでもあります。
[401] [[MIME型]]の[[素片識別子]]を規定する場合には、[[内容折衝]]される可能性のある他の
[[MIME型]]との整合性を検討しなければならない [SRC[>>391]] と指摘されています。
[425] [[著者]]は、[[内容折衝]]で提供される[[表現]]間で同じ[[素片識別子]]が意味的に同じ構造を指すように、
また意味的に同じ構造は同じ[[素片識別子]]で参照できるようにする[['''べきです''']] [SRC[>>358]]。
[426] [[素片識別子]]を使って参照する場合は、何らかの手段で単一の[[表現]]しか無いと確認できない限り、
[[構文に基づく素片識別子構造]]を使う[['''べきではありません''']] [SRC[>>358]]。
;; [427] そのような手段は事実上存在しないので、実質的に[[著者]]以外は使わないよう求めていることになります...
** 動的表現との関係や状態保存のための用法
[410] [[文書]]の状態が[[スクリプト]]その他によって変化すると、
[[素片識別子]]が指すもの、あるいは差し得るものが変化することがあります。
また[[スクリプト]]が[[素片識別子]]を参照し、何らかの処理を実行したり、
表示状態を変化させたりすることがあります。
特に後者は、[[MIME型]]によって規定される[[素片識別子]]の意味を実質的に拡張するもの [SRC[>>391]]
です。
[EG[
[26] 例えばある XML 文書 <http://www.example.org/xml> で、
はじめ [SAMP(XML)[id]] という識別子は定義されていなかったとします。
この時、 URI 参照 <http://www.example.org/xml#id> は指すものがありません。
ところが、 Web ブラウザにおける何らかの処理の過程においてこの文書のある要素の
[CODE(XML)[[[ID]]]] が [SAMP(XML)[id]] と設定されたとします。すると
URI 参照 <http://www.example.org/xml#id> はその要素を識別するようになります。
このような状況は、便利なこともありますし、混乱を招くこともあります。
]EG]
[EG[
[27] ある XML 文書を [[XSLT]] [[スタイル・シート]]によって変換したとします。
変換した結果には、元の文書に存在していた [CODE(XML)[ID]]
が (それに対応する要素と共に) 残っているかもしれませんし、
残っていないかもしれません。ある[[原始要素]]に対応する[[結果要素]]の識別子は元とは違った識別子になっているかもしれません。
ある識別子に対応するのは原始要素に対応する結果要素とは違う
(関係のない別の) 要素かもしれません。元の文書とは無関係に、
スタイル・シートが新しい識別子を導入するかもしれません。
このような状況は、便利なこともありますし、混乱を招くこともあります。
]EG]
[EG[
[448] [[DocBook]] では同じ[[XML文書]]の[[要素]]は [CODE(XML)@en[[[IDREF]]]] 型の[[属性]]で参照できますが、
[[XInclude]] で取り込まれた部分の[[要素]]を参照する時には[[素片識別子]]を使う必要が生じます
[SRC[>>447]]。つまり [CODE(XML)@en[[[IDREF]]]] は読み込み時点での状態を指しており、
[[素片識別子]]は参照時点での状態を指していると思われます。
[REFS[
- [447] [CITE[DocBook V5.0]] ([TIME[2015-02-05 23:48:50 +09:00]] 版) <http://docbook.org/docs/howto/#changes-linking>
]REFS]
]EG]
[EG[
[165] [[Webアプリケーション]]では、1つの [[HTML]] [[文書]]が複数の「状態」を持つことがあります。
例えば [[Webメイル]]の[[メイル]]一覧画面を表す [[HTML]] [[文書]]1つで[[クライアント]]側[[スクリプト]]を使って日付順、送信者順など複数の表示方法を実現している場合に、
[[素片識別子]]にその「状態」の情報を詰め込むことで、1つの[[文書]]の「状態」を [[URL]]
として表すことができます。
]EG]
[166] [[スクリプト]]による状態保存に使う用法は元々 [CODE(HTMLa)@en[[[name]]]] や [CODE(HTMLa)@en[[[id]]]]
を表すものとして用意された [[HTML]] の[[素片識別子]]の使い方からは外れていますが、
ある[[資源]]の一部分や一表現法を表すとの [[URL]] 一般の[[素片識別子]]の意味論的には間違ってはいません。
[[URL]] の一部分という性質上、多量・大容量の「状態」を詰め込むのには適していませんが、
手軽に実現可能かつ[[ハイパーリンク]]可能な点が優れています。
[167] [[HTML5]] はこのような用法の応用への期待が高まっていることも踏まえて、
[CODE(DOMe)@en[[[hashchange]]]] [[事象]]を追加しました。
[411] [[著者]]は[[スクリプト]]による[[素片識別子]]の解釈が
[[MIME型]]による[[素片識別子]]の解釈と衝突しないようにする必要がありますから、
[[MIME型]]の[[素片識別子]]の規定の際は[[著者]]が動作を理解しやすいように配慮し、
[[著者]]がどのような構文を使うことができるのか明確にする必要があります。 [SRC[>>391]]
[412] 2011年頃には [CODE(URI)[[[''#!'']]]] を[[スクリプト]]による解釈に使う構文とすることが流行りました
(が2,3年で廃れました)。
;; [CODE(URI)[[[''#!'']]]] 参照。
;; [413] >>391 は >>411 のような構文の例として [CODE(URI)[[[''#!'']]]] を挙げています。
[EG[
[409] <https://twitter.com/#!/twitter> は <https://twitter.com/twitter>
に相当する内容が[[スクリプト]]によって表示されるようになっていました。
]EG]
[430] [[OAuth 2.0]] は[[鯖]]から[[利用者エージェント]]上で動作する
[[JavaScript]] [[応用]]への情報伝達に[[素片識別子]]を使っています (>>428)。
[431] [CODE(DOMm)@en[[[postMessage]]]] が実装される以前には、
異なる[[起源]]の [[URL]] (の [CODE(HTMLe)@en[[[iframe]]]] 内の[[文書]])
との通信に[[素片識別子]]を使う手法が用いられることもありました。
** 部分資源を識別しない、あるいは何を識別するか未定義の場合
[140] 本来、[[媒体型]]についての[[素片識別子]]の仕様書は、
[[素片識別子]]がどのような[[部分資源]]を識別するのかを完全に定義するべきです。
例えば、 [CODE(HTMLa)@en[[[id]]]] [[属性]]の値が[[一致]]する[[要素]]を識別するような場合、
[[一致]]する[[要素]]が存在しない場合に何を識別するのか (しないのか)、
実装がどのように動作するべきなのかを規定しておくべきです。
[141] ですが、現実には、多くの仕様はそれを曖昧にしています。
更には、ほとんどの[[媒体型]]については、そもそも[[素片識別子]]が定義されていません。
[3] [[HTML]] [[文書]] ([CODE(MIME)@en[[[text/html]]]]) の場合、
[[文書]]内に存在しない[[素片識別子]]つきの [[URI参照]]を[[レンダリング]]させようとすると、
[[文書]]の最初を表示する [[Webブラウザ]]
[WEAK[(例: [[WinIE]] や [[Mozilla]] ([[Gecko]]))]] と、
最後を表示する [[Webブラウザ]] [WEAK[(例: [[Classic Mozilla]])]] があります。
* 素片識別子とプロトコル
[523] [[HTTP]] では、[[要求URL]]に[[素片識別子]]は含まれません。
[[ハイパーリンク]]などで指定された [[URL]] のうち、[[素片識別子]]以外の部分が
[[HTTP]] で送信され、その結果の[[資源]]に対して[[クライアント]]側で[[素片識別子]]を解釈します。
[524] [[素片識別子]]を[[サーバー]]が取得できる方が便利な場合もあるとして、
[[素片識別子]]を送信させるような [[HTTP]] の拡張が提案されたこともありました。
しかし現在まで受け入れられるには至っていません。
[527] [[媒体素片]]は、[[クライアント]]が解釈する[[素片識別子]]構文と[[サーバー]]が解釈する
[[URL query]] 構文の両方を用意しています。しかしこの両者を自由に相互変換できるというものでもありません。
[[素片識別子]]に基づき[[範囲要求]]を送信する方式も提案されていましたが、
未完成に終わっています。
[HISTORY[
[525] [[検索エンジン]]などは [CODE(URI)[[[''#!'']]]] 構文 (>>412) により、
[[スクリプト]]が使う[[素片識別子]]と [[path]] との変換規則を定めていたことがあります。
;; この方式は2011年頃に流行しましたが、その後あまり見かけなくなりました。
[[スクリプト]]で生成する内容と[[サーバー]]が生成する内容との対応関係を維持したいとき、
現在では [[Pjax]] ([CODE(DOMm)@en[[[pushState]]]]) により [[path]] や [[query]]
を使うのが一般的になっていますから、そのために[[素片識別子]]と [[path]]
との対応関係を定めて使う必然性が無いのでしょう。
]HISTORY]
[528] [[OAuth 2.0]] の[[認可エンドポイント]]は、[[クライアント]]上の[[スクリプト]]に向けた
([[サーバー]]に送られるべきではない) [[引数][引数 (OAuth 2.0)]]を [[URL]] に入れて引き渡すとき、
[[素片識別子]]を使っています。
[526] [[素片識別子]]を[[サーバー]]に送ってはいけないという決まりはありませんから、
([[HTTP]] 以外の[[プロトコル]]では)
[[素片識別子]]が[[サーバー]]に送られないと仮定するべきではありません。
[559] 実際のところ、 [[HTTP]] であっても、 [[Webページ]]で動作する[[スクリプト]]は表示中の[[文書]]の [[URL]] の一部として[[素片識別子]]を取得できます。
[[スクリプト]]はいつでもこれを[[サーバー]]に送信できます。
つまり[[素片識別子]]は不用意に情報を[[サーバー]]に送信してしまわないために使うことはできますが、
漏洩してはまずい情報のために使ってはいけません。
* 文書の示された部分
[181] [[文書]]が [[DOM]] で表される場合、
「[DFN[[RUBYB[文書の示された部分]@en[the indicated part of the document]]]]」
は[[素片識別子]]によって表される[[文書]]の部分のことをいいます。
この場合に[[素片識別子]]から [[DOM]] の[[節点]]にどう対応付けられるかは、
その[[文書]]の[[MIME型]]の仕様によって決められることとなっています [SRC[>>146]]。
[359] 現時点でこれが厳密に規定されているのは、 [[HTML]] ([CODE(MIME)@en[[[text/html]]]])
の場合 (>>360) のみです。
;; [367] [[文書の示された部分]]は、[[要素]]であることもあれば、
「[[文書]]の[RUBYB[先頭]@en[top]]」であることや、
存在しないこともあります。
[473] [[XML]] においては [[XPointer]] 仕様書により[[XML情報集合]]上で一致する[[要素情報項目]]が規定されていますから、それに相当する
[[DOM]] 上の[[要素]]が (あれば) [[文書の示された部分]]と解釈するべきと思われます。
ただし、かつて [[DOM3]] では[[XML情報集合]]と[[DOM]]の関係が規定されていましたが、
現在はどこにもそれに相当する規定がありません。
[474] また、 [[XML]] でも [CODE[#top]] が先頭を表すのかどうか不明です。
;; [564] 現実には [[HTML]] の場合と同じ処理が行われているのではないかと思われます。
例えば [CODE(HTMLe)@en[a]] [[要素]]の [CODE(HTMLa)@en[name]]
[[属性]]へと[[スクロール]]されます。
[475] [[平文]]でも理論上は示された部分が存在しますが、そのような実装が存在するのかは不明です。
[570] [[平文]]や[[媒体文書]]の場合、[[スクリプト]]で適宜変形して任意の [[DOM]]
を構築することができますが、[[文書]]の[F[内容型]]に関わらず [[HTML]]
と同じ方法で[[文書の示された部分]]が決められるとも考えられます。
[369] [[擬似クラス]] [CODE(CSS)@en[[[:target]]]] は、[[文書の示された部分]]が[[要素]]の場合、その[[要素]]と[[一致]]します
[SRC[>>146]]。
[FIG(corollary)[
[370] 「[[文書]]の先頭」が[[文書の示された部分]]の場合や[[文書の示された部分]]が存在しない場合には、
[CODE(CSS)@en[[[:target]]]] と[[一致]]するものはありません。
]FIG]
[476] [[素片識別子へのスクロール]]は、[[viewport]] 上に[[文書の示された部分]]を表示する操作です。
* 素片識別子構造
[240] [[素片識別子]]の意味や構文、処理方法の規定のことを[[素片識別子構造]]と呼びます
[SRC[>>297]]。[[素片識別子]]の共通の意味や構文、処理方法の他に、
適用対象の[[文書]]の [[MIME型]]などによって個別の規定があります。
[298] 具体的な[[素片識別子構造]]については、本項の以降の章や各
[[MIME型]]の項を参照してください。
[299] 特定の[[MIME型]]専用の[[素片識別子構造]]を発明するよりは、
できるだけ[[MIME型]]共通の[[素片識別子構造]]を共有する[['''べき''']]
[SRC[>>297]] とされています。
* 資源取得のためのメタ情報を埋め込む用法
** 要約値の埋め込み
[143] [[素片識別子]]を、 [[URL]] によって識別される[[資源]]の[[表現]]が正当なものである、
あるいはある特定の版であることを確認するための[[ハッシュ値]]、
あるいは[[指紋]]を埋め込む場所として用いようとする提案があります。
[112]
[CITE[Link Fingerprints]] <http://www.gerv.net/security/link-fingerprints/>
([[名無しさん]] [WEAK[2006-11-11 03:36:08 +00:00]])
[144] 詳しくは [CODE(URI)@en[#[[hash]]()]] の項を参照してください。
[145] このような提案は、実装実験も行われている一方で、
元々の[[素片識別子]]の意味から逸脱しているとの批判もあります。
[458] [[JWT]] で使われることがあります (>>455)。
[150]
>>15 や >>90 のような[[版]]を指定する[[素片識別子]]もこれに類するといえるかもしれません。
** 履歴管理制御のための用法
[161] [[Webブラウザー]]によっては、[[素片識別子]]を含む [[URL]] 全体を[[未読]]かどうかの判定に用いています。
;; 例えば、 [[Firefox]] は [[URL]] 全体からリンク先が[[未読]]か[[既読]]かを判定し、
[CODE(CSS)@en[:[[visited]]]] [[擬似クラス]]に[[一致]]するかを決めています。
[[WinIE]] は[[素片識別子]]を除く [[URL]] によって判断しているようです。
[162] [[アンテナ]]や [[wiki]] の更新頁一覧などリンク先が頻繁に変更されることが前提となっている場面では、
[[Webブラウザー]]による[[未読]]・[[既読]]判定をある程度制御するため、
[[日付]]などの適当な文字列を[[素片識別子]]として付与することがあります。
[163] 例えば[[アンテナ]]が a.html が2009年12月31日に更新されたことを検知した場合、
[[URL]] として a.html#20091231 を使います。[[利用者]]がその[[リンク]]をたどると、
[[Webブラウザー]]は a.html#20091231 を[[履歴]]データベース上で[[既読]]とします。
[[利用者]]が次にその[[アンテナ]]の頁を見たときには、 a.html#20091231 へのリンクは[[既読]]になっています。
次に[[アンテナ]]が a.html が 2010年1月2日に更新されたことを検知すると、
[[URL]] は a.html#20100102 になります。[[利用者]]がその[[アンテナ]]の頁を見たときには
a.html#20100102 へのリンクは[[未読]]になっています。
[164] 同様の目的で[[照会]]を用いる方法もあります。[[照会]]を使えばどの[[Webブラウザー]]でもこの効果が得られるという利点がありますが、
[[素片識別子]]とは違って[[照会]]は実際に[[鯖]]に送信されるため相手方に動作が依存してしまうという欠点があります。
* 複数の素片識別子
[514] [[素片識別子]]は、1つの [[URL]] に高々1つしか記述できません。
[CODE[#]] は[[URL符号位置]]なので、[[素片識別子]]内で [CODE[#]] を使うこともできません。
;; [515] が、それでも使われていた場合は、[[素片識別子]]の一部とみなされます。
[2] [[GNOME]] [ABBR[VFS] [仮想ファイル・システム]] URI とやら (''Writing Modules'' <http://developer.gnome.org/doc/API/gnome-vfs/writing-modules.html#URIS>) は、素片識別子 (のようなもの) を複数つけることができます。
(例: [SAMP(URI)[ftp://username:password@host.net/path/to/file.tar.gz#gzip#tar/path/to/hello.c]])
[28]
[[WinIE]] は [CODE(CSS)['[[behavior]]']] で [[default behavior]] (組み込みの
[[HTC]]) を参照するために [CODE[#default]] という [[URL]] と機能を指定する[[素片識別子]]の組み合わせを使っており、
つまり [CODE(URI)[#]] が2つ入った文字列の指定を受け付けていました。
* 素片識別子と基底 URL
@@ この項は書きかけです。 [[基底URL]] の解説とあわせて内容をなんとかしたいところです。。。
[79]
[CITE[The Linear Topic Map Notation]]
<http://www.ontopia.net/download/ltm.html#N565>
[[LTM]] ([[線形Topic Map記法]]) の [CODE@en[[[BASEURI]]]]
[[指令]]は、[[RFC 2396]] 的解釈に基づき、
[[素片識別子]]だけの [[URI]] には適用されないことになっています。
* 歴史
[20] '''主たる仕様''':
- [DEL@en[[[RFC 1630]] ([[URI]] 1[SUP[st]])]]
- [DEL@en[[[RFC 1738]] ([[URL]] 2[SUP[nd]])]]
- [DEL[[[RFC 1808]] ([[相対URL]])]]
- [DEL@en[[[RFC 2396]] ([[URI]] 3[SUP[rd]])]]
- [[RFC 3986]] ([[URI]] 4[SUP[th]])
- [[RFC 3987]] ([[IRI]])
- [WebArch] [CITE[Architecture of the World Wide Web, Volume One]]
-- [CSECTION[2.6. Fragment Identifiers]]
<http://www.w3.org/TR/webarch/#fragid>
-- [CSECTION[3.2.1. Representation types and fragment identifier semantics]]
<http://www.w3.org/TR/webarch/#media-type-fragid>
-- [CSECTION[3.2.2. Fragment identifiers and content negotiation]]
<http://www.w3.org/TR/webarch/#frag-coneg>
-- [CSECTION@en[4.5.8. Fragment identifiers in XML]]
<http://www.w3.org/TR/webarch/#xml-fragids>
- [[HTML 5]] ([[URL]])
[137] '''関連仕様''':
- [[ISO‐HTML]] <http://purl.org/NET/ISO+IEC.15445/15445.html#DEFS>
-- 4.9
** 定義
[1] '''ISO-HTML における定義''':
>
:[RUBYB[素片識別子] [Fragment identifier]]:
[CODE(HTMLa)[[[href]]]] 属性値の [CODE(URI)[#]]
に続く部分。[SRC[ISO‐HTML 4.9]]
[152] '''RELAX NG における定義''':
>
:3.6 fragment identifier:
additional information in a URI reference used by a user agent after the retrieval action on a URI has been
successfully performed
;; [[ISO/IEC 19757]]‐2:2003
** 生成規則 [CODE(ABNF)[fragment]]
[227] [[URI]] 系規格で構文規則 [DFN[[CODE(ABNF)[fragment]]]]
は、[[素片識別子]]を表しています。
[FIG[
= [228] [CODE(ABNF)[[DFN[fragmentid]] := [[xalphas]] ;; [[RFC 1630]]]]
= [229] [CODE(ABNF)[[DFN[fragment]] := *( [[uchar]] / [[reserved]] ) ;; [[RFC 1808]]]]
= [230] [CODE(ABNF)[[DFN[fragment]] := *[[uric]] ;; [[RFC 2396]] 4.1]]
]FIG]
** URI/URL と素片識別子
[22] [[RFC 2396]] においては[[素片識別子]]は [[URI]] の一部とはされていませんでした。
[[絶対URI]], [[相対URI]], [[素片識別子]]をあわせたものを
[[URI参照]]と呼んでいました。
[138]
新しい [[RFC 3986]] は、[[素片識別子]]を [[URI]] の一部としています。
[139]
非公式には、以前から[[素片識別子]]を [[URI]] の一部としている人も多くいました。
(単なる無知からそうしている人もいれば、そう定義するべきと考えてそうしている人もいました。)
[[HTML 4]] のように、[[素片識別子]]を [[URI]] の一部としない仕様書を参照しておきながら、
(「[[URI参照]]」ではなく) 「[[URI]]」という用語を使い、
しかも[[素片識別子]]も使えるような規定が含まれる仕様も存在し、
混乱の元となっていました。
[643] [CITE[Fragment Identifiers -- Axioms of Web architecture]], [TIME[2009-08-27T21:38:06.000Z]], [TIME[2021-04-12T12:08:16.991Z]] <https://www.w3.org/DesignIssues/Fragment.html>
* テストケース
[207] ([TIME[2011-09-11 03:41:55 +09:00]] 版) <http://people.mozilla.org/~dholbert/dataURIHashTests/tests_v1.xhtml>
* 関連
[16] [CODE(URI)[[[jar]]:]] [[URI scheme]] は、
[[ZIP]] 形式の圧縮ファイルの中のファイルを識別できます。
本来、[Q[ある資源の中に含まれる資源]]ですから、
素片識別子を使って表現するのが適当にも思えますが、
[CODE(URI)[jar:]] は[Q[資源の中の資源]]まで一つの
URI 本体だけで識別できます。
(この方式を推進する人は、[Q[ある資源の中の資源の中の資源]]
のような入れ子の場合を素片識別子は綺麗に表現できないことを問題視しています。)
同様な [[URI scheme]] は [CODE(URI)@en[[[zip]]:]], [CODE(URI)@en[[[tar]]:]],
[CODE(URI)@en[[[pack]]:]] など多数あります。
[32]
>>16 他に、素片識別子を使った表現の方法を採ると[[相対参照]]が使えなくなってしまう問題もあります。
[123]
[[CSS]] などで用いられる[[識別子選択子]]は本質的に[[素片識別子]]と同じものです。
[132]
[[HTML]] の [CODE(HTMLa)@en[[[usemap]]]] [[属性]]の値は元々 [[URI参照]]であるとされていましたが、諸々の事情により、
現在は [CODE(char)[#]] の後に参照する [CODE(HTMLe)@en[[[map]]]]
[[要素]]の [CODE(HTMLa)@en[[[name]]]]
[[属性]]の値を指定することになっています。
[151]
[[Webブラウザ]]で表示中の[[文書]]で[[ナビゲーション]]の結果[[素片識別子]]が変更された時に発生する
[[DOM]] [[事象]] [CODE(DOMe)@en[[[hashchange]]]] が [[HTML 5]]
で定義されています。
[626] [[MRL]] は [[URL]] を含み、その前後に追加の文字列で指定ができるものです。
[[MRL]] 自体が [[URL]] であるか否かはどちらとも明言されていません。
その [[MRL]] の中の [[URL]] の直後の部分は、 [CODE[#]]
から始まることになっています。つまり見た目は[[素片識別子]]を使うことができる
[[URL]] と区別できません。
* 平名前素片識別子
[405] [[素片識別子]]の全体が[[文書]]中の構造の[[識別子]]であるような[[素片識別子]]を、
[[平名前素片識別子]]と呼ぶことがあります。
;; [[平名前素片識別子]]参照。
[EG[
[406] [[HTML]] では [CODE(HTMLa)@en[[[id]]] [[属性]]の値を[[素片識別子]]として指定することで、
その[[要素]]を示すことができます。
]EG]
[407] [[識別子]]のみで識別することができる構造がある [[MIME型]]では、
[[平名前素片識別子]]をその用途に使うよう定義する[['''べき''']] [SRC[>>391]]
と言われています。
[408] [[平名前素片識別子]]は最も基本的で古くからある[[素片識別子]]の形態で、
[[HTML]] や [[XML]] など多くの[[言語]]で広く採用されています。
** HTML の素片識別子
[566] [[HTML]] では、[[文書木中]]の任意の[[要素]]の [CODE[id]] [[属性]]と、
[CODE(HTMLe)@en[a]] [[要素]]の [CODE(HTMLa)@en[name][<a name>]] [[属性]]が、
その[[要素]]を表す[[素片識別子]]の値として使えることになっています。
;; [616] 構文その他の制約については、それぞれの[[属性]]の項を参照。
[612] [CODE[<a name>]] は[[廃止]]され [CODE[id]] に置き換えられましたが、
互換性のため、 [[Webブラウザー]]は両方に対応しなければなりません。
[613] 同じ識別子の[[要素]]が複数ある場合、 [CODE[id]] [[属性]]が優先され、
同じ[[属性]]では[[木順]]で先にある方が優先されることになっています。
[614] 互換性のため、[[素片識別子]]は[[パーセント符号化]]された状態でも、
[[復号]]した状態でも、どちらでも構わないことになっています。
[[パーセント符号化]]された状態で一致するものが先に探されます。
[617] 特別な値である [CODE[top]] は、一致する[[要素]]がない場合には、
[[文書]]の先頭を表すことになっています。
[621] [[HTML文書]]の[[DOM木]]は、いつでも[[変異]]する可能性があります。
[[素片識別子]]の指すものの評価は、必要になった時点での結果となります。
[EG[
[622] [[素片識別子]] [CODE[#abc]] のついた [[URL]] への [[navigate]]
に伴う[[文書]]の[[構文解析]]の途中で[[スクリプト]]により
[CODE[[[id]]=abc]] の[[要素]]が[[挿入][要素の挿入]]される場合、
[[navigate]] の最後の[[素片識別子へのスクロール]]で、その[[要素]]が表示された状態になります。
]EG]
[EG[
[623] [[利用者]]が[[リンク]]を[[クリック]]して同じ[[文書]]の [CODE[#abc]]
という[[素片識別子へのnavigate]]
が発生した場合、[[擬似クラス]] [CODE[:target]] に一致する[[要素]]は、その時点で
[CODE[[[id]]=abc]] の[[要素]]となります。
]EG]
[624] [[スクリプト]]は、その他の任意の方法で[[素片識別子]]を活用できます。
[[Webブラウザー]]の処理では何の意味も持ちませんが、害もありません。
[EG[
[625] [[スクリプト]]は、[[素片識別子]]が [CODE[#edit]] であるとき、
当該[[文書]]の編集モードに切り替える、という処理にすることができます。
[[文書]]中に [CODE[[[id]]=edit]] な[[要素]]が存在していなくても、問題ありません。
]EG]
-*-*-
[360] [CODE(MIME)@en[[[text/html]]]] では、[[文書]][VAR[文書]]の[[文書の示された部分]] (>>181)
は次の方法で決定します [SRC[>>146]]。
[FIG(steps)[
= [361] [VAR[素片]]を、[VAR[文書]]の[F[番地][文書の番地]]の[F[素片][素片識別子]]に設定します。
= [362] [VAR[素片]]が[[空文字列]]なら、
== [565] [[文書]]の[RUBYB[先頭]@en[top]]を返し、ここで停止します。
= [602] [VAR[結果]]を、[VAR[文書]]と[VAR[素片]]について [[find a potential indicated element]]
した結果に設定します。
= [603] [VAR[結果]]が [CODE[null]] ''以外''の場合、
== [604] [VAR[結果]]を返し、ここで停止します。
= [363] [VAR[復号素片]]を、[VAR[素片]]を[[文字列パーセント復号]]し、
[[utf-8 decode without BOM]] を適用した結果に設定します。
= [605] [VAR[結果]]を、[VAR[文書]]と[VAR[復号素片]]について
[[find a potential indicated element]] した結果に設定します。
= [606] [VAR[結果]]が [CODE[null]] ''以外''の場合、
== [607] [VAR[結果]]を返し、ここで停止します。
= [365] [VAR[復号素片]]が[[ASCII大文字・小文字不区別]]で [CODE[top][#top]] の場合、
== [569] 「[VAR[文書]]の[RUBYB[先頭]@en[top]]」を返し、ここで停止します。
= [366] [CODE[null]] を返します。
]FIG]
;; [608] [[要素]]、「[VAR[文書]]の先頭」、[CODE[null]] のいずれかが返されます。
[609] [DFN[find a potential indicated element]] は、[VAR[文書]]と[VAR[素片]]について、
次のようにします [SRC[>>146]]。
[FIG(steps)[
= [610] [VAR[文書]]の[[文書木中]]に [F[ID]] が[VAR[素片]]の[[要素]]が存在する場合、
== [567] [VAR[文書]]の[[文書木中]]で [F[ID]] が[VAR[素片]]である、
[[木順]]で最初の[[要素]]を返し、ここで停止します。
= [364] [VAR[文書]]の[[文書木中]]に [CODE(HTMLa)@en[name][<a name>]] [[属性値]]が[VAR[素片]]の
[CODE(HTMLe)@en[a]] [[要素]]が存在する場合、
== [568] [VAR[文書]]の[[文書木中]]に [CODE(HTMLa)@en[name][<a name>]]
[[属性値]]が[VAR[素片]]である、[[木順]]で最初の [CODE(HTMLe)@en[a]] [[要素]]を返し、
ここで停止します。
= [611] [CODE[null]] を返します。
]FIG]
;; [618] [VAR[素片]]は[[失敗]]かもしれませんが、その場合どの[[要素]]にも一致せず
[CODE[null]] が返されることになります。つまり[[パーセント符号化]]を[[復号]]して正しい
[[UTF-8]] にならない場合には、何にも一致しません。
[HISTORY[
[615] 現在は [CITE[HTML Standard]] で厳密な動作が規定されていますが、
過去には色々な[[仕様書]]でそれぞれの曖昧な挙動が説明されていました。
[REFS[
- [37] [CODE(HTMLa)[[[name]]]] 属性を参照
-- [CODE(MIME)[[[text/html]]]]: [[RFC 1866]]
--- [CODE(MIME)[[[text/x-hdml]]]]
---- [CITE[3 Language Elements]]
<http://www.w3.org/TR/hdml20-6.html#MARKER-9-4>
-- [7] [CODE(HTMLa)[[[name]]]] 属性や [CODE(HTMLa)[[[id]]]] 属性を参照
--- [CODE(MIME)[[[text/html]]]]:
---- [54] [[HTML 4]], [[XHTML 1.0]], [[RFC 2854]]
---- [55] [[ISO-HTML]]
<http://purl.org/NET/ISO+IEC.15445/Users-Guide.html#ANCHOR-FOLDING>
--- [100] [[XDML]] ([CODE(MIME)@en[[[application/xhtml+xml]]]])
---- [[DASE]]-2 5.1.1.5.1.1
- [198] [[ID]] や [CODE(HTMLa)@en[[[name]]]] [[属性]]を参照
-- [[HTML MIME型]] ([CODE(MIME)@en[[[text/html]]]], [CODE(MIME)@en[[[text/html-sandboxed]]]])
--- <http://www.whatwg.org/specs/web-apps/current-work/complete.html#the-indicated-part-of-the-document>
--- <http://www.whatwg.org/specs/web-apps/current-work/complete.html#text/html>
--- <http://www.whatwg.org/specs/web-apps/current-work/complete.html#text/html-sandboxed>
- [14] [CODE(XML)[[[ID]]]] 属性を参照
--- [47] [[XHTML 1.0]]
---- [[適合利用者エージェント]]は [[XHTML]]
[[文書]]の [CODE(XML)[[[ID]]]] 属性だけを[[素片識別子]]に使わなければなりません。
---- <IW:XHTML10:"uaconf">
---- [CSECTION[4.10. The elements with 'id' and 'name' attributes]]
(参考) <IW:XHTML10:"h-4.10">
---- [CSECTION[C.8. Fragment Identifiers]] (参考)