BS PD ISO IEC TS 19568-2017 Programming languages C++ extensions for library fundamentals《编程语言 库原理的C++扩展》.pdf

1、Programming languages C+ extensions for library fundamentals PD ISO/IEC TS 19568:2017 BSI Standards Publication WB11885_BSI_StandardCovs_2013_AW.indd 1 15/05/2013 15:06National foreword This Published Document is the UK implementation of ISO/IEC TS 19568:2017. It supersedes PD ISO/IEC TS 19568:2015

2、which is withdrawn. The UK participation in its preparation was entrusted to Technical Committee IST/5, Programming languages, their environments and system software interfaces. A list of organizations represented on this committee can be obtained on request to its secretary. This publication does n

3、ot purport to include all the necessary provisions of a contract. Users are responsible for its correct application. The British Standards Institution 2017. Published by BSI Standards Limited 2017 ISBN 978 0 580 93295 3 ICS 35.060 Compliance with a British Standard cannot confer immunity from legal

4、obligations. This Published Document was published under the authority of the Standards Policy and Strategy Committee on 30 April 2017. Amendments/corrigenda issued since publication Date Text affected PUBLISHED DOCUMENT PD ISO/IEC TS 19568:2017Programming languages C+ extensions for library fundame

5、ntals Langages de programmation Extensions C+ pour la bibliothque fondamentaux ISO/IEC TS 19568 Second edition 2017-03 Reference number ISO/IEC TS 19568:2017(E) TECHNICAL SPECIFICATION ISO/IEC 2017 ii ISO/IEC 2017 All rights reserved COPYRIGHT PROTECTED DOCUMENT ISO/IEC 2017, Published in Switzerlan

6、d All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized otherwise in any form or by any means, electronic or mechanical, including photocopying, or posting on the internet or an intranet, without prior written permission. Permission can be request

7、ed from either ISO at the address below or ISOs member body in the country of the requester. ISO copyright office Ch. de Blandonnet 8 CP 401 CH-1214 Vernier, Geneva, Switzerland Tel. +41 22 749 01 11 Fax +41 22 749 09 47 copyrightiso.org www.iso.org ISO/IEC TS 19568:2017(E)Contents Foreword . . . .

8、. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .vii 1 General . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1 Scope . . . . . . . . . . . . . . . . . . . . . . . . . . . .

9、 . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Normative references . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.3 Namespaces, headers, and modifications to standard classes . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.4 Terms and

10、 definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.5 Future plans (Informative) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.6 Feature-testing recommendations (Informative) . . . . . . . . . . . . .

11、. . . . . . . . . . . . . . . . . . . 3 2 Modifications to the C+ Standard Library . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.1 Uses-allocator construction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3 General utilities libra

12、ry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3.1 Utility components . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3.1.1 Header synopsis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13、. 6 3.1.2 Class erased_type . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3.2 Tuples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3.2.1 Header synopsis . . . . . . . . . . . . . . . . . . . . . .

14、 . . . . . . . . . . 6 3.2.2 Calling a function with a tuple of arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 3.3 Metaprogramming and type traits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 3.3.1 Header synopsis . . . . . . . . . . . . . .

15、. . . . . . . . . . . . . . . 7 3.3.2 Other type transformations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 3.3.3 Logical operator traits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 3.3.4 Detection idiom . . . . . . . . . . . .

16、. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 3.4 Compile-time rational arithmetic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3.4.1 Header synopsis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3.5 Time utilities . . . . . . .

17、 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.5.1 Header synopsis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.6 System error support . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.6.1 Hea

18、der synopsis . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.7 Class template propagate_const . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.7.1 Class template propagate_const general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.7.2 He

19、ader synopsis . . . . . . . . . . . . . . . . . . . . . . . . 16 3.7.3 propagate_const requirements on T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3.7.3.1 propagate_const requirements on class type T . . . . . . . . . . . . . . . . . . . . . 18 3.7.4 propagate_const construc

20、tors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 3.7.5 propagate_const assignment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 3.7.6 propagate_const const observers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3.7

21、.7 propagate_const non-const observers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3.7.8 propagate_const modifiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3.7.9 propagate_const relational operators . . . . . . . . . . . . . . . . . . . . . .

22、. . . . . . . . . . 21 3.7.10 propagate_const specialized algorithms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3.7.11 propagate_const underlying pointer access . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3.7.12 propagate_const hash support . . . . . . . . . . . .

23、. . . . . . . . . . . . . . . . . . . . . . . 23 3.7.13 propagate_const comparison function objects . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 4 Function objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 4.1 Header synopsis .

24、 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 4.2 Class template function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 4.2.1 function construct/copy/destroy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 4.2.2 fu

25、nction modifiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 ISO/IEC 2017 All rights reserved iii ISO/IEC TS 19568:2017 (E) PD ISO/IEC TS 19568:20174.3 Searchers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

26、 . . 29 4.3.1 Class template default_searcher . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 4.3.1.1 default_searcher creation functions . . . . . . . . . . . . . . . . . . . . . . . . . . 30 4.3.2 Class template boyer_moore_searcher . . . . . . . . . . . . . . . . . . . . .

27、. . . . . . . . . . 30 4.3.2.1 boyer_moore_searcher creation functions . . . . . . . . . . . . . . . . . . . . . . . 31 4.3.3 Class template boyer_moore_horspool_searcher . . . . . . . . . . . . . . . . . . . . . . . . . 31 4.3.3.1 boyer_moore_horspool_searcher creation functions . . . . . . . . . .

28、 . . . . . . . . 32 4.4 Function template not_fn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 5 Optional objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 5.1 In general . . . . . . . . . . . . . .

29、 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 5.2 Header synopsis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 5.3 optional for object types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 5.3.1 Construc

30、tors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 5.3.2 Destructor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 5.3.3 Assignment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

31、 . . . . . . . 4 0 5.3.4 Swap . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 5.3.5 Observers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 5.4 In-place construction . . . . . . . . . . . . . . . . .

32、. . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 5.5 No-value state indicator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 5.6 Class bad_optional_access . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 5.7 Re

33、lational operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 5.8 Comparison with nullopt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 5.9 Comparison with T . . . . . . . . . . . . . . . . . . . . . . . . .

34、 . . . . . . . . . . . . . . . . . . . . 46 5.10 Specialized algorithms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 5.11 Hash support . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 6 Class any . . .

35、. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 6.1 Header synopsis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 6.2 Class bad_any_cast . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

36、 . . . . . . 49 6.3 Class any . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 6.3.1 any construct/destruct . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 6.3.2 any assignments . . . . . . . . . . . . . . . . .

37、 . . . . . . . . . . . . . . . . . . . . . . . . . 50 6.3.3 any modifiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 6.3.4 any observers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 6.4 Non-member functions

38、 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 7 string_view . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 7.1 Header synopsis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54

39、7.2 Class template basic_string_view . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 7.3 basic_string_view constructors and assignment operators . . . . . . . . . . . . . . . . . . . . . . . . . 57 7.4 basic_string_view iterator support . . . . . . . . . . . . . . . .

40、. . . . . . . . . . . . . . . . . . . . . . 58 7.5 basic_string_view capacity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 7.6 basic_string_view element access . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 7.7 basic_string_view

41、 modifiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 0 7.8 basic_string_view string operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 7.8.1 Searching basic_string_view . . . . . . . . . . . . . . . . . . . . . . . . . .

42、. . . . . . . . . . 62 7.9 basic_string_view non-member comparison functions . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 7.10 Inserters and extractors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 7.11 Hash support . . . . . . . . . . . . . . .

43、 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65 8 Memory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66 8.1 Header synopsis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66 8.2 Shared-owners

44、hip pointers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 8.2.1 Class template shared_ptr . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 8.2.1.1 shared_ptr constructors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

45、 . . . 7 2 iv ISO/IEC 2017 All rights reserved ISO/IEC TS 19568:2017 (E) PD ISO/IEC TS 19568:20178.2.1.2 shared_ptr observers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 8.2.1.3 shared_ptr casts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75 8

46、.2.1.4 shared_ptr hash support . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75 8.2.2 Class template weak_ptr . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75 8.2.2.1 weak_ptr constructors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

47、 . 76 8.3 Type-erased allocator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77 8.4 Header synopsis . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77 8.5 Class memory_resource . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

48、. . . . . . . 78 8.5.1 Class memory_resource overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78 8.5.2 memory_resource public member functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79 8.5.3 memory_resource protected virtual member functions . . . . . . . .

49、 . . . . . . . . . . . . . . 79 8.5.4 memory_resource equality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 0 8.6 Class template polymorphic_allocator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80 8.6.1 Class template polymorphic_allocator overview . . . . . . . . . . . . . . . . . . . . . . . . . . 80 8.6.2 polymorphic_allocator constructors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 8.6.3 polymorphic_allocator member functions . . .